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