Endofunctor

For a category \(C\), an endofunctor \(F\) is a functor \(F: C \to C\). The collection of endofunctors of a given category form a category themselves, called the category of endofunctors. monoids in this category are monads.