Category theory
Mathematics
Abstract algebra
Functors
Limit
Adjoint functors
Universal property
Diagram
Natural transformation
Coproduct
Product
Grothendieck topology