Category theory
Functors
Universal property
Morphism
Subcategory
Hom functor
Category
Natural transformation
Grothendieck topology
Sheaf
Coproduct
Representable functor