Functors
Standard ML
Sheaf
Natural transformation
Limit
Combinatorial species
Map
Grothendieck topology
Yoneda lemma
Category theory
Abstract algebra
Mathematics