nLab endofunctor

Contents

Contents

Definition

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.

Properties

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)

Monoids

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

Last revised on December 23, 2023 at 02:05:46. See the history of this page for a list of all contributions to it.