morphism.ch


All told, a monad X is just a monoid in the category of endofunctors of X, with product ⊗ replaced by composition of endofunctors and unit set by the identity endofunctor

-- Saunders Mac Lane