Mathematics
Algebra
Lambda calculus
Category
Function
Monad
Arrow
Morphism
Sheaf
Combinatory logic
Functor
Commutative property