from Wiktionary, Creative Commons Attribution/Share-Alike License.
- noun category theory Given a
categoryC with an object A, let HA be a representable functorfrom C to the category of Sets, and let F be any functorfrom C to Sets, then there is a "natural" isomorphismbetween the set F(A) and Nat(HA,F), the set of natural transformationsfrom HA to F.
from Wiktionary, Creative Commons Attribution/Share-Alike License
Lemma named after the Japanese mathematician Nobuo Yoneda.
Sorry, no example sentences found.