Definition from Wiktionary, the free dictionary
Named after the Japanese mathematician Nobuo Yoneda.
- (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 .