yoneda lemma

listen to the pronunciation of yoneda lemma
الإنجليزية - الإنجليزية
Given a category C with an object A, let HA 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(HA,F), the set of natural transformations from HA to F
yoneda lemma

    الواصلة

    yoneda lem·ma

    النطق

    علم أصول الكلمات

    () Lemma named after the Japanese mathematician Nobuo Yoneda.
المفضلات