from Wiktionary, Creative Commons Attribution/Share-Alike License

  • n. 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.


Lemma named after the Japanese mathematician Nobuo Yoneda. (Wiktionary)


Sorry, no example sentences found.


Log in or sign up to get involved in the conversation. It's quick and easy.