from Wiktionary, Creative Commons Attribution/Share-Alike License
- n. 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. (Wiktionary)