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.
Wordnik is becoming a not-for-profit! Read our announcement here.