functor

التعريفات والمعاني

== English == === Etymology === From function, modeled after factor. === Pronunciation === (Received Pronunciation) IPA(key): /ˈfʌŋktə/ === Noun === 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 1991, Natalie Wadhwa (translator), Yu. A. Brudnyǐ, N. Ya. Krugljak, Interpolation Functors and Interpolation Spaces, Volume I, Elsevier (North-Holland), page 143, Choosing for U {\displaystyle U} the operation of closure, regularization or relative completion, we obtain from a given functor F ∈ J F {\displaystyle {\mathcal {F}}\in {\mathcal {JF}}} the functors F ¯ : X → → F ( X → ) ¯ , F 0 : X → → F ( X → ) 0 , F c : X → → F ( X → ) c {\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}} . 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 S ( M ) : X → S ( M , X ) {\displaystyle S(M):X\rightarrow S(M,X)} , defined by a formula of the form S ( M , X ) = ⨁ r = 0 ∞ ( M ( r ) ⊗ X ⊗ r ) Σ r {\displaystyle S(M,X)=\bigoplus _{r=0}^{\infty }\left(M(r)\otimes X^{\otimes r}\right)_{\Sigma _{r}}} . (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 ==== ==== 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–2022. == Portuguese == === Alternative forms === funtor === Noun === functor m (plural functores) (category theory) functor (a mapping between categories) === Further reading === “functor”, in Dicionário Priberam da Língua Portuguesa (in Portuguese), Lisbon: Priberam, 2008–2026 == Romanian == === Etymology === Borrowed from French functeur. === Noun === functor m (plural functori) functor ==== Declension ==== == Spanish == === Noun === functor m (plural functores) alternative form of funtor