different between functor vs subnector

English

Etymology

From function, modeled after factor.

Pronunciation

• (Received Pronunciation) IPA^(key): /?f??kt?/

Noun

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, in such a way as to preserve domains and codomains (of the arrows) as well as composition and identities.

   Hyponym: endofunctor

   • 1991, Natalie Wadhwa (translator), Yu. A. Brudny?, N. Ya. Krugljak, Interpolation Functors and Interpolation Spaces, Volume I, Elsevier (North-Holland), page 143,

     Choosing for ${\displaystyle U}$ the operation of closure, regularization or relative completion, we obtain from a given functor ${\displaystyle {\mathcal {F}}\in {\mathcal {JF}}}$ the functors

     ${\displaystyle {\overline {F}}:{\overrightarrow {X}}\rightarrow {\overline {F({\overrightarrow {X}})}},F^{0}:{\overrightarrow {X}}\rightarrow F({\overrightarrow {X}})^{0},F^{c}:{\overrightarrow {X}}\rightarrow F({\overrightarrow {X}})^{c}}$.

   • 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 ${\displaystyle X}$ and a functor ${\displaystyle u:A\rightarrow B}$, a homotopical ${\displaystyle u}$-colimit (resp. ${\displaystyle u}$-limit) functor on ${\displaystyle X}$ will be a homotopically terminal (resp. initial) Kan extension of the identity (50.2) along the induced diagram functor ${\displaystyle X^{u}:X^{B}\rightarrow X^{A}}$ (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 ${\displaystyle \Sigma _{*}}$-objects and we review the relationship between ${\displaystyle \Sigma _{*}}$-objects and functors. In short, a ${\displaystyle \Sigma _{*}}$-object (in English words, a symmetric sequence of objects, or simply a symmetric object) is the coefficient sequence of a generalized symmetric functor ${\displaystyle S(M):X\rightarrow S(M,X)}$, defined by a formula of the form

     ${\displaystyle S(M,X)=\bigoplus _{r=0}^{\infty }\left(M(r)\otimes X^{\otimes r}\right)_{\Sigma _{r}}}$.

4. (functional programming) A structure allowing a function to apply within a generic type, in a way conceptually similar to a functor in category theory.

Derived terms

• contravariant functor
• functor category
• representable functor

Translations

Further reading

• function word on Wikipedia.Wikipedia
• functor on Wikipedia.Wikipedia
• functor (functional programming) on Wikipedia.Wikipedia
• “functor”, in Lexico, Dictionary.com; Oxford University Press, 2019–present.

Portuguese

Alternative forms

• funtor

Noun

functor m (plural functores)

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

English

Noun

subnector (plural subnectors)

1. (logic) a functor which takes as input one or more sentences and outputs a term.

References

• The Art of Logic, Nuel Belnap, http://www.pitt.edu/~belnap/nal2007.pdf
• http://projecteuclid.org/DPubS?verb=Display&version=1.0&service=UI&handle=euclid.ndml/1175197299&page=record
• http://www.amazon.com/review/product/0674576101?showViewpoints=1

Anagrams

• curbstone

Latin

Verb

subnector

1. first-person singular present passive indicative of subnect?