Abstract algebra
Algebra
Mathematics
Category theory
Functors
Morphism
Category
Sheaf
Limit
Pushout
Cone
Diagram