Yoneda functor
短语词形变化
Yoneda functors
复数
Yoneda functors
释义与例句
n.
-
1.
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).
来源:wiktionary