enriched Yoneda lemma

**Yoneda lemma**
## Ingredients
* category
* functor
* natural transformation
* presheaf
* category of presheaves
* representable presheaf
* Yoneda embedding
## Incarnations
* Yoneda lemma
* enriched Yoneda lemma
* co-Yoneda lemma
* Yoneda reduction
## Properties
* free cocompletion
* Yoneda extension
## Universal aspects
* representable functor
* universal construction
* universal element
## Classification
* classifying space, classifying stack
* moduli space, moduli stack, derived moduli space
* classifying topos
* subobject classifier
* universal principal bundle, universal principal ∞-bundle
* classifying morphism
## Induced theorems
* Tannaka duality
...
## In higher category theory
* 2-Yoneda lemma
* (∞,1)-Yoneda lemma

The *enriched Yoneda lemma* is the generalization of the usual Yoneda lemma from category theory to enriched category theory.

We discuss here two forms of the Yoneda lemma.

Let $V$ be a (locally small) closed symmetric monoidal category, so that $V$ is enriched in itself via its internal hom.

A *weak form* of the enriched Yoneda lemma says that given a $V$-enriched functor $F: C \to V$ and an object $c$ of $C$, the *set* of $V$-enriched natural transformations $\alpha: \hom_C(c, -) \to F$ is in natural bijection with the set of elements of $F(c)$, i.e., the set of morphisms $I \to F(c)$, obtained by composition:

$I \stackrel{1_c}{\to} \hom_C(c, c) \stackrel{\alpha c}{\to} F(c)$

Now suppose that $V$ is in addition (small-)complete (has all small limits). Then, given a small $V$-enriched category $C$ and $V$-enriched functors $F, G: C \to V$, one may construct the *object* of $V$-natural transformations as an enriched end:

$V^C(F, G) = \int_c V(F(c), G(c))$

(which may in turn be expressed as an ordinary limit in $V$). This is the hom-object in the enriched functor category.

A *strong form* of the enriched Yoneda lemma specifies a $V$-natural isomorphism

$V^C(\hom_C(c, -), F) \cong F(c).$

This implies the weak form by applying the functor $\hom(I, -): V \to Set$.

The weak form is in section 1.9, the strong form in section 2.4 of

Revised on May 22, 2010 15:20:23
by Urs Schreiber
(134.100.32.207)