Endofunctor
= Endofunctor
{title2=$T:\mathcal C\to\mathcal C$}
An endofunctor is a <functor> from a <category> to itself. A <monad> adds a unit and multiplication to an endofunctor, satisfying the unit and associativity laws.
= Endofunctor
{title2=$T:\mathcal C\to\mathcal C$}
An endofunctor is a <functor> from a <category> to itself. A <monad> adds a unit and multiplication to an endofunctor, satisfying the unit and associativity laws.