 Endofunctor

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.