Definitions from Wiktionary (Yoneda lemma)
▸ noun: (category theory) Given a category 𝒞 with an object A, let H be a hom functor represented by A, and let F be any functor (not necessarily representable) from 𝒞 to Sets, then there is a natural isomorphism between Nat(H,F), the set of natural transformations from H to F, and the set F(A). (Any natural transformation α from H to F is determined by what α_A( mbox id_A) is.)
▸ Words similar to Yoneda lemma
▸ Usage examples for Yoneda lemma
▸ Idioms related to Yoneda lemma
▸ Wikipedia articles (New!)
▸ Words that often appear near Yoneda lemma
▸ Rhymes of Yoneda lemma
▸ Invented words related to Yoneda lemma
▸ noun: (category theory) Given a category 𝒞 with an object A, let H be a hom functor represented by A, and let F be any functor (not necessarily representable) from 𝒞 to Sets, then there is a natural isomorphism between Nat(H,F), the set of natural transformations from H to F, and the set F(A). (Any natural transformation α from H to F is determined by what α_A( mbox id_A) is.)
Similar:
Yoneda functor,
representable functor,
identity functor,
Yoneda embedding,
natural isomorphism,
functor,
adjunction,
monoidal category,
full functor,
hom-set,
more...
▸ Words similar to Yoneda lemma
▸ Usage examples for Yoneda lemma
▸ Idioms related to Yoneda lemma
▸ Wikipedia articles (New!)
▸ Words that often appear near Yoneda lemma
▸ Rhymes of Yoneda lemma
▸ Invented words related to Yoneda lemma