Algebra
Mathematics
Monad
Coproduct
Distributive property
Arrow
Limit
Functor
Universal property
Adjoint functors
Functional programming
Category theory