Functor

En matemáticas, especificamente na teoría de categorías, un functor^[1] é unha correspondencia entre categorías. Os functores foron considerados por primeira vez na topoloxía alxébrica, onde os obxectos alxébricos (como o grupo fundamental) están asociados a espazos topolóxicos, e os mapas entre estes obxectos alxébricos están asociados a mapas continuos entre espazos. Hoxe en día, os functores úsanse en todas as matemáticas modernas para relacionar varias categorías. Así, os functores son importantes en todas as áreas das matemáticas nas que se aplica a teoría de categorías.

Definición

Unha categoría con obxectos X, Y, Z e morfismos f, g, g ∘ f

O functor ${\displaystyle F}$ debe preservar a composición dos morfismos ${\displaystyle g}$ e ${\displaystyle f}$

Sexan as categorías C e D. Un functor F de C a D é unha correspondencia que^[2]

• asocia cada obxecto ${\displaystyle X}$ en C a un obxecto ${\displaystyle F(X)}$ en D,
• asocia cada morfismo ${\displaystyle f\colon X\to Y}$ en C a un morfismo ${\displaystyle F(f)\colon F(X)\to F(Y)}$ en D tal que se cumpran as dúas condicións seguintes:
  • ${\displaystyle F(\mathrm {id} _{X})=\mathrm {id} _{F(X)}\,\!}$ para cada obxecto ${\displaystyle X}$ en C,
  • ${\displaystyle F(g\circ f)=F(g)\circ F(f)}$ para todos os morfismos ${\displaystyle f\colon X\to Y\,\!}$ e ${\displaystyle g\colon Y\to Z}$ en C.

É dicir, os functores deben preservar os morfismos de identidade e a composición dos morfismos.

Covarianza e contravarianza

Os functores ordinarios tamén se denominan functores covariantes para distinguilos dos contravariantes. Teña en conta que tamén se pode definir un functor contravariante como un functor covariante na categoría oposta ${\displaystyle C^{\mathrm {op} }}$. ^[2] Algúns autores prefiren escribir todas as expresións de forma covariante. É dicir, en vez de dicir ${\displaystyle F\colon C\to D}$ é un functor contravariante, simplemente escriben ${\displaystyle F\colon C^{\mathrm {op} }\to D}$ (ou ás veces ${\displaystyle F\colon C\to D^{\mathrm {op} }}$ ) e chámanlle functor.

Os functores contravariantes tamén se denominan ocasionalmente cofuntores.^[3]

Diferenzas en topoloxía

Hai unha convención que se refire a "vectores", é dicir, campos vectoriais, elementos do espazo de seccións ${\displaystyle \Gamma (TM)}$ dun fibrado tanxente ${\displaystyle TM}$, como "contravariante" e para "covectores", é dicir, 1-formas, elementos do espazo de seccións ${\displaystyle \Gamma {\mathord {\left(T^{*}M\right)}}}$ dun fibrado cotanxente ${\displaystyle T^{*}M}$, como "covariante". Esta terminoloxía ten a súa orixe na física, e a súa razón de ser ten que ver coa posición dos índices ("arriba" e "abaixo") en expresións como ${\displaystyle {x'}^{\,i}=\Lambda _{j}^{i}x^{j}}$ para ${\displaystyle \mathbf {x} '={\boldsymbol {\Lambda }}\mathbf {x} }$ ou ${\displaystyle \omega '_{i}=\Lambda _{i}^{j}\omega _{j}}$ para ${\displaystyle {\boldsymbol {\omega }}'={\boldsymbol {\omega }}{\boldsymbol {\Lambda }}^{\textsf {T}}.}$

Neste formalismo obsérvase que o símbolo de transformación de coordenadas ${\displaystyle \Lambda _{i}^{j}}$ (representa a matriz ${\displaystyle {\boldsymbol {\Lambda }}^{\textsf {T}}}$) actúa sobre as "coordenadas covectoras" "do mesmo xeito" que sobre os vectores de base: ${\displaystyle \mathbf {e} _{i}=\Lambda _{i}^{j}\mathbf {e} _{j}}$, mentres que actúa "de forma contraria" nas "coordenadas vectoriais" (pero "da mesma maneira" que nos covectores da base: ${\displaystyle \mathbf {e} ^{i}=\Lambda _{j}^{i}\mathbf {e} ^{j}}$).

Esta terminoloxía é contraria á que se usa na teoría de categorías porque son os covectores os que teñen regresións en xeral e polo tanto son contravariantes, mentres que os vectores en xeral son covariantes xa que poden ser pulos cara adiante. Vexa tamén Covarianza e contravarianza de vectores.

Functor oposto

Todo functor ${\displaystyle F\colon C\to D}$ induce o functor oposto ${\displaystyle F^{\mathrm {op} }\colon C^{\mathrm {op} }\to D^{\mathrm {op} }}$, onde ${\displaystyle C^{\mathrm {op} }}$ e ${\displaystyle D^{\mathrm {op} }}$ son as categorías opostas de ${\displaystyle C}$ e ${\displaystyle D}$. Por definición, ${\displaystyle F^{\mathrm {op} }}$ mapea obxectos e morfismos do mesmo xeito que o fai ${\displaystyle F}$. Posto que ${\displaystyle C^{\mathrm {op} }}$ non coincide con ${\displaystyle C}$ como categoría, e do mesmo xeito para ${\displaystyle D}$, ${\displaystyle F^{\mathrm {op} }}$ distínguese de ${\displaystyle F}$. Por exemplo, ao compoñer ${\displaystyle F\colon C_{0}\to C_{1}}$ con ${\displaystyle G\colon C_{1}^{\mathrm {op} }\to C_{2}}$, deberíase usar algún dos seguintes ${\displaystyle G\circ F^{\mathrm {op} }}$ ou ${\displaystyle G^{\mathrm {op} }\circ F}$. Teña en conta que, seguindo a propiedade da categoría oposta, ${\displaystyle \left(F^{\mathrm {op} }\right)^{\mathrm {op} }=F}$ .

Bifunctor e multifunctor

Un bifunctor (tamén coñecido como functor binario) é un functor cuxo dominio é unha categoría produto. Por exemplo, o functor Hom é do tipo C^op × C → Set. Pódese ver como un functor en dous argumentos; é contravariante nun argumento, covariante no outro.

Un multifunctor é unha xeneralización do concepto de functor a n variábeis. Así, un bifunctor é un multifunctor con n = 2.

Propiedades

Dúas consecuencias importantes dos axiomas dos functores son:

• F transforma cada diagrama conmutativo en C nun diagrama conmutativo en D;
• se f é un isomorfismo en C, entón F (f) é un isomorfismo en D.

Pódense compoñer functores, é dicir, se F é un functor de A a B e G é un functor de B a C, entón pódese formar o functor composto G ∘ F de A a C. A composición dos functores é asociativa cando se define. A identidade de composición dos functores é o functor identidade. Isto mostra que os functores poden ser considerados como morfismos en categorías de categorías, por exemplo na categoría de categorías pequenas.

1. buUSCatermos. "Functor". 
2. Jacobson (2009).
3. Popescu, Nicolae; Popescu, Liliana (1979). Theory of categories. Dordrecht: Springer. p. 12. ISBN 9789400995505.  |data-acceso= require |url= (Axuda)