(category theory) Given category , a Yoneda embedding for this category is a functor such that for any object A in , and for any morphism in , where the natural transformation η has components . Then . Otherwise, it is a functor such that and for any in , where η has components . Then .
Named after the Japanese mathematician Nobuo Yoneda.
English Wiktionary. Available under CC-BY-SA license.