Yoneda embedding love

Yoneda embedding


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)


Sorry, no example sentences found.


Log in or sign up to get involved in the conversation. It's quick and easy.