nLab
Yoneda lemma - contents

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

Edit this sidebar