Adjoint functors
Monoidal functor
Monoidal natural transformation
Monad
Functor
Natural transformation
Monoid
Category theory
Monoidal categories
Algebra