functor
名词 n.
英 /ˈfʌŋktə/
英文释义
名词 n.
- A function word.
- A function object.
-
A category homomorphism; a morphism from a source category to a target category which maps objects to objects and arrows to arrows (either covariantly or contravariantly), in such a way as to preserve morphism composition and identities.
— In the category of categories #92;mathbf#123;Cat#125; the objects are categories and the morphisms are functors.
- A structure allowing a function to apply within a generic type, in a way that is conceptually similar to a functor in category theory.
词形变化
词汇关系
词源
From function, modeled after factor.
0 次浏览
数据来源: Wiktionary