Yoneda lemma

English

Lemma named after the Japanese mathematician Nobuo Yoneda.

Yoneda lemma

(category theory) Given a category C with an object A, let H^A be a representable functor from C to the category of Sets, and let F be any functor from C to Sets, then there is a "natural" isomorphism between the set F(A) and Nat(H^A,F), the set of natural transformations from H^A to F.

单词	Yoneda lemma
释义	Yoneda lemma English Etymology Lemma named after the Japanese mathematician Nobuo Yoneda. Noun Yoneda lemma (category theory) Given a category C with an object A, let H^A be a representable functor from C to the category of Sets, and let F be any functor from C to Sets, then there is a "natural" isomorphism between the set F(A) and Nat(H^A,F), the set of natural transformations from H^A to F. References The Catsters – Representables and Yoneda 3
随便看	licenziargli licenziarla licenziarle licenziarli licenziarlo licenziarmi licenziarne licenziarono licenziarsi licenziarti licenziarvi licenziasse licenziassero licenziassi licenziassimo licenziaste licenziasti licenziata licenziatari licenziataria licenziatarie licenziatario licenziate licenziatevi licenziati