# nLab examples of adjoint functors

This entry lists examples for pairs of adjoint functors.

For examples of the other universal constructions see

# Free/forgetful functors

The classical examples of pairs of adjoint functors are $L⊣R$ where the right adjoint $R:C\prime \to C$ forgets structure in that it is a faithful functor. In these case the left adjoint $L:C\to C\prime$ usually is the free functor that “adds structure freely”.

In fact, one usually turns this around and defines the free $C\prime$-structure on an object $c$ of $C$ as the image of that object under the left adjoint (if it exists) to the functor $R:C\prime \to C$ that forgets this structure.

For instance

• forgetful right adjoint $R:$ Grp $\to$ Set forgets the group structure on a group and just remembers the underlying set – the left adjoint $L:\mathrm{Set}\to \mathrm{Grp}$ sends each set to the free group over it.

# Nerves and realization

For $C$ a category equipped with cosimplicial objects ${\Delta }_{C}:\Delta \to C$ and tensored over $\mathrm{Set}$;

${N}_{D}:C\to {\mathrm{Set}}^{{\Delta }^{\mathrm{op}}}$

nerve

$\mid -{\mid }_{C}:{\mathrm{Set}}^{{\Delta }^{\mathrm{op}}}\to C$|-|_C : Set^{\Delta^{op}} \to C
${N}_{D}\left(c\right):{\Delta }^{\mathrm{op}}\stackrel{{\Delta }_{C}^{\mathrm{op}}}{\to }{C}^{\mathrm{op}}\stackrel{C\left(-,C\right)}{\to }\mathrm{Set}$N_D(c) : \Delta^{op} \stackrel{\Delta_C^{op}}{\to} C^{op} \stackrel{C(-,C)}{\to} Set

realization

$\mid -{\mid }_{C}:{\mathrm{Set}}^{{\Delta }^{\mathrm{op}}}\to C$|-|_C : Set^{\Delta^{op}} \to C
$\mid {S}_{•}{\mid }_{C}={\int }^{\left[n\right]\in \Delta }{S}_{n}\cdot {\Delta }_{C}\left[n\right]$|S_\bullet|_C = \int^{[n] \in \Delta} S_n \cdot \Delta_C[n]

adjunction $\mid -{\mid }_{C}⊣{N}_{D}$

Revised on October 12, 2010 15:36:40 by David Corfield (86.171.162.225)