### Context

#### Category theory

**category theory**

## Concepts

## Universal constructions

## Theorems

## Extensions

## Applications

#### Yoneda lemma

**Yoneda lemma**

## Ingredients

## Incarnations

## Properties

## Universal aspects

## Classification

## Induced theorems

…

## In higher category theory

# Contents

## Idea

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

## Statement

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$.

## References

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

- Max Kelly,
*Basic Concepts of Enriched Category Theory*, Cambridge University Press, Lecture Notes in Mathematics 64 (1982) (pdf)

Generalization to the case that the enriching monoidal category is not closed or symmetric is in

- Vladimir Hinich,
*Enriched Yoneda lemma*, Theory and Applications of Categories, Vol. 31, 2016, No. 29, pp 833-838 (TAC)