网站首页  词典首页

请输入您要查询的词汇:

 

词汇 functor
释义

Definition of functor in English:

functor

noun ˈfʌŋktəˈfəŋ(k)tər
  • 1Mathematics Logic
    A function; an operator.

    〔逻,数〕函子;算子,算符

    Example sentencesExamples
    • One of the reactions that I've seen to the use of the typical set of functors was that the method of combining functors into complex expressions wasn't terribly straightforward.
    • This paper describes a family of logics whose categorical semantics is based on functors with structure rather than on categories with structure.
    • That is, if we have two categories, one of which has more structure than the other, then we obtain a functor from the first category to the second simply by ‘forgetting’ the extra structure.
    • Furthermore, we prove some theorems about the inversion of functor structures.
    • This is part of a very broad-reaching theme in algebraic topology in which functors represented and corepresented by various spaces are used in analyzing geometry and topology.
    • Suffice it to say that adjoint functors pervade mathematics and this pervasiveness is certainly one of the most mysterious fact that category theory reveals about mathematics and probably thinking in general.
  • 2Linguistics

    another term for function word

Origin

1930s: from function, on the pattern of words such as factor.

Definition of functor in US English:

functor

nounˈfəNG(k)tərˈfəŋ(k)tər
Logic Mathematics
  • 1A function; an operator.

    〔逻,数〕函子;算子,算符

    Example sentencesExamples
    • That is, if we have two categories, one of which has more structure than the other, then we obtain a functor from the first category to the second simply by ‘forgetting’ the extra structure.
    • This is part of a very broad-reaching theme in algebraic topology in which functors represented and corepresented by various spaces are used in analyzing geometry and topology.
    • Furthermore, we prove some theorems about the inversion of functor structures.
    • One of the reactions that I've seen to the use of the typical set of functors was that the method of combining functors into complex expressions wasn't terribly straightforward.
    • This paper describes a family of logics whose categorical semantics is based on functors with structure rather than on categories with structure.
    • Suffice it to say that adjoint functors pervade mathematics and this pervasiveness is certainly one of the most mysterious fact that category theory reveals about mathematics and probably thinking in general.
    1. 1.1Linguistics
      another term for function word

Origin

1930s: from function, on the pattern of words such as factor.

随便看

 

春雷网英语在线翻译词典收录了464360条英语词汇在线翻译词条,基本涵盖了全部常用英语词汇的中英文双语翻译及用法,是英语学习的有利工具。

 

Copyright © 2000-2024 Sndmkt.com All Rights Reserved 更新时间:2024/12/28 0:37:00