Functor

En matemáticas , específicamente en teoría de categorías , un functor es una aplicación entre categorías . Los functores se consideraron por primera vez en topología algebraica , donde los objetos algebraicos (como el grupo fundamental ) se asocian a espacios topológicos , y las aplicaciones entre estos objetos algebraicos se asocian a aplicaciones continuas entre espacios. Hoy en día, los functores se utilizan en toda la matemática moderna para relacionar diversas categorías. Por lo tanto, los functores son importantes en todas las áreas de las matemáticas donde se aplica la teoría de categorías .

Las palabras categoría y functor fueron tomadas prestadas por los matemáticos de los filósofos Aristóteles y Rudolf Carnap , respectivamente. ^{[ 1 ]} Este último usó functor en un contexto lingüístico ; ^{[ 2 ]} véase palabra función .

Dejar${\displaystyle C}$y${\displaystyle D}$ser categorías . Un functor${\displaystyle F}$de${\displaystyle C}$a${\displaystyle D}$es una asignación que: ^{[ 3 ]}

• asocia cada objeto${\displaystyle X}$en${\displaystyle C}$a un objeto${\displaystyle F(X)}$en${\displaystyle D}$,
• asocia cada morfismo${\displaystyle f:X\to Y}$en${\displaystyle C}$a un morfismo${\displaystyle F(f):F(X)\to F(Y)}$en${\displaystyle D}$de modo que se cumplan las dos condiciones siguientes:
  • ${\displaystyle F(\mathrm {id} _{X})=\mathrm {id} _{F(X)}\,\!}$para cada objeto${\displaystyle X}$en${\displaystyle C}$,
  • ${\displaystyle F(g\circ f)=F(g)\circ F(f)}$para todos los morfismos${\displaystyle f:X\to Y\,\!}$y${\displaystyle g:Y\to Z}$en${\displaystyle C}$.

Es decir, los functores deben preservar los morfismos identidad y la composición de morfismos.

Dos consecuencias importantes de los axiomas de functor son:

• ${\displaystyle F}$transforma cada diagrama conmutativo en${\displaystyle C}$en un diagrama conmutativo en${\displaystyle D}$;
• si${\displaystyle f}$es un isomorfismo en${\displaystyle C}$, entonces${\displaystyle F(f)}$es un isomorfismo en${\displaystyle D}$.

Se pueden componer functores, es decir, si${\displaystyle F}$es un functor de${\displaystyle A}$a${\displaystyle B}$y${\displaystyle G}$es un functor de${\displaystyle B}$a${\displaystyle C}$entonces se puede formar el functor compuesto${\displaystyle G\circ F}$de${\displaystyle A}$a${\displaystyle C}$La composición de functores es asociativa donde se define. La identidad de la composición de functores es el functor identidad. Esto muestra que los functores 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 equivalente a un monoide : los morfismos de una categoría con un solo objeto pueden considerarse elementos del monoide, y la composición en la categoría se concibe como la operación del monoide. Los functores entre categorías con un solo objeto corresponden a homomorfismos de monoides . Así pues, en cierto sentido, los functores entre categorías arbitrarias constituyen una generalización de los homomorfismos de monoides a categorías con más de un objeto.

Diagrama

Para categorías${\displaystyle C}$y${\displaystyle J}$, un diagrama de tipo${\displaystyle J}$en${\displaystyle C}$es un functor covariante${\displaystyle D:J\to C}$.

(Categoría teórica) prefaja

Para categorías${\displaystyle C}$y${\displaystyle J}$, a${\displaystyle J}$-pregajo en${\displaystyle C}$es un functor contravariante${\displaystyle D:C\to J}$. En el caso especial cuando${\displaystyle J}$es${\displaystyle \mathbf {Set} }$, la categoría de conjuntos y funciones,${\displaystyle D}$se llama gavilla previa en${\displaystyle C}$.

Prehaces (sobre un espacio topológico)

Si X es un espacio topológico , entonces los conjuntos abiertos en X forman un conjunto parcialmente ordenado Open( X ) bajo la inclusión. Como todo conjunto parcialmente ordenado, Open( X ) forma una categoría pequeña añadiendo una sola flecha U → V si y solo si${\displaystyle U\subseteq V}$Los functores contravariantes en Open( X ) se denominan prehaces en X. Por ejemplo, al asignar a cada conjunto abierto U el álgebra asociativa de funciones continuas de valor real en U , se obtiene un prehaz de álgebras en X.

functor constante

El functor${\displaystyle C\to D}$que mapea cada objeto de${\displaystyle C}$a un objeto fijo${\displaystyle X}$en${\displaystyle D}$y cada morfismo en${\displaystyle C}$al morfismo identidad en${\displaystyle X}$Dicho functor se denomina functor constante o functor de selección .

Endofunctor

Un functor que asigna una categoría a esa misma categoría; por ejemplo, un functor polinomial .

functor identidad

El functor identidad en una categoría${\displaystyle C}$, denotado${\displaystyle 1_{C}}$o${\displaystyle \mathrm {id} _{C}}$, mapea un objeto a sí mismo y un morfismo a sí mismo. El functor identidad es un endofunctor.

functor diagonal

El functor diagonal se define como el functor de${\displaystyle D}$a la categoría de functores${\displaystyle D^{C}}$que envía cada objeto en${\displaystyle D}$al functor constante en ese objeto.

functor límite

Para una categoría de índice fijo J , si todo functor J → C tiene un límite (por ejemplo, si C es completo), entonces el functor límite C ^J → C asigna a cada functor su límite. La existencia de este functor se puede demostrar al observar que es el adjunto derecho del functor diagonal e invocar el teorema del functor adjunto de Freyd . Esto requiere una versión adecuada del axioma de elección . Observaciones similares se aplican al functor colímite (que asigna a cada functor su colímite y es covariante).

functor de conjuntos de potencia

El functor de conjunto potencia P  : Set → Set asigna a cada conjunto su conjunto potencia y a cada función${\displaystyle f\colon X\to Y}$al mapa que envía${\displaystyle U\in {\mathcal {P}}(X)}$a su imagen${\displaystyle f(U)\in {\mathcal {P}}(Y)}$. También se puede considerar el functor de conjunto de potencias contravariante que envía${\displaystyle f\colon X\to Y}$al mapa que envía${\displaystyle V\subseteq Y}$a su imagen inversa${\displaystyle f^{-1}(V)\subseteq X.}$

Por ejemplo, si${\displaystyle X=\{0,1\}}$, entonces${\displaystyle F(X)={\mathcal {P}}(X)=\{\{\},\{0\},\{1\},X\}}$. Suponer${\displaystyle f(0)=\{\}}$y${\displaystyle f(1)=X}$. Entonces${\displaystyle F(f)}$es la función que envía cualquier subconjunto${\displaystyle U}$de${\displaystyle X}$a su imagen${\displaystyle f(U)}$, en este caso${\displaystyle \{\}\mapsto f(\{\})=\{\}}$. Para los demás valores,

${\displaystyle {\begin{aligned}\{0\}\mapsto f(\{0\})&=\{f(0)\}=\{\{\}\},\\\{1\}\mapsto f(\{1\})&=\{f(1)\}=\{X\},\\\{0,1\}\mapsto f(\{0,1\})&=\{f(0),f(1)\}=\{\{\},X\}.\end{aligned}}}$

Tenga en cuenta que${\displaystyle f(\{0,1\})}$en consecuencia genera la topología trivial en${\displaystyle X}$. Tenga en cuenta también que, aunque la función${\displaystyle f}$en este ejemplo se mapeó al conjunto de potencias de${\displaystyle X}$, eso no tiene por qué ser así 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 functor contravariante de la categoría de todos los espacios vectoriales sobre un cuerpo fijo a sí misma.

Grupo fundamental

Consideremos la categoría de espacios topológicos con puntos _{, es decir ,} espacios topológicos con puntos distinguidos. Los objetos son pares ( X , x0 ) , donde X es un espacio topológico y x0 es un punto en X. Un morfismo de ( X , x0 ) _a ( Y , y0 ₎ viene dado por _una aplicación continua f : X → Y con f ( x0 ) = y0 _. 

Para cada espacio topológico X con punto distinguido x ₀ , se puede definir el grupo fundamental basado en x ₀ , denotado π ₁ ( X , x ₀ ) . Este es el grupo de clases de homotopía de lazos basados ​​en x ₀ , con la operación de grupo de concatenación. Si f  : X → Y es un morfismo de espacios con punto base , entonces cada lazo en X con punto base x ₀ puede componerse con f para producir un lazo en Y con punto base y ₀ . Esta operación es compatible con la relación de equivalencia de homotopía y la composición de lazos, y obtenemos un homomorfismo de grupo de π( X , x ₀ ) a π( Y , y ₀ ) . Obtenemos así un functor de la categoría de espacios topológicos con punto base a la categoría de grupos .

En la categoría de espacios topológicos (sin punto distinguido), se consideran clases de homotopía de curvas genéricas, pero estas no pueden componerse a menos que compartan un extremo. Por lo tanto, se tiene el grupoide fundamental en lugar del grupo fundamental, y esta construcción es funtorial.

Álgebra de funciones continuas

Un functor contravariante de la categoría de espacios topológicos (con aplicaciones continuas como morfismos) a la categoría de álgebras asociativas reales se da 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 f  : X → Y induce un homomorfismo de álgebras C( f )  : C( Y ) → C( X ) por la regla C( f )( φ ) = φ ∘ f para todo φ en C( Y ).

Fibrados tangente y cotangente

El mapa que envía toda variedad diferenciable a su fibrado tangente y toda aplicación suave a su derivada es un functor covariante de la categoría de variedades diferenciables a la categoría de fibrados vectoriales .

Al realizar estas construcciones punto por punto, se obtiene el espacio tangente , un functor covariante de la categoría de variedades diferenciables puntuales a la categoría de espacios vectoriales reales. De igual modo, el espacio cotangente es un functor contravariante, esencialmente la composición del espacio tangente con el espacio dual mencionado anteriormente.

acciones/representaciones de grupo

Todo grupo G puede considerarse como una categoría con un único objeto cuyos morfismos son los elementos de G. Un functor de G a Set no es más que una acción de grupo de G sobre un conjunto particular, es decir, un G -conjunto. Del mismo modo, un functor de G a la categoría de espacios vectoriales , Vect _K , es una representación lineal de G. En general, un functor 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 functor.

productos tensoriales

Si C denota la categoría de espacios vectoriales sobre un cuerpo fijo, con aplicaciones lineales como morfismos, entonces el producto tensorial${\displaystyle V\otimes W}$define un functor C × C → C que es covariante en ambos argumentos. ^{[ 8 ]}

functores olvidadizos

El functor U  : Grp → Set que asigna un grupo a su conjunto subyacente y un homomorfismo de grupos a su función subyacente de conjuntos es un functor. ^{[ 9 ]} Los functores como estos, que "olvidan" alguna estructura, se denominan functores olvidadizos . Otro ejemplo es el functor Rng → Ab que asigna un anillo a su grupo abeliano aditivo subyacente . Los morfismos en Rng ( homomorfismos de anillos ) se convierten en morfismos en Ab (homomorfismos de grupos abelianos).

functores libres

En dirección opuesta a los functores olvidadizos se encuentran los functores libres. El functor libre F  : Set → Grp envía cada conjunto X al grupo libre generado por X. Las funciones se mapean 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 grupos abelianos se le puede asignar el grupo abeliano Hom( A , B ) que consta de todos los homomorfismos de grupo de A a B . Este es un functor que es contravariante en el primer argumento y covariante en el segundo, es decir, es un functor Ab ^op × Ab → Ab (donde Ab denota la categoría de grupos abelianos con homomorfismos de grupo). Si f  : A ₁ → A ₂ y g  : B ₁ → B ₂ son morfismos en Ab , entonces el homomorfismo de grupo Hom( f , g ) : Hom( A ₂ , B ₁ ) → Hom( A ₁ , B ₂ ) viene dado por φ ↦ g ∘ φ ∘ f . Véase el functor Hom .

functores representables

Podemos generalizar el ejemplo anterior a cualquier categoría C. A cada par X , Y de objetos en C se le puede asignar el conjunto Hom( X , Y ) de morfismos de X a Y. Esto define un functor a Set que es contravariante en el primer argumento y covariante en el segundo , _{es decir ,} es un functor C ^op × C → Set . Si f  : X1 → X2 y g  : _Y1 → Y2 son morfismos en _C , entonces el mapa Hom( f , g ) :  Hom ( X2 _, Y1 ₎ → Hom( X1 , Y2 ) viene _dado por φ _↦ g ∘ φ ∘ f .

Los functores de este tipo se denominan functores representables . Un objetivo importante en muchos contextos es determinar si un functor dado es representable.

Sean C y D categorías. El conjunto de todos los functores de C a D forma los objetos de una categoría: la categoría de functores . Los morfismos en esta categoría son transformaciones naturales entre functores.

Los functores suelen definirse mediante propiedades universales ; ejemplos de ello son el producto tensorial , la suma directa y el producto directo de grupos o espacios vectoriales, la construcción de grupos libres y módulos, y los límites directo e inverso . Los conceptos de límite y colímite generalizan varios de los anteriores.

Las construcciones universales suelen dar lugar a pares de functores adjuntos .

Los functores aparecen a veces en la programación funcional . Por ejemplo, el lenguaje de programación Haskell tiene una claseFunctor donde fmapes una función politípica que se utiliza para mapear funciones ( morfismos en Hask , la categoría de tipos de Haskell) ^{[ 10 ]} entre tipos existentes a funciones entre algunos tipos nuevos. ^{[ 11 ]}

• Anafunctor
• Profunctor
• Categoría de functor
• Extensión Kan
• Pseudofunctor

• "Functor" , Enciclopedia de Matemáticas , EMS Press , 2001 [1994]
• Consulte el functor en el Laboratorio n y las variaciones que se discuten y enlazan allí.
• André Joyal , CatLab , un proyecto wiki dedicado a la exposición de las matemáticas categóricas.
• Hillman, Chris (2001). "Una introducción a las categorías" . CiteSeerX 10.1.1.24.3264 . Archivado del original el 3 de mayo de 1997. 
• J. Adamek, H. Herrlich, G. Stecker, Categorías abstractas y concretas: La alegría de los gatos. Archivado el 21 de abril de 2015 en Wayback Machine.
• Enciclopedia de Filosofía de Stanford : " Teoría de categorías " — por Jean-Pierre Marquis. Amplia bibliografía.
• Lista de conferencias académicas sobre teoría de categorías.
• Baez, John, 1996," El cuento de las n -categorías. " Una introducción informal a las categorías de orden superior.
• WildCats es un paquete de teoría de categorías para Mathematica . Manipulación y visualización de objetos, morfismos , categorías, functores, transformaciones naturales , propiedades universales .
• The Catsters , un canal de YouTube sobre teoría de categorías.
• Archivo de vídeo con grabaciones de charlas relevantes para las categorías, la lógica y los fundamentos de la física.
• Página web interactiva que genera ejemplos de construcciones categóricas en la categoría de conjuntos finitos.