Definitions

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.

Etymologies

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

Examples

Sorry, no example sentences found.

Wordnik is becoming a not-for-profit! Read our announcement here.

Comments

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