…
The Yoneda extension of a functor $F : C \to D$ is a universal extension (Kan extension) along the Yoneda embedding $Y \colon C \to [C^{op},Set]$ of its domain category to a functor
The Yoneda extension exhibits the presheaf category $PSh(C)$ as the free cocompletion of $C$.
For $C$ a small category and $F \colon C \to D$ a functor, its Yoneda extension
is the left Kan extension $Lan_Y F \;\colon\; [C^{op}, Set] \to D$ of $F$ along the Yoneda embedding $Y$:
Often it is of interest to Yoneda extend not $F \;\colon\; C \to D$ itself, but the composition $Y \circ F \;\colon\; C \to [D^{op}, Set]$ to get a functor entirely between presheaf categories
This is in fact a left adjoint to the restriction functor $F^\ast \;\colon \; [D^{op}, Set] \to [C^{op}, Set]$ which maps $H \mapsto H \circ F$. This is relevant, for instance, to restriction and extension of sheaves.
Recalling the general formula for the left Kan extension of a functor $F \;\colon\; C \to D$ through a functor $p : C \to C'$
one finds for the Yoneda extension the formula
(Recall the notation for the comma category $(Y,A) \;\coloneqq\; (Y, const_A)$ whose objects are pairs $(U \in C, (Y(U) \to A) \in [C^{op}, Set] )$.
For the full extension $\hat F : [D^{op}, Set] \to [C^{op}. Set]$ this yields
Here the first step is from above, the second uses that colimits in presheaf categories are computed objectwise and the last one is again using the Yoneda lemma.
The restriction of the Yoneda extension to $C$ coincides with the original functor: $\tilde F \circ Y \simeq F$.
The Yoneda extension commutes with small colimits in $C$ in that for $\alpha : A \to C$ a diagram, we have $\tilde F (colim (Y \circ \alpha)) \simeq colim F \circ \alpha$ .
Moreover, $\tilde F$ is defined up to isomorphism by these two properties.
Last revised on June 23, 2018 at 03:41:11. See the history of this page for a list of all contributions to it.