functor
Appearance
English
[edit]Etymology
[edit]From function, modeled after factor.
Pronunciation
[edit]- (Received Pronunciation) IPA(key): /ˈfʌŋktə/
Audio (US): (file)
Noun
[edit]functor (plural functors)
- (grammar) A function word.
- (object-oriented programming) A function object.
- (category theory) 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.
- Hypernym: morphism
- Hyponym: endofunctor
- In the category of categories, , the objects are categories and the morphisms are functors.
- 1991, Natalie Wadhwa (translator), Yu. A. Brudnyǐ, N. Ya. Krugljak, Interpolation Functors and Interpolation Spaces, Volume I, Elsevier (North-Holland), page 143,
- Choosing for the operation of closure, regularization or relative completion, we obtain from a given functor the functors
- .
- Choosing for the operation of closure, regularization or relative completion, we obtain from a given functor the functors
- 2004, William G. Dwyer, Philip S. Hirschhorn, Daniel M. Kan, Jeffrey H. Smith, Homotopy Limit Functors on Model Categories and Homotopical Categories, American Mathematical Society, page 165:
- Given a homotopical category and a functor , a homotopical -colimit (resp. -limit) functor on will be a homotopically terminal (resp. initial) Kan extension of the identity (50.2) along the induced diagram functor (47.1).
- 2009, Benoit Fresse, Modules Over Operads and Functors, Springer, Lecture Notes in Mathematics: 1967, page 35,
- In this chapter, we recall the definition of the category of -objects and we review the relationship between -objects and functors. In short, a -object (in English words, a symmetric sequence of objects, or simply a symmetric object) is the coefficient sequence of a generalized symmetric functor , defined by a formula of the form
- .
- In this chapter, we recall the definition of the category of -objects and we review the relationship between -objects and functors. In short, a -object (in English words, a symmetric sequence of objects, or simply a symmetric object) is the coefficient sequence of a generalized symmetric functor , defined by a formula of the form
- (functional programming) A structure allowing a function to apply within a generic type, in a way that is conceptually similar to a functor in category theory.
Derived terms
[edit]Translations
[edit]grammar: function word — see function word
object-oriented programming: function object
|
category theory: category mapping
|
Further reading
[edit]- function word on Wikipedia.Wikipedia
- functor on Wikipedia.Wikipedia
- functor (functional programming) on Wikipedia.Wikipedia
- “functor”, in Lexico, Dictionary.com; Oxford University Press, 2019–2022.
Portuguese
[edit]Alternative forms
[edit]Noun
[edit]functor m (plural functores)
- (category theory) functor (a mapping between categories)
Romanian
[edit]Etymology
[edit]Borrowed from French functeur.
Noun
[edit]functor m (plural functori)
Declension
[edit]singular | plural | ||||
---|---|---|---|---|---|
indefinite | definite | indefinite | definite | ||
nominative-accusative | functor | functorul | functori | functorii | |
genitive-dative | functor | functorului | functori | functorilor | |
vocative | functorule | functorilor |
Categories:
- English 2-syllable words
- English terms with IPA pronunciation
- English terms with audio pronunciation
- English lemmas
- English nouns
- English countable nouns
- en:Grammar
- en:Object-oriented programming
- en:Category theory
- en:Functions
- English terms with usage examples
- English terms with quotations
- en:Programming
- en:Algebra
- en:Logic
- Portuguese lemmas
- Portuguese nouns
- Portuguese countable nouns
- Portuguese masculine nouns
- pt:Category theory
- Romanian terms borrowed from French
- Romanian terms derived from French
- Romanian lemmas
- Romanian nouns
- Romanian countable nouns
- Romanian masculine nouns