iBet uBet web content aggregator. Adding the entire web to your favor.
iBet uBet web content aggregator. Adding the entire web to your favor.



Link to original content: http://en.wiktionary.org/wiki/functor
functor - Wiktionary, the free dictionary Jump to content

functor

From Wiktionary, the free dictionary

English

[edit]

Etymology

[edit]

From function, modeled after factor.

Pronunciation

[edit]

Noun

[edit]

functor (plural functors)

  1. (grammar) A function word.
  2. (object-oriented programming) A function object.
  3. (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
      .
    • 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
      .
  4. (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]

Further reading

[edit]

Portuguese

[edit]

Alternative forms

[edit]

Noun

[edit]

functor m (plural functores)

  1. (category theory) functor (a mapping between categories)

Romanian

[edit]

Etymology

[edit]

Borrowed from French functeur.

Noun

[edit]

functor m (plural functori)

  1. functor

Declension

[edit]
singular plural
indefinite definite indefinite definite
nominative-accusative functor functorul functori functorii
genitive-dative functor functorului functori functorilor
vocative functorule functorilor