Category theory

branch of mathematics studying categories, functors, and natural transformations