End (category theory)

This article is about the type of transformation. For the category of morphisms denoted as End, see Endomorphism.

In category theory, an end of a functor $S:{\mathbf{C}}^{\mathrm{o}\mathrm{p}}\times \mathbf{C}\to \mathbf{X}$ is a universal dinatural transformation from an object e of X to S. More explicitly, this is a pair $(e,\omega )$, where e is an object of X and $\omega :e\ddot{\to }S$ is an extranatural transformation such that for every extranatural transformation $\beta :x\ddot{\to }S$ there exists a unique morphism $h:x\to e$ of X with ${\beta }_a={\omega }_a\circ h$ for every object a of C. By abuse of language the object e is often called the end of the functor S (forgetting $\omega$) and is written

$e=\underset{c}{\overset{}{\int }}S(c,c)\text{ or just }\underset{\mathbf{C}}{\overset{}{\int }}S.$

Characterization as limit: If X is complete and C is small, the end can be described as the equalizer in the diagram

$\underset{c}{\int }S(c,c)\to \prod _{c\in C}S(c,c)\rightrightarrows \prod _{c\to c^{\prime }}S(c,c^{\prime }),$

where the first morphism being equalized is induced by $S(c,c)\to S(c,c^{\prime })$ and the second is induced by $S(c^{\prime },c^{\prime })\to S(c,c^{\prime })$.

Coend

The definition of the coend of a functor $S:{\mathbf{C}}^{\mathrm{o}\mathrm{p}}\times \mathbf{C}\to \mathbf{X}$ is the dual of the definition of an end. Thus, a coend of S consists of a pair $(d,\zeta )$, where d is an object of X and $\zeta :S\ddot{\to }d$ is an extranatural transformation, such that for every extranatural transformation $\gamma :S\ddot{\to }x$ there exists a unique morphism $g:d\to x$ of X with ${\gamma }_a=g\circ {\zeta }_a$ for every object a of C. The coend d of the functor S is written

$d=\underset{}{\overset{c}{\int }}S(c,c)\text{ or }\underset{}{\overset{\mathbf{C}}{\int }}S.$

Characterization as colimit: Dually, if X is cocomplete and C is small, then the coend can be described as the coequalizer in the diagram

${\int }^{c}S(c,c)\leftarrow \coprod _{c\in C}S(c,c)\leftleftarrows \coprod _{c\to c^{\prime }}S(c^{\prime },c).$

Examples

• Natural transformations:

  Suppose we have functors $F,G:\mathbf{C}\to \mathbf{X}$ then

  ${\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathbf{X}}(F(-),G(-)):{\mathbf{C}}^{op}\times \mathbf{C}\to \mathbf{S}\mathbf{e}\mathbf{t}$.

  In this case, the category of sets is complete, so we need only form the equalizer and in this case

  $\underset{c}{\int }{\mathrm{H}\mathrm{o}\mathrm{m}}_{\mathbf{X}}(F(c),G(c))=\mathrm{N}\mathrm{a}\mathrm{t}(F,G)$

  the natural transformations from $F$ to $G$. Intuitively, a natural transformation from $F$ to $G$ is a morphism from $F(c)$ to $G(c)$ for every $c$ in the category with compatibility conditions. Looking at the equalizer diagram defining the end makes the equivalence clear.

• Geometric realizations:

  Let $T$ be a simplicial set. That is, $T$ is a functor ${\mathrm{\Delta }}^{\mathrm{o}\mathrm{p}}\to \mathbf{S}\mathbf{e}\mathbf{t}$. The discrete topology gives a functor $d:\mathbf{S}\mathbf{e}\mathbf{t}\to \mathbf{T}\mathbf{o}\mathbf{p}$, where $\mathbf{T}\mathbf{o}\mathbf{p}$ is the category of topological spaces. Moreover, there is a map $\gamma :\mathrm{\Delta }\to \mathbf{T}\mathbf{o}\mathbf{p}$ sending the object $[n]$ of $\mathrm{\Delta }$ to the standard $n$-simplex inside ${\mathbb{ℝ}}^{n+1}$. Finally there is a functor $\mathbf{T}\mathbf{o}\mathbf{p}\times \mathbf{T}\mathbf{o}\mathbf{p}\to \mathbf{T}\mathbf{o}\mathbf{p}$ that takes the product of two topological spaces.

  Define $S$ to be the composition of this product functor with $dT\times \gamma$. The coend of $S$ is the geometric realization of $T$.

References

• Mac Lane, Saunders (2013). Categories For the Working Mathematician. Springer Science & Business Media. pp. 222–226.
• Loregian, Fosco (2015). "This is the (co)end, my only (co)friend". arXiv:1501.02503 [math.CT].

External links

• end at the nLab