Yoneda functor
名词 n.
英文释义
名词 n.
- 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.
词形变化
词源
Named after the Japanese mathematician Nobuo Yoneda (1930–1996).
0 次浏览
数据来源: Wiktionary