Yoneda lemma

Definition from Wiktionary, the free dictionary
Jump to: navigation, search

English[edit]

Wikipedia has an article on:

Wikipedia

Etymology[edit]

Lemma named after the Japanese mathematician Nobuo Yoneda.

Noun[edit]

Yoneda lemma (uncountable)

  1. (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.

References[edit]