A functor from a given category to the category of functors from that given category to Set (the category of sets) which maps any object of the given category to a hom functor represented by that object and any morphism to a natural isomorphism induced uniquely by that morphism according to the Yoneda lemma.
Origin
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.