Yoneda lemma
category
functor
natural transformation
presheaf
category of presheaves
representable presheaf
Yoneda embedding
enriched Yoneda lemma
co-Yoneda lemma
Yoneda reduction
free cocompletion
Yoneda extension
representable functor
universal construction
universal element
classifying space, classifying stack
moduli space, moduli stack, derived moduli space
classifying topos
subobject classifier
universal principal bundle, universal principal ∞-bundle
classifying morphism
…
Yoneda lemma for higher categories:
Yoneda lemma for (∞,1)-categories
Yoneda lemma for bicategories
Yoneda lemma for tricategories
Edit this sidebar
Last revised on April 15, 2021 at 14:24:59. See the history of this page for a list of all contributions to it.