(Q320577)

English

Yoneda lemma

in category theory, a theorem that embeds a locally small category into a category of functors

Yoneda embedding

In more languages

edit

Statements

0 references

0 references

0 references

{\begin{aligned}\hom _{\operatorname {PSh} (C)}(\hom _{C}(-,c),X)&\cong X(c)&(X&\in \operatorname {PSh} (C))\\\hom _{\operatorname {PSh} (C^{\operatorname {op} })}(\hom _{C}(c,-),X)&\cong X(c)&(X&\in \operatorname {PSh} (C^{\operatorname {op} }))\end{aligned}}

0 references

in defining formula

\operatorname {PSh} (C)

symbol represents

presheaf

0 references

\hom _{\operatorname {Psh} (C)}

symbol represents

natural transformation

0 references

C

symbol represents

Identifiers

1 reference

28 October 2013

Microsoft Academic ID

0 references

0 references

0 references

(Q320577)

Yoneda lemma

Statements

Identifiers

Sitelinks

Wikipedia(16 entries)

Wikibooks(0 entries)

Wikinews(0 entries)

Wikiquote(0 entries)

Wikisource(0 entries)

Wikiversity(0 entries)

Wikivoyage(0 entries)

Wiktionary(0 entries)

Multilingual sites(0 entries)