A functor from a category to itself is called an endofunctor.

Given any category CC, the functor category

End(C)=C CEnd(C) = C^C

is called the endofunctor category of CC. The objects of End(C)End(C) are endofunctors F:CCF: C \to C, and the morphisms are natural transformation between such endofunctors.


Monoidal structure

The endofunctor category is a strict monoidal category, thanks to our ability to compose endofunctors:

:End(C)×End(C)End(C)\circ : End(C) \times End(C) \to End(C)

The unit object of this monoidal category is the identity functor from CC to itself:

1 CEnd(C)1_C \in End(C)


A monoid in this endofunctor category is called a monad on CC.

Last revised on August 29, 2015 at 18:31:38. See the history of this page for a list of all contributions to it.