Ver el código de «Funtor»

[[File:Commutative_diagram_for_morphism.svg|thumb|300px|Una categoría con objetos X, Y, Z y morfismos f, g, g ∘ f]]

En [[teoría de categorías]], un '''funtor''' o '''functor''' es una [[función matemática|función]] de una categoría a otra que hace corresponder objetos con objetos y [[morfismo]]s con morfismos, de manera que la [[composición de funciones|composición]] de morfismos y las identidades se preservan.

Los funtores se consideraron primero en [[topología algebraica]], donde se asocian los objetos algebraicos con los [[espacio topológico|espacios topológicos]] y se asocian los [[homomorfismo|homomorfismos algebraicos]] con las [[Continuidad (matemáticas)|funciones continuas]]. Hoy en día, los funtores se utilizan a través de las matemáticas modernas para relacionar varias categorías. 

Ejemplos de functores típicos son el [[funtor fiel]] y el [[funtor pleno]].

== Definición ==
[[File:Commutative_diagram_of_a_functor.svg|thumb|Funtor <math>F</math> debe preservar la composición de los morfismos <math>g</math> y <math>f</math>]]

Sean ''C'' y ''D'' dos [[Categoría (matemáticas)|categorías]]. Un '''funtor''' ''F'' de ''C'' a ''D'' es una correspondencia que{{sfnp|Jacobson|2009|loc=p. 19, def. 1.2}}

* Asocia a cada objeto <math>X</math> en ''C'' a un objeto <math>F(X)</math> en ''D'',
* Asocia cada morfismo <math>f \colon X \to Y</math> en ''C'' a un morfismo <math>F(f) \colon F(X) \to F(Y)</math> en ''D'' de tal manera que las siguientes dos condiciones se mantienen:
** <math>F(\mathrm{id}_{X}) = \mathrm{id}_{F(X)}\,\!</math> para todo objeto <math>X</math> en ''C'',
** <math>F(g \circ f) = F(g) \circ F(f)</math> para todos los morfismos <math>f \colon X \to Y\,\!</math> y <math>g \colon Y\to Z</math> en ''C''.

Es decir, los funtores deben conservar los [[Morfismo|morfismos de identidad]] y la  [[Composición de funciones|composición]] de morfismos.

=== Covarianza y contravarianza ===
{{VT|Covarianza y contravarianza}}

Existen muchas construcciones en matemáticas que serían funtores si no fuera por el hecho de que "invierten los morfismos" e "invierten la composición". En consecuencia, se define un '''funtor contravariante''' ''F'' de ''C'' a ''D'' como una aplicación que
*Asocia cada objeto <math>X</math> en ''C'' con un objeto <math>F(X)</math> en ''D'',
*Asocia cada morfismo <math>f \colon X\to Y</math> en ''C'' con un morfismo <math>F(f) \colon F(Y) \to F(X)</math> en ''D'' tal que se cumplan las dos condiciones siguientes:
**<math>F(\mathrm{id}_X)= \mathrm{id}_{F(X)}\,\!</math> para cada objeto <math>X</math> en ''C'',
**<math>F(g \circ f)= F(f) \circ F(g)</math> para todos los morfismos <math>f \colon X\to Y</math> y <math>g \colon Y\to Z</math> en ''C''.

Debe tenerse en cuenta que los funtores contravariantes invierten la dirección de la composición.

Los funtores ordinarios también se denominan '''funtores covariantes''' para distinguirlos de los contravariantes. Tenga en cuenta que también se puede definir un funtor contravariante como un funtor ''covariante'' en la [[categoría opuesta]] <math>C^\mathrm{op}</math>.{{sfnp|Jacobson|2009|pp=19–20}} Algunos autores prefieren escribir todas las expresiones de manera covariante. Es decir, en lugar de decir que <math>F \colon C\to D</math> es un funtor contravariante, simplemente escriben <math>F \colon C^{\mathrm{op}} \to D</math> (o, a veces, <math>F \colon C \to D^{\mathrm{op}}</math>) y lo llaman funtor.

Los funtores contravariantes también se denominan ocasionalmente ''cofuntores''.<ref name="Popescu1979">{{cite book|last1=Popescu|first1=Nicolae|last2=Popescu|first2=Liliana|title=Theory of categories|date=1979|publisher=Springer|location=Dordrecht|isbn=9789400995505|page=12|url=https://books.google.com/books?id=YnHwCAAAQBAJ&q=cofuntor+covariant&pg=PA12|access-date=2016-04-23}}</ref>

Existe una convención que se refiere a ''vectores'', es decir, a [[campo vectorial|campos vectoriales]], elementos del espacio de secciones <math>\Gamma(TM)</math> de un [[fibrado tangente]] <math>TM</math>, como ''contravariantes'' y a ''covectores'', es decir, [[1-forma]]s, elementos del espacio de secciones <math>\Gamma\mathord\left(T^*M\right)</math> de un [[fibrado cotangente]] <math>T^*M</math>—como ''covariante''. Esta terminología se origina en la física, y su fundamento tiene que ver con la posición de los índices (''arriba'' y ''abajo'') en [[Convenio de suma de Einstein|expresiones]] como <math>{x'}^{\,i}= \Lambda^i_j x^j</math> para <math>\mathbf{x}'= \boldsymbol{\Lambda}\mathbf{x}</math> o <math>\omega'_i= \Lambda^j_i \omega_j</math> para <math>\boldsymbol{\omega}'= \boldsymbol{\omega}\boldsymbol{\Lambda}^\textsf{T}.</math> En este formalismo se observa que el símbolo de transformación de coordenadas <math>\Lambda^j_i</math> (que representa la matriz <math>\boldsymbol{\Lambda}^\textsf{T}</math>) actúa sobre las ''coordenadas covectoriales'' ''de la misma manera'' que sobre los vectores base: <math>\mathbf{e}_i= \Lambda^j_i\mathbf{e}_j</math>, mientras que actúa ''de manera opuesta'' sobre las ''coordenadas vectoriales'' (pero ''de la misma manera'' como en los covectores base: <math>\mathbf{e}^i= \Lambda^i_j \mathbf{e}^j</math>). Esta terminología es contraria a la utilizada en la teoría de categorías porque son los covectores los que tienen ''retrocesos'' en general y, por tanto, son ''contravariantes'', mientras que los vectores en general son ''covariantes'' ya que pueden ser ''puestos hacia adelante''. Véase también [[covarianza y contravarianza]].

=== Funtor opuesto ===
Cada funtor <math>F \colon C\to D</math> induce el '''funtor opuesto''' <math>F^\mathrm{op} \colon C^\mathrm{op}\to D^\mathrm{op}</math>, donde <math>C^\mathrm{op}</math> y <math>D^\mathrm{op}</math> son las [[Categoría opuesta|categorías opuestas]] de <math>C</math> y <math>D</math>.<ref>{{citation|first1=Saunders|last1=Mac Lane|author-link1=Saunders Mac Lane|first2=Ieke|last2=Moerdijk|author-link2=Ieke Moerdijk|title=Sheaves in geometry and logic: a first introduction to topos theory|publisher=Springer|year=1992|isbn=978-0-387-97710-2}}</ref> Por definición, <math>F^\mathrm{op}</math> asigna objetos y morfismos de la misma manera que <math>F</math>. Dado que <math>C^\mathrm{op}</math> no coincide con <math>C</math> como categoría, y de manera similar para <math>D</math>, <math>F^\mathrm{op}</math> se distingue de <math>F</math>. Por ejemplo, al componer <math>F \colon C_0\to C_1</math> con <math>G \colon C_1^\mathrm{op}\to C_2</math>, se debe usar <math>G\circ F^\mathrm{op}</math> o <math>G^\mathrm{op}\circ F</math>. Téngase en cuenta que, siguiendo la propiedad de [[categoría opuesta]], <math>\left(F^\mathrm{op}\right)^\mathrm{op}= F</math>.

=== Bifuntores y multifuntores ===
Un '''bifuntor''' (también conocido como '''funtor binario''') es un funtor cuyo dominio es una [[categoría producto]]. Por ejemplo, el [[homomorfismo funtorial]] es del tipo {{nowrap|''C<sup>op</sup>'' × ''C'' → '''Set'''}}. Puede verse como un funtor con ''dos'' argumentos. El [[homomorfismo funtorial]] es un ejemplo natural; es contravariante en un argumento y covariante en el otro.

Un '''multifuntor''' es una generalización del concepto de funtor a ''n'' variables. Entonces, por ejemplo, un bifuntor es un multifuntor con {{nowrap|1=''n''= 2}}.

== Propiedades ==
Dos consecuencias importantes de la [[axioma|axiomática]] de los funtores son:

* ''F'' transforma cada [[diagrama conmutativo]] en ''C'' en un diagrama conmutativo en ''D''
* Si ''f'' es un [[isomorfismo]] en ''C'', entonces ''F''(''f'') es un isomorfismo en ''D''

Se pueden componer funtores, es decir, si ''F'' es un funtor de ''A'' a ''B'' y ''G'' es un funtor de ''B'' a ''C'', entonces se puede formar el funtor compuesto {{nowrap|''G'' ∘ ''F''}} de ''A'' a ''C''. La composición de los funtores es asociativa donde se define. La identidad de la composición de funtores es el funtor identidad. Esto muestra que los funtores pueden considerarse como morfismos en categorías de categorías, por ejemplo en la [[categoría de categorías pequeñas]].

Una categoría pequeña con un solo objeto es lo mismo que un [[monoide]]: los morfismos de una categoría de un solo objeto pueden considerarse elementos del monoide, y la composición en la categoría se considera la operación monoide. Los funtores entre categorías de un solo objeto corresponden a [[homomorfismo]]s monoides. Entonces, en cierto sentido, los funtores entre categorías arbitrarias son una especie de generalización de los homomorfismos monoides a categorías con más de un objeto.

== Ejemplos ==
; [[Diagrama (teoría de categorías)|Diagrama]]: Para las categorías ''C'' y ''J'', un diagrama de tipo ''J'' en ''C'' es un funtor covariante <math>D \colon J\to C</math>.
; [[Prehaz (teoría de categorías)]]: Para las categorías ''C'' y ''J'', un prehaz ''J'' en ''C'' es un funtor contravariante <math>D \colon C\to J</math>. En el caso especial en el que J es un '''conjunto''', la categoría de conjuntos y funciones, ''D'' se denomina prehaz en ''C''.
; Prehaces (sobre un espacio topológico): Si ''X'' es un [[espacio topológico]], entonces los [[conjunto abierto|conjunto abiertos]] en ''X'' forman un [[conjunto parcialmente ordenado]] abierto (''X'') bajo inclusión. Como todo conjunto parcialmente ordenado, abierto (''X'') forma una pequeña categoría añadiendo una sola flecha {{nowrap|''U'' → ''V''}} si y solo si <math>U \subseteq V</math>. Los funtores contravariantes en abierto (''X'') se denominan ''[[Haces (herramienta matemática)|prehaces]]'' en ''X''. Por ejemplo, asignando a cada conjunto abierto ''U'' el [[álgebra asociativa]] de funciones continuas con valores reales en ''U'', se obtiene un prehaz de álgebras en ''X''.
; Funtor constante: El funtor {{nowrap|''C'' → ''D''}} que asigna cada objeto de ''C'' a un objeto fijo ''X'' en ''D'' y cada morfismo en ''C'' al morfismo de identidad en ''X''. Este tipo de funtor se denomina funtor ''constante'' o de ''selección''.
; Endofuntor: Un funtor que asigna una categoría a esa misma categoría; por ejemplo, el [[funtor polinómico]].
; Funtor identidad: En la categoría ''C'', escrita 1<sub>''C''</sub> o id<sub>''C''</sub>, asigna un objeto a sí mismo y un morfismo a sí mismo. El funtor de identidad es un endofuntor.
; Funtor diagonal: El [[funtor diagonal]] se define como el funtor de ''D'' a la categoría de funtor ''D''<sup>''C''</sup> que envía cada objeto en ''D'' al funtor constante en ese objeto.
; Funtor límite: Para una [[categoría de índices]] ''J'' fija, si cada funtor {{nowrap|''J'' → ''C''}} tiene un [[Límite (teoría de categorías)|límite]] (por ejemplo, si ''C'' está completo), entonces el funtor límite {{nowrap|''C''<sup>''J''</sup> → ''C''}} asigna a cada funtor su límite. La existencia de este funtor se puede probar al darse cuenta de que es el [[Funtores adjuntos|adjunto por la derecha]] del [[funtor diagonal]] e invocar los [[funtores adjuntos]]. Esto requiere una versión adecuada del [[axioma de elección]]. Se aplican observaciones similares al funtor colímite (que asigna a cada funtor su colímite y es covariante).
; Funtor de conjuntos de potencias: El funtor de conjuntos de potencias {{nowrap|''P'' : '''Set''' → '''Set'''}} asigna cada conjunto a su [[conjunto potencia]] y cada función <math> f \colon X \to Y</math> a la aplicación que envía <math>U \in \mathcal{P}(X)</math> a su imagen <math>f(U) \in \mathcal{P}(Y)</math>. También se puede considerar el '''funtor de conjunto de potencias contravariante''' que hace corresponder <math> f \colon X \to Y </math> a la aplicación que hace corresponder <math>V \subseteq Y</math> a su [[imagen (matemática)|imagen]] <math>f^{-1}(V) \subseteq X.</math>. Por ejemplo, si <math>X= \{0,1\}</math> entonces <math>F(X)= \mathcal{P}(X)= \{\{\}, \{0\}, \{1\}, X\}</math>. Supóngase que <math>f(0)= \{\}</math> y <math>f(1)= X</math>. Entonces, <math>F(f)</math> es la función que envía cualquier subconjunto <math>U</math> de <math>X</math> a su imagen <math>f(U)</math>, que en este caso significa <math>\{\} \mapsto f(\{\})= \{\}</math>, donde <math>\mapsto</math> denota la aplicación bajo <math>F(f)</math>, por lo que también podría escribirse como <math>(F(f))(\{\})= \{\}</math>. Para los demás valores,<math>
  \{0\} \mapsto f(\{0\})= \{f(0)\}= \{\{\}\},\ </math> <math>
  \{1\} \mapsto f(\{1\})= \{f(1)\}= \{X\},\ </math> <math>
 \{0,1\} \mapsto f(\{0,1\})= \{f(0), f(1)\}= \{\{\}, X\}.
</math> Téngase en cuenta que <math>f(\{0, 1\})</math> genera en consecuencia una [[topología trivial]] en <math>X</math>. También debe tenerse en cuenta que, aunque la función <math>f</math> en este ejemplo se asigna al conjunto de potencias de <math>X</math>, ese no tiene por qué ser el caso en general.
; Espacio vectorial dual: La aplicación que asigna a cada [[espacio vectorial]] su [[espacio dual]] y a cada [[aplicación lineal]] su dual o transpuesta es un funtor contravariante de la categoría de todos los espacios vectoriales sobre un [[Cuerpo (matemáticas)|cuerpo]] fijo sobre sí mismo.
; Grupo fundamental: Considérese la categoría de los [[espacio topológico puntado|espacios topológicos puntados]], es decir, espacios topológicos con puntos diferenciados. Los objetos son pares {{nowrap|(''X'', ''x''<sub>0</sub>)}}, donde ''X'' es un espacio topológico y ''x''<sub>0</sub> es un punto en ''X''. Un morfismo de {{nowrap|(''X'', ''x''<sub>0</sub>)}} a {{nowrap|(''Y'', ''y''<sub>0</sub>)}} viene dado por una aplicación [[Función continua|continua]] {{nowrap|''f'' : ''X'' → ''Y''}} con {{nowrap|1=''f''(''x''<sub>0</sub>)= ''y''<sub>0</sub>}}. Para cada espacio topológico ''X'' con un punto diferenciado ''x''<sub>0</sub>, se puede definir el [[grupo fundamental]] basado en ''x''<sub>0</sub>, denotado como {{nowrap|π<sub>1</sub>(''X'', ''x''<sub>0</sub>)}}. Este es el [[Grupo (matemática)|grupo]] de las clases de bucles [[homotopía|homotópicos]] basados en ''x''<sub>0</sub>, con la operación grupal de concatenación. Si {{nowrap|''f'' : ''X'' → ''Y''}} es un morfismo de [[espacio topológico puntado|espacios topológicos puntados]], entonces cada bucle en ''X'' con punto base ''x'', <sub>0</sub> se puede componer con ''f'' para producir un bucle en ''Y'' con punto base '' y''<sub>0</sub>. Esta operación es compatible con la [[relación de equivalencia]] homotópica y la composición de bucles, y se obtiene un [[homomorfismo de grupos]] de {{nowrap|π(''X'', ''x''<sub>0</sub>)}} a {{nowrap|π(''Y'', ''y''<sub>0</sub>)}}. Se obtiene así un funtor de la categoría de espacios topológicos puntuados a la [[categoría de grupos]]. En la categoría de espacios topológicos (sin puntos diferenciados), se consideran clases de homotopía de curvas genéricas, pero no se pueden componer a menos que compartan un punto final. Así se tiene el '''[[grupoide]] fundamental''' en lugar del grupo fundamental, y esta construcción es funtorial.
; Álgebra de funciones continuas: Un funtor contravariante de la categoría de [[Topología|espacios topológicos]] (con aplicaciones continuas como morfismos) a la categoría de [[álgebra asociativa|álgebras asociativas]] reales se obtiene asignando a cada espacio topológico ''X'' el álgebra C(''X'') de todas las funciones continuas de valor real en ese espacio. Toda aplicación continua {{nowrap|''f'' : ''X'' → ''Y''}} induce un [[álgebra sobre un cuerpo]] {{nowrap|C(''f'') : C(''Y'') → C(''X'')}} mediante la regla {{nowrap|1=C(''f'')(''φ'')= ''φ'' ∘ ''f''}} para cada ''φ'' en C(''Y'').
; Haces tangentes y cotangentes: La aplicación que envía cada [[variedad diferenciable]] a su [[fibrado tangente]] y cada [[función infinitamente diferenciable]] a su [[derivada]] es un funtor covariante de la categoría de variedades diferenciables a la categoría de los [[fibrado vectorial|fibrados vectoriales]]. Al hacer estas construcciones puntuales se obtiene el [[espacio tangente]], un funtor covariante de la categoría de variedades diferenciables puntuadas sobre la categoría de espacios vectoriales reales. Asimismo, un [[espacio cotangente]] es un funtor contravariante, esencialmente la composición del espacio tangente con el espacio dual anterior.
; Acciones/representaciones grupales: Cada [[Grupo (matemática)|grupo]] ''G'' puede considerarse como una categoría con un solo objeto cuyos morfismos son los elementos de ''G''. Un funtor de ''G'' a '''Set''' no es más que una [[Acción (matemática)|acción de grupo]] de ''G'' en un conjunto particular, es decir, un conjunto ''G''. Asimismo, un funtor de ''G'' sobre una [[categoría de espacios vectoriales]], '''Vect'''<sub>''K''</sub>, es una [[teoría de representación|representación]] de ''G''. En general, un funtor {{nowrap|''G'' → ''C''}} puede considerarse como una ''acción'' de ''G'' sobre un objeto de la categoría ''C''. Si ''C'' es un grupo, entonces esta acción es un homomorfismo de grupo.
; Álgebras de Lie: Asignar a cada [[grupo de Lie]] real (complejo) su [[álgebra de Lie]] real (compleja) define un funtor.
; Productos tensoriales: Si ''C'' denota la categoría de espacios vectoriales sobre un campo fijo, con [[Aplicación lineal|aplicaciones lineales]] como morfismos, entonces el [[producto tensorial]] <math>V \otimes W</math> define un funtor {{nowrap|''C'' × ''C'' → ''C''}} que es covariante en ambos argumentos.<ref>{{citation|first1=Michiel|last1=Hazewinkel|author-link1=Michiel Hazewinkel|first2=Nadezhda Mikhaĭlovna|last2=Gubareni|author-link2=Nadezhda Mikhaĭlovna|first3=Nadiya|last3=Gubareni|author-link3=Nadiya Gubareni|first4=Vladimir V.|last4=Kirichenko|author-link4=Vladimir V. Kirichenko|title=Algebras, rings and modules|publisher=Springer|year=2004|isbn=978-1-4020-2690-4}}</ref>
; Funtores olvidadizos: el funtor {{nowrap|''U'' : '''Grp''' → '''Set'''}} que asigna un [[Grupo (matemática)|grupo]] a su conjunto subyacente y un [[homomorfismo de grupos]] a su función subyacente de conjuntos es un funtor.{{sfnp|Jacobson|2009|loc=p. 20, ex. 2}} Funtores como estos, que ''olvidan'' alguna estructura, se denominan ''[[funtor olvidadizo]]''. Otro ejemplo es el funtor {{nowrap|'''Rng''' → '''Ab'''}} que asigna un [[Anillo (matemática)|anillo]] a su [[grupo abeliano]] aditivo subyacente. Los morfismos en '''Rng''' ([[homomorfismo de anillos|homomorfismos de anillos]]) se convierten en morfismos en '''Ab''' (homomorfismos de grupo abeliano).
; Funtores libres: Los funtores libres van en la dirección opuesta a los funtores olvidadizos. El funtor libre {{nowrap|''F'' : '''Set''' → '''Grp'''}} envía cada conjunto ''X'' al [[grupo libre]] generado por ''X''. Las funciones se asignan a homomorfismos de grupo entre grupos libres. Existen construcciones libres para muchas categorías basadas en conjuntos estructurados (véase [[objeto libre]]).
; Grupos de homomorfismo: A cada par ''A'', ''B'' de [[Grupo (matemática)|grupos abelianos]] se le puede asignar el grupo abeliano Hom(''A'', ''B'') que consta de todos los [[homomorfismo de grupos|homomorfismos de grupos]] desde ''A'' hasta ''B''. Este es un funtor que es contravariante en el primer argumento y covariante en el segundo argumento, es decir, es un funtor {{nowrap|'''Ab'''<sup>op</sup> × '''Ab''' → '''Ab'''}} (donde '''Ab''' denota la [[categoría de grupos abelianos]] con homomorfismos de grupo). Si {{nowrap|''f'' : ''A''<sub>1</sub> → ''A''<sub>2</sub>}} y {{nowrap|''g'' : ''B''<sub>1</sub> → ''B''<sub>2</sub>}} son morfismos en '''Ab''', entonces el homomorfismo de grupo {{nowrap|Hom(''f'', ''g'')}}: {{nowrap|Hom(''A''<sub>2</sub>, ''B''<sub>1</sub>) → Hom(''A''<sub>1</sub>, ''B''<sub>2</sub>)}} viene dado por {{nowrap|''φ'' ↦ ''g'' ∘ ''φ'' ∘ ''f''}} (véase [[funtor homomorfo]].
; Funtores representables: Se puede generalizar el ejemplo anterior a cualquier categoría ''C''. A cada par ''X'', ''Y'' de objetos en ''C'' se le puede asignar el conjunto {{nowrap|Hom(''X'', ''Y'')}} de morfismos de ''X'' sobre ''Y''. Esto define un funtor para '''Set''' que es contravariante en el primer argumento y covariante en el segundo, es decir, es un funtor {{nowrap|''C''<sup>op</sup> × ''C'' → '''Set'''}}. Si {{nowrap|''f'' : ''X''<sub>1</sub> → ''X''<sub>2</sub>}} y {{nowrap|''g'' : ''Y''<sub>1</sub> → ''Y''<sub>2</sub>}} son morfismos en ''C'', entonces la aplicación {{nowrap|Hom(''f'', ''g'') : Hom(''X''<sub>2</sub>, ''Y''<sub>1</sub>) → Hom(''X''<sub>1</sub>, ''Y''<sub>2</sub>)}} viene dada por {{nowrap|''φ'' ↦ ''g'' ∘ ''φ'' ∘ ''f''}}. Funtores como estos se denominan [[funtor representable|representables]]. Un objetivo importante en muchos entornos es determinar si un funtor determinado es representable.

== Véase también ==
* [[Teoría de categorías]]
* [[Límite (Teoría de categorías)|Límite de un funtor]]

== Referencias ==
{{listaref}}

== Bibliografía ==
* {{Citation|title=Basic algebra|last=Jacobson|first=Nathan|author-link=Nathan Jacobson|edition=2nd|publisher=Dover|volume=2|isbn=978-0-486-47187-7|year=2009}}

{{Control de autoridades}}
[[Categoría:Teoría de categorías]]
[[Categoría:Funtores]]