Given a category with an object A, let H be a hom functor represented by A, and let F be any functor (not necessarily representable) from to Sets, then there is a natural isomorphism between Nat(H,F), the set of natural transformations from H to F, and the set F(A). (Any natural transformation from H to F is determined by what is.)
Origin
Lemma named after the Japanese mathematician Nobuo Yoneda (1930–1996).
Modern English dictionary
Explore and search massive catalog of over 900,000 word meanings.
Word of the Day
Get a curated memorable word every day.
Challenge yourself
Level up your vocabulary by setting personal goals.