Functor

En matemáticas, especificamente na teoría de categorías, un functor é 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 
miniatura| Unha categoría con obxectos X, Y, Z e morfismos f, g, g ∘ f
miniatura| O functor  debe preservar a composición dos morfismos  e 
Sexan as categorías C e D. Un functor F de C a D é unha correspondencia que

 asocia cada obxecto  en C a un obxecto  en D,
 asocia cada morfismo  en C a un morfismo  en D tal que se cumpran as dúas condicións seguintes:
  para cada obxecto  en C,
  para todos os morfismos  e  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 .  Algúns autores prefiren escribir todas as expresións de forma covariante. É dicir, en vez de dicir  é un functor contravariante, simplemente escriben  (ou ás veces  ) e chámanlle functor.

Os functores contravariantes tamén se denominan ocasionalmente cofuntores.

Diferenzas en topoloxía

Hai unha convención que se refire a "vectores", é dicir, campos vectoriais, elementos do espazo de seccións  dun fibrado tanxente , como "contravariante" e para "covectores", é dicir, 1-formas, elementos do espazo de seccións  dun fibrado cotanxente , 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  para  ou  para  

Neste formalismo obsérvase que o símbolo de transformación de coordenadas  (representa a matriz ) actúa sobre as "coordenadas covectoras" "do mesmo xeito" que sobre os vectores de base: , mentres que actúa "de forma contraria" nas "coordenadas vectoriais" (pero "da mesma maneira" que nos covectores da base: ). 

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  induce o functor oposto , onde  e  son as categorías opostas de  e . Por definición,  mapea obxectos e morfismos do mesmo xeito que o fai . Posto que  non coincide con  como categoría, e do mesmo xeito para ,  distínguese de . Por exemplo, ao compoñer  con , deberíase usar algún dos seguintes  ou . Teña en conta que, seguindo a propiedade da categoría oposta,  .

 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 . 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 .

 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  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.
Categoría:Teoría das categorías