Definitions

from Wiktionary, Creative Commons Attribution/Share-Alike License.

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

Etymologies

from Wiktionary, Creative Commons Attribution/Share-Alike License

Lemma named after the Japanese mathematician Nobuo Yoneda.

Support

Help support Wordnik (and make this page ad-free) by adopting the word Yoneda lemma.

Examples

    Sorry, no example sentences found.

Comments

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