Yoneda functor

English

Etymology

Named after the Japanese mathematician Nobuo Yoneda (1930–1996).

Noun

Yoneda functor (plural Yoneda functors)

1. (category theory) 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.

Related terms

• Yoneda embedding
• Yoneda lemma

References

• Michael Barr, Charles Wells (1995) Category Theory for Computing Science‎^[1], second edition, University Press, Cambridge, Great Britain: Prentice Hall, →ISBN, archived from the original on 4 March 2016, §4.5.2, page 108