Yoneda-lemma Definition


(category theory) 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.


Origin of Yoneda-lemma

  • Lemma named after the Japanese mathematician Nobuo Yoneda.

    From Wiktionary

Find Similar Words

Find similar words to yoneda-lemma using the buttons below.

Words Starting With

Words Ending With



Words Near Yoneda-lemma in the Dictionary