În matematică, un functor este o aplicație între categorii. Functorii au fost analizați pentru prima oară în topologia algebrică, unde obiectele algebrice (cum ar fi grupul fundamental^⁠(d)) sunt asociate spațiilor topologice, iar aplicațiile dintre aceste obiecte algebrice sunt asociate aplicațiilor continue între spații. În prezent, functorii sunt utilizați în întreaga matematică modernă cu referire la diferite categorii. Astfel, functorii sunt importanți în toate domeniile matematicii cărora li se aplică teoria categoriilor.

Cuvântul functor a fost împrumutat de matematicieni de la filozoful Rudolf Carnap,^[1] care îl folosea în contextul lingvisticii;^[2] vezi cuvânt gramatical.

Fie C și D categorii. Un functor F de la C la D este o aplicație care^[3]

• asociază fiecărui obiect X din C un obiect F(X) din D,
• asociază fiecărui morfism ${\displaystyle f\colon X\rightarrow Y}$ din C un morfism ${\displaystyle F(f)\colon F(X)\rightarrow F(Y)}$din D, astfel încât următoarele două condiții să fie valabile:
  • ${\displaystyle F(\mathrm {id} _{X})=\mathrm {id} _{F(X)}\,\!}$ pentru orice obiect X din C,
  • ${\displaystyle F(g\circ f)=F(g)\circ F(f)}$ pentru orice morfisme ${\displaystyle f\colon X\rightarrow Y}$și ${\displaystyle g\colon Y\rightarrow Z}$din C.

Adică functorii trebuie să conserve morfismul identitate și compoziția^⁠(d) de morfisme.

Există multe construcții în matematică care ar fi functori, cu excepția faptului că „inversează morfismele” și „se compun invers”. Atunci se definește un functor contravariant F de la C la D ca o aplicație care

• asociază fiecărui obiect X din C un obiect F(X) din D,
• asociază fiecărui morfism ${\displaystyle f\colon X\rightarrow Y}$din C un morfism ${\displaystyle F(f)\colon F(Y)\rightarrow F(X)}$ din D, astfel încât următoarele două condiții să fie valabile:
  • ${\displaystyle F(\mathrm {id} _{X})=\mathrm {id} _{F(X)}\,\!}$pentru orice obiect X din C,
  • ${\displaystyle F(g\circ f)=F(f)\circ F(g)}$pentru orice morfisme ${\displaystyle f\colon X\rightarrow Y}$și ${\displaystyle g\colon Y\rightarrow Z}$din C.

Functorii contravarianți inversează direcția compoziției.

Functorii obișnuiți se numesc și functori covarianți pentru a-i distinge de cei contravarianți. Functorii contravarianți se pot defini și ca functori covarianți pe categoria opusă^⁠(d) C^op.^[4] Unii autori preferă să scrie toate expresiile covariant. Adică, în loc să spună că ${\displaystyle F\colon C\rightarrow D}$ este un functor contravariant, ei scriu pur și simplu ${\displaystyle F\colon C^{\operatorname {op} }\rightarrow D}$ (sau uneori ${\displaystyle F\colon C\rightarrow D^{\operatorname {op} }}$) și îl numesc functor.

Functorii contravarianți sunt numiți, uneori, și cofunctori.^[5]

Există o convenție referitoare la „vectori” — adică câmpuri vectoriale, elemente ale spațiului secțiunilor Γ(TM) al unui fibrat tangent^⁠(d) TM — drept „contravariant” și la „covectori” — adică 1-forme^⁠(d), elemente ale spațiului secțiunilor Γ(T^*M) al unui fibrat cotangent T^*M — drept „covariant”. Această terminologie își are originea în fizică, iar raționamentul său are legătură cu poziția indicilor („sus” și „jos”) în expresii^⁠(d) precum ${\displaystyle x^{i}=\Lambda _{j}^{i}x^{j}}$ pentru ${\displaystyle \mathbf {x} '={\boldsymbol {\Lambda }}\mathbf {x} }$ sau ${\displaystyle \omega _{i}=\Lambda _{i}^{j}\omega _{j}}$pentru În acest formalism se observă că simbolul transformării de coordonate ${\displaystyle \Lambda _{j}^{i}}$ (reprezentând matricea Λ^T) acționează asupra vectorilor din bază „în același mod” ca și pe „coordonatele covectorului”: ${\displaystyle \mathbf {e} _{i}=\Lambda _{i}^{j}\mathbf {e} _{j}}$în vreme ce acționează „în sens invers” pe „coordonatele vectorului” (dar „în același mod” ca și pe covectorii din bază: ${\displaystyle \mathbf {e} ^{i}=\Lambda _{j}^{i}\mathbf {e} ^{j}}$). Această terminologie este contrară celei utilizate în teoria categoriilor, deoarece covectorii sunt cei care au în general pullback, și sunt astfel contravarianți, în timp ce, în general, vectorii sunt covarianți, deoarece asupra acestora se poate face push forward.

Orice functor ${\displaystyle F\colon C\rightarrow D}$induce functorul opus ${\displaystyle F^{\operatorname {op} }\colon C^{\operatorname {op} }\rightarrow D^{\operatorname {op} }}$unde C^op și D^op sunt categoriile opuse^⁠(d) ale lui C, respectiv D.^[6] Prin definitie, F^op mapează obiectele și morfismele identic cu F. Întrucât C^op nu coincide drept categorie cu C, și analog pentru D, F^op este distinct de F. De exemplu, când se face compunerea lui ${\displaystyle F\colon C_{0}\rightarrow C_{1}}$cu ${\displaystyle G\colon C_{1}^{\operatorname {op} }\rightarrow C_{2}}$, trebuie folosit fie ${\displaystyle G\circ F^{\operatorname {op} }}$, fie ${\displaystyle G^{\operatorname {op} }\circ F}$. Conform proprietății categoriilor opuse, ${\displaystyle \left(F^{\operatorname {op} }\right)^{\operatorname {op} }=F}$.

Un bifunctor (cunoscut și ca un functor binar) este un functor al cărui domeniu este o categorie produs^⁠(d). De exemplu, functorul Hom^⁠(d) este de tipul C^op × C → Set . Acesta poate fi văzut ca un functor cu două argumente. Functorul Hom^⁠(d) este un exemplu natural; este contravariant într-un argument, covariant în celălalt.

Un multifunctor este o generalizare a conceptului de functor la n variabile. De exemplu, un bifunctor este un multifunctor cu n = 2.

Diagrama^⁠(d): pentru categoriile C și J, o diagramă de tip J în C este un functor covariant ${\displaystyle D\colon J\rightarrow C}$.

Prefasciculul de teoria categoriilor^⁠(d): Pentru categoriile C și J, un J-prefascicul pe C este un functor contravariant ${\displaystyle D\colon C\rightarrow J}$.

Prefascicul: Dacă X este un spațiu topologic, atunci mulțimile deschise din X formează o mulțime parțial ordonată^⁠(d) Open(X) în raport cu incluziunea. Ca orice mulțime parțial ordonată, Open(X) formează o categorie mică prin adăugarea unei singure săgeți U → V dacă și numai dacă ${\displaystyle U\subseteq V}$. Functorii contravarianți pe Open(X) se numesc prefascicule^⁠(d) pe X. De exemplu, atribuind fiecărei mulțimi deschise U algebra asociativă^⁠(d) a funcțiilor continue cu valori reale pe U, se obține un prefascicul de algebre pe X.

Functor constantă: functorul C → D care asociază fiecărui obiect din C un obiect fix X din D și oricărui morfism din C morfismul identitate pe X. Un astfel de functor se numește un functor constant sau de selecție.

Endofunctor: un functor care mapează o categorie la aceeași categorie; de exemplu, functorul polinomial^⁠(d).

Functorul identitate: în categoria C, scrisă 1_C sau id_C, mapează un obiect la sine însuși și un morfism la sine însuși. Functorul identitate este un endofunctor.

Functor diagonal: functorul diagonal^⁠(d) este definit ca functorul de la D la categoria functorilor D^C care asociază fiecărui obiect din D functorul constant la acel obiect.

Functor limită: Pentru o categorie index^⁠(d) fixă J, dacă fiecare functor J → C are o limită^⁠(d) (de exemplu dacă C este completă), atunci functorul limită C^J → C atribuie fiecărui functor limita sa. Existența acestui functor poate fi demonstrată arătând că este adjunctul la dreapta^⁠(d) al functorului diagonal^⁠(d) și invocând teorema functorului adjunct Freyd^⁠(d). Aceasta necesită o versiune adecvată a axiomei alegerii. Observații similare se aplică functorului colimită (care este covariant).

Mulțimi ale părților: Functorul mulțimii părților P : Set → Set asociază fiecărei mulțimi mulțimea părților^⁠(d) ei, și fiecărei funcții ${\displaystyle f\colon X\rightarrow Y}$aplicația care asociază lui ${\displaystyle U\subseteq X}$imaginea sa ${\displaystyle f(U)\subseteq Y}$. Se poate considera și functorul contravariant al mulțimii părților care asociază pe ${\displaystyle f\colon X\rightarrow Y}$aplicației care asociază ${\displaystyle V\subseteq Y}$ imaginii sale inverse

Spațiu vectorial dual: aplicația care atribuie fiecărui spațiu vectorial dualul^⁠(d) său, și fiecărei aplicații liniare — duala sau transpusa ei este un functor contravariant aplicat pe categoria tuturor spațiilor vectoriale pe un corp fix, către el însuși.

Grupul fundamental: Considerând categoria spațiilor topologice orientate^⁠(d), adică spațiile topologice cu puncte distincte, obiectele sunt perechile (X, x₀), unde X este un spațiu topologic și x₀ este un punct din X. Un morfism de la (X, x₀) la (Y, y₀) este dat de o aplicație continuă f : X → Y cu f(x₀) = y₀ .

Pe orice spațiu topologic X cu punct distinctiv x₀, se poate defini grupul fundamental^⁠(d) bazat în x₀, notat π₁(X, x₀). Acesta este grupul claselor de omotopie^⁠(d) a buclelor bazate în x₀. Dacă f : X → Y este un morfism al spațiilor orientate^⁠(d), atunci fiecare buclă din X cu punctul de bază x₀ poate fi compusă cu f pentru a obține o buclă în Y cu punctul de bază y₀. Această operație este compatibilă cu relația de echivalență a omotopiei și cu compoziția buclelor și se obține un omomorfism de grup de la π(X, x₀) la π(Y, y₀) . Se obține astfel un functor de la categoria spațiilor topologice orientate la categoria grupurilor^⁠(d).

În categoria spațiilor topologice (fără punct distinctiv), se iau în considerare clasele de omotopie ale curbelor generice, dar ele nu pot fi compuse decât dacă drept capăt un punct comun. Astfel, una este groupoidul fundamental în locul grupului fundamental, iar această construcție este functorială.

Algebra funcțiilor continue: un functor contravariant de la categoria spațiilor topologice (cu aplicațiile continue ca morfisme) la categoria algebrelor asociative^⁠(d) reale este dat atribuind fiecărui spațiu topologic X algebra C(X) a tuturor funcțiilor continue definite pe acel spațiu. Orice aplicație continuă f : X → Y induce un omomorfism algebric^⁠(d) C(f) : C(Y) → C(X) prin regula C(f)(φ) = φ ∘ f pentru orice φ din C(Y).

Fibrate tangente și cotangente: Aplicațiile care asociază fiecărei varietăți diferențiabile^⁠(d) la tangenta^⁠(d) sa și la fiecărei aplicații derivabile^⁠(d) derivata sa este un functor covariant de la categoria varietăților diferențiabile la categoria fibratelor vectoriale^⁠(d).

Făcând aceste construcții punctual rezultă spațiul tangent^⁠(d), un functor covariant de la categoria varietăților diferențiabile orientate la categoria spațiilor vectoriale reale. Analog, spațiul cotangent^⁠(d) este un functor contravariant, în esență, compoziția spațiului tangent cu spațiul dual de mai sus.

Produse tensoriale: Dacă cu C se notează categoria spațiilor vectoriale peste un corp fix, cu aplicațiile liniare ca morfisme, atunci produsul tensorial^⁠(d) ${\displaystyle V\otimes W}$definește un functor C × C → C care este covariant în ambele argumente.^[7]

Două consecințe importante ale axiomelor functorilor sunt:

• F transformă orice diagramă comutativă^⁠(d) din C într-o diagramă comutativă din D;
• dacă f este un izomorfism în C, atunci F(f) este un izomorfism în D.

Se pot compune functori, adică dacă F este un functor de la A la B și G este un functor de la B la C, atunci se poate forma functorul compus G ∘ F de la A la C. Compoziția functorilor este asociativă acolo unde este definită. Identitatea compoziției functorilor este functorul identitate. Aceasta arată că functorii pot fi considerați morfisme în categoriile de categorii, de exemplu în categoria categoriilor mici^⁠(d).

O categorie mică cu un singur obiect este același lucru ca un monoid: morfismele unei categorii cu un singur obiect pot fi considerate ca elemente ale monoidului, iar compoziția din categorie este considerată operația monoidului. Functorii între categoriile cu un singur obiect corespund omomorfismelor monoidului. Deci, într-un sens, functorii dintre categoriile arbitrare sunt un fel de generalizare a omomorfismelor de monoid la categorii cu mai mult de un obiect.

Fie ${\displaystyle {\mathcal {C}}}$și ${\displaystyle {\mathcal {D}}}$ categorii. Colecția tuturor functorilor ${\displaystyle {\mathcal {C}}\rightarrow {\mathcal {D}}}$ formează obiectele unei categorii: categoria functorilor^⁠(d). Morfismele din această categorie sunt transformări naturale^⁠(d) între functori.

Functorii sunt adesea definiți prin proprietăți universale^⁠(d); exemple sunt produsul tensorial^⁠(d), suma scalară^⁠(d) și produsul scalar^⁠(d) al grupurilor sau spațiilor vectoriale, construcția grupurilor și modulelor libere, limitele directe^⁠(d) și inverse^⁠(d). Conceptele de limită și colimită^⁠(d) generalizează mai multe dintre cele de mai sus.

Construcțiile universale dau adesea naștere unor perechi de functori adjuncți^⁠(d).

Functorii apar uneori în programarea funcțională. De exemplu, limbajul de programare Haskell are o clasă^⁠(d) Functor unde fmap este o funcție politipică folosită pentru a mapa funcțiile^⁠(d) (morfisme pe Hask, categoria tipurilor Haskell)^[8] între tipuri existente la funcții între unele tipuri noi.^[9]

• Jacobson, Nathan (2009), Basic algebra, 2 (ed. 2nd), Dover, ISBN 978-0-486-47187-7 .

• Hazewinkel, Michiel, ed. (2001), „Functor”, Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104  Hazewinkel, Michiel, ed. (2001), „Functor”, Encyclopaedia of Mathematics, Kluwer Academic Publishers, ISBN 978-1556080104 
• André Joyal, CatLab, un proiect wiki dedicat expunerii matematicii categorice
• Hillman, Chris. „A Categorical Primer”:  |url= lipsă sau vid (ajutor) Hillman, Chris. „A Categorical Primer”:  |url= lipsă sau vid (ajutor) Hillman, Chris. „A Categorical Primer”:  |url= lipsă sau vid (ajutor)introducerea formală în teoria categoriilor.
• J. Adamek, H. Herrlich, G. Stecker, Abstract and Concrete Categories - The Joy of Cats Arhivat în 21 aprilie 2015, la Wayback Machine.
• Stanford Encyclopedia of Philosophy: „Category Theory " - de Jean-Pierre Marquis. Bibliografie extensivă.
• Lista conferințelor academice de teoria categoriilor
• Baez, John, 1996, „The Tale of n-categories” . O introducere informală în categoriile de ordin superior.
• WildCats este un pachet de teoria categoriilor pentru Mathematica^⁠(d). Manipularea și vizualizarea obiectelor, morfismelor, categoriilor, functorilor, transformărilor naturale^⁠(d), proprietăților universale^⁠(d).
• Catsters, un canal YouTube despre teoria categoriilor.
• Arhivă video de discuții înregistrate referitoare la categorii, logică și fundamentele fizicii.
• Pagină interactivă care generează exemple de construcții categorice în categoria mulțimilor finite.