category theory

An abstract study of mathematics based on categories, functors, and natural transformations.