Yoneda embedding

…

For $C$ a locally small category, every object $X$ of $C$ induces a presheaf on $C$: the representable presheaf $h_X$ represented by $X$. This assignment extends to a functor $C \to [C^{op}, Set]$ from $C$ to its category of presheaves. The Yoneda lemma implies that this functor is full and faithful and hence realizes $C$ as a full subcategory inside its category of presheaves.

Recall from the discussion at representable presheaf that the presheaf represented by an object $X$ of $C$ is the functor $h_X :C^{op} \to Set$ whose assignment is illustrated by

which sends each object $U$ to $Hom_C(U,X)$ and each morphism $\alpha:U'\to U$ to the function

$h_X\alpha: Hom_C(U,X)\to Hom_C(U',X).$

Moreover, for $f : X \to Y$ a morphism in $C$, this induces a natural transformation $h_f : h_X \to h_Y$, whose component on $U$ in $X$ is illustrated by

For this to be a natural transformation, we need to have the commuting diagram

$\array{
h_X U & \stackrel{h_f U}{\rightarrow} & h_Y U \\
\mathllap{h_X\alpha\quad}{\downarrow} & {} & \mathrlap{\downarrow}{\quad h_Y\alpha} \\
h_X U' & \stackrel{h_f U'}{\rightarrow} & h_Y U'
}$

but this simply means that it doesn’t matter if we first “comb” the strands back to $U'$ and then comb the strands forward to $Y$, or comb the strands forward to $Y$ first and then comb the strands back to $U'$

which follows from associativity of composition of morphisms in $C$.

The **Yoneda embedding** for $C$ a locally small category is the functor

$Y : C \to [C^{op}, Set]$

from $C$ to the category of presheaves over $C$ which is the image of the hom-functor

$Hom : C^{op} \times C \to Set$

under the Hom adjunction

$Hom(C^{op} \times C , Set) \simeq
Hom(C, [C^{op}, Set])$

in the closed symmetric monoidal category Cat.

Hence $Y$ sends any object $c \in C$ to the representable presheaf which assigns to any other object $d$ of $C$ the hom-set of morphisms from $d$ into $c$:

$Y(c) : C^{op} \stackrel{C(-,c)}{\to} Set
\,.$

We can also curry the Hom functor in the other variable, thus obtaining a contravariant functor

$C^{op} \to [C, Set]$

which is explicitly given by $c \mapsto C(c,-)$. This is sometimes jokingly called the **contravariant Yoneda embedding**.

However, since $C^{op}(-,c)=C(c,-)$, it is easy to see that the contravariant Yoneda embedding is just the Yoneda embedding $Y: C^{\op} \to [(C^{op})^{op}, Set]=[C, Set]$ of $C^{op}$, and hence does not require special treatment.

**(Yoneda embedding is a fully faithful functor)**

For $\mathcal{C}$ any category, the functor

$\array{
\mathcal{C}
&\overset{Y}{\hookrightarrow}&
[\mathcal{C}^{op}, Set]
\\
c &\mapsto& Hom_{\mathcal{C}}(-,c)
}$

is fully faithful.

We need to show that for $c_1, c_2 \in \mathcal{C}$ any two objects, we have that every morphism of presheaves between their represented presheaves

$Hom_{\mathcal{C}}(-,c_1)
\overset{\phi}{\longrightarrow}
Hom_{\mathcal{C}}(-,c_2)$

is of the form

$\phi \;=\; Hom_{\mathcal{C}}(-,f)$

for a unique morphism

$f \;\colon\; c_1 \to c_2$

in $\mathcal{C}$. This follows by the Yoneda lemma, which says that morphisms $\phi$ as above are identified with the elements in

$Hom_{\mathcal{C}}(-,c_2)(c_1)
\;=\;
Hom_{\mathcal{C}}(c_1,c_2)
\,.$

It is also limit preserving (= continuous functor), but does in general not preserve colimits.

The Yoneda embedding of a small category $S$ into the category of presheaves on $S$ gives a free cocompletion of $S$.

If the Yoneda embedding of a category has a left adjoint, then that category is called a *total category* .

- A category is a
*total category*if its Yoneda embedding has a left adjoint. - restricted Yoneda embedding
- (infinity,1)-Yoneda embedding
- singleton injection, the Yoneda embedding for 0-category theory.

Last revised on December 30, 2018 at 10:51:22. See the history of this page for a list of all contributions to it.