Teoría de categorías

En este artículo se detectaron los siguientes problemas:

Necesita ser wikificado conforme a las convenciones de estilo de Wikipedia.
Podría ser difícil de entender para lectores interesados en el tema.

Por favor, edítalo para mejorarlo, o debate en la discusión acerca de estos problemas.

Estas deficiencias fueron encontradas el 17 de marzo de 2011.

Ejemplo de diagrama conmutativo.

La teoría de categorías es un estudio matemático que trata de axiomatizar de forma abstracta diversas estructuras matemáticas, como una sola, mediante el uso de objetos y morfismos.

Historia

La teoría de las categorías fue introducida en Topología algebraica, por Samuel Eilenberg y Saunders MacLane en 1942, en un importante paso para la transición desde homología a Teoría de la homología. Se ha reclamado^{[¿por quién?]} que existieron ideas parecidas en la escuela polaca de los años 1930 (ver Stanislaw Ulam).

Los desarrollos subsiguientes de la teoría fueron impulsados por las necesidades computacionales del Álgebra homológica y más tarde por las necesidad de axiomáticas en Geometría algebraica^{[cita requerida]}. La teoría general -cierta actualización del Álgebra universal con muchas características nuevas que daban pie a una cierta flexibilidad en semántica y lógicas de orden superior- vino más tarde.

Estas aplicaciones de categorías en el campo de los fundamentos están siendo trabajadas en bastante detalle y no solamente en matemáticas. Existen matemáticos como William Lawvere que trabajan en la física, existen físicos trabajando en n-categorías, John Baez, e incluso hay filósofos como Alain Badiou en Francia o Corfield en Inglaterra que se han visto obligados a poner sus "indagaciones" bajo las condiciones de la matemática contemporánea.

La Lógica Categórica es ahora un campo bien definido basado en la teoría de tipos para la Lógica intuicionista, con aplicaciones a la teoría de la programación funcional y la teoría de dominios, todas enmarcadas en una categoría cartesianamente cerrada como descripciones no sintácticas del cálculo lambda. El uso del lenguaje de la teoría de las categorías le permite a uno aclarar qué tienen exactamente en común todas estas áreas.

Relación Filosófica

Se elige el término categoría de Aristóteles pero en el sentido de Kant con la intención de asociarlo a una forma pura pero en el contexto exclusivamente matemático, es decir, sin efectos fuera de las matemáticas.

Categorías

Con el concepto de categoría se pretende capturar -poniendo el énfasis en el concepto de relación, de aplicación, más que de elemento y pertenencia- la esencia de una clase de objetos matemáticos, que se relacionan mediante aplicaciones, los morfismos en la categoría en cuestión. Por ejemplo, la clase de los grupos. En vez de estudiar los objetos individuales (cada grupo) como se vino haciendo, se enfatizan dichos morfismos entre ellos, que no son otra cosa que las aplicaciones que "conservan su estructura". En el ejemplo de los grupos, dichos morfismos son los homomorfismos de grupos. Entonces, una vez que tenemos nuestro "universo categorial" definido -esto es, una categoría- es posible relacionarla con otras categorías mediante funtores, que son cierta generalización del concepto de función para categorías: un funtor asocia a cada objeto de una categoría un objeto de la otra, y a cada aplicación de la primera una aplicación de la segunda. De cierto modo nos "plasma", nos lleva una imagen de la categoría hacia la otra categoría y con ciertos grados de "afinamiento". Ciertas "construcciones naturales", como el grupo fundamental de un espacio topológico, pueden ser expresadas como funtores. Además, dichos funtores están muy a menudo naturalmente relacionados y esto lleva al concepto de transformación natural.

Categorías especiales, como los topos, están sirviendo también como alternativa "generalizadora" y conceptualmente más rica de la teoría de conjuntos como fundamento de las matemáticas ^{[cita requerida]}.

Aproximación de la teoría de clases

Llamaremos "clase" a una agrupación de objetos.

Llamaremos "conjunto" a las clases capaces de ser, ellas mismas, objetos de otras clases.

Llamaremos "clase propia" a las clases incapaces de ser objetos de otra clase.

$\mathcal{A}$ es una categoría si tiene:

1) una clase de objetos de $\mathcal{A}$ , llamado ${Ob(}\mathcal{A})$ .

2) , para todo $A,B \in Ob( \mathcal{A} )$ , un conjunto de morfismos de $A_{}^{}$ en $B_{}^{}$ , llamado $Mor_{ \mathcal{A} }(A,B)_{}^{}$ , sus elementos ${f}\in Mor_{ \mathcal{A} }(A,B)$ se escriben como $f:A \rightarrow B$ o también $A \xrightarrow{\;\;\;\;f\;\;\;\;} B$ .

3) , para todo ${A,B,C,D} \in {Ob(}\mathcal{A}{)}$ , y para todo ${f}\in {Mor_{ \mathcal{A} }(A,B)}$ , ${g}\in {Mor_{ \mathcal{A} }(B,C)}$ se cumple las siguientes propiedades:

a) existe ${h}\in {Mor_{ \mathcal{A} } (A,C)}$ tal que $h=gf:=g \; {\circ}_{\mathcal{A}}\; f$ , es decir, tenemos la aplicación

$\begin{matrix} {Mor_{ \mathcal{A} } (A,B) \times{} Mor_{ \mathcal{A} } (B,C)} & \longrightarrow{} & {Mor_{ \mathcal{A} } (A,C)} \\ {(f,g)} & \mapsto & {gf} \end{matrix}$

b) propiedad asociativa en la composición, es decir $k(gf)=(kg)f_{}^{}$ , para todo $k \in {Mor_{ \mathcal{A} }(C,D)}$ .

c) existencia del morfismo identidad $I_B^{ \mathcal{A} } \in Mor_{ \mathcal{A} }(B,B)$ tal que $I_B^{ \mathcal{A} }f=f$ y $gI_B^{ \mathcal{A} }=g$ .

Nota: Si las clases de objetos son solamente conjuntos, se dice que la categoría es "pequeña" (small category). Existen importantes categorías que no lo son.

Definición de subcategoría

Dadas dos categorías $\mathcal{A}$ y $\mathcal{B}$ , diremos que $\mathcal{B}$ es una subcategoría de $\mathcal{A}$ si:

i) $Ob(\mathcal{B})$ es subclase de ${Ob(}\mathcal{A}{)}$

ii) $\forall A,B \in Ob( \mathcal{B} ), \; Mor_{ \mathcal{B} }(A,B) \subset Mor_{\mathcal{A}} (A,B)$

iii) $\forall A,B,C \in Ob( \mathcal{B} ), \; \forall f \in Mor_{\mathcal{B}}(A,B), \; \forall g \in Mor_{\mathcal{B}}(B,C)$ ,

$f \; \circ{}_{\mathcal{B}} \; g = f \; \circ{}_{\mathcal{A}} \; g$

iv) $\forall A \in Ob( \mathcal{B} ), \; I_{A}^{\mathcal{B}}=I_{A}^{\mathcal{A}}$ .

nota: Diremos que la subcategoría es llena si $Mor_{\mathcal{B}}(A,B) = Mor_{\mathcal{A}}(A,B)$

Ejemplos básicos

De cada categoría se da el nombre, objetos que forman la clase y morfismos propios entre dichos objetos respectivamente:

La categoría Con, de todos los conjuntos y aplicaciones entre estos.

La categoría Top, de todos los espacios topológicos y las aplicaciones continuas entre éstos.

$\forall A,B \in Ob(Top) \subset Ob(Con)$ y $Mor_{Top}(A,B) \subset Mor_{Con}(A,B)$ .

La categoría G, de todos los grupos y los homomorfismos entre éstos.

$\forall A,B \in Ob(G) \subset Ob(Con)$ y $Mor_{G}(A,B) \subset Mor_{Con}(A,B)$ .

La categoría Gab, de todos los grupos abelianos y los homomorfismos entre éstos.

$\forall A,B \in Ob(Gab) \subset Ob(G)$ y $Mor_{Gab}^{}(A,B) = Mor_{G}(A,B)$ .

La categoría Vec_K, de todos los espacios vectoriales sobre un cuerpo K y las aplicaciones lineales entre éstos.

$\forall A,B \in Ob(Vec_K) \subset Ob(Gab)$ y $Mor_{Vec_K}(A,B) \subset Mor_{Gab}(A,B)$ .

La categoría An, de todos los anillos y las aplicaciones entre estos.

$\forall A,B \in Ob(An) \subset Ob(Gab)$ y $Mor_{An}(A,B) \subset Mor_{Gab}(A,B)$ .

La categoría An_c, de todos los anillos conmutativos y las aplicaciones entre estos.

$\forall A,B \in Ob(An_c) \subset Ob(An)$ y $Mor_{AN_c}(A,B) = Mor_{An}(A,B)$ .

Dado un conjunto parcialmente ordenado, $(P_{}^{}, \leq )$ , hay una categoría ${\mathcal{A}_P}$ , de todos los elementos de $P_{}^{}$ , y, $\forall X,Y \in Ob( \mathcal{A}_P )$ , el conjunto de morfismos viene dado por:

$Mor(X,Y) = \begin{cases} \begin{matrix} \left\{ (X,Y) \right\} & {si X \leq Y} \\ \emptyset & {si \; no} \end{matrix} \end{cases}$ .

Dada una categoría $\mathcal{A}$ , hay una categoría llamada dual o opuesta $\mathcal{A}^o$ , con la misma clase de objetos y, $\forall X,Y \in Ob( \mathcal{A} ) , \; Mor_{\mathcal{A}^o}(X,Y) := Mor_{\mathcal{A}}(Y,X)$ .

Dadas dos categorías $\mathcal{A}$ y $\mathcal{B}$ , hay la categoría producto $\mathcal{A} \times \mathcal{B}$ , de clase $Ob( \mathcal{A} \times \mathcal{B} ) : =\left\{ (X,Y) \in Ob( \mathcal{A} ) \times Ob( \mathcal{B} ) \right\}$ y de morfismos $Mor_{\mathcal{A} \times \mathcal{B}}( (X_1,Y_1),(X_2,Y_2) ) : = \left\{ (f,g) \in Mor_{\mathcal{A}}(X_1,X_2) \times Mor_{\mathcal{B}}(Y_1,Y_2) \right\}$ .

La categoría Mod_R de todos los módulos por la derecha sobre el anillo R con unidad, junto con sus homomorfismos de módulos. Análogamente, la categoría de los módulos por la izquierda.
La categoría Met de todos los espacios métricos junto a las funciones cortas.
La categoría espacios uniformes junto a los unimorfismos.
- La categoría Ord de todos los conjuntos preordenados junto a las funciones crecientes.
Una categoría monoidal es una categoría con una operación asociativa y un único elemento neutral con ésta operación. Los ejemplos prototípicos son la categoría de conjuntos con la operación: unión disjunta y el conjunto vacío como elemento neutro, y la categoría de espacios vectoriales sobre un cuerpo con el producto tensorial de espacios vectoriales y el mismo cuerpo como el único elemento neutral.
Un grafo se puede considerar como una categoría pequeña: los objetos serían los vértices del grafo y los morfismos los caminos en el grafo. La composición de morfismos es la concatenación de caminos.
Si I es un conjunto, la categoría: categoría discreta sobre I es la categoría pequeña que tiene como objetos a los elementos de I y como morfismos únicamente a los morfismos identidad (que hay en toda categoría, como recordaréis).
La categoría Mag de todos los magmas junto con sus homomorfismos.
- La categoría Med de todos los magmas mediales junto con sus homomorfismos.
La cat monoides y sus monoide-morfismos. Usadas en TQFT, álgebras de Frobenius, cobordismo.

Definiciones para tipos de morfismos

Dada una categoría $\mathcal{A}$ y objetos $A,B \in Ob( \mathcal{A} )$ , diremos que un morfismo $f \in Mor(A,B)$ es :

monomorfismo si $\forall C \in Ob( \mathcal{A} ) \; y \; \forall g,h \in Mor(C,A) : \; fg=fh$ , siempre sucede que o implica que $g=h_{}^{}$ .

epimorfismo si $\forall C \in Ob( \mathcal{A} ) \; y \; \forall g,h \in Mor(B,C) : \; gf=hf$ , siempre sucede que o implica que $g=h_{}^{}$ .

isomorfismo si $\exists g \in Mor(B,A) : fg = I_B$ y $g f = I A$ .

endomorfismo si A = B.
automorfismo si f es un isomorfismo y A = B.

Proposición

Dada una categoría $\mathcal{A}$ , objetos $A, \; B \in Ob( \mathcal{A} )$ , y $f \in Mor(A,B)$ , se cumplen:

$\forall C \in Ob( \mathcal{A} ) \; y \; \forall g \in Mor(B,C) : \; gf$ es un monomorfismo, implica que $f_{}^{}$ es un monomorfismo.

$\forall C \in Ob( \mathcal{A} ) \; y \; \forall g \in Mor(C,A) : \; fg$ es un epimorfismo, implica que $f_{}^{}$ es un epimorfismo.

$\forall f$ isomorfismo, implica que es monomorfismo y epiporfismo.

Demostración

Para el primero, ver que $f_{}^{}$ es un monomorfismo:

Tomando $\forall h_1,h_2 \in Mor(C,A): fh_1=fh_2$ , entonces también $g (f h_1) = g (f h_2^{})$ , por 3)b) de la definición de categoría, tenemos que $(g f) h_1 = (g f) h_2^{}$ y como $gf_{}^{}$ es monomorfismo, implica que $h_1 = h_2^{}$ y tenemos por definición que $f_{}^{}$ es un monomorfismo.

Lo mismo para el segundo, ver que $f_{}^{}$ es epimorfismo:

Tomando $\forall h_1,h_2 \in Mor(B,C): h_1f=h_2f$ , entonces también $(h_1 f) g = (h_2^{} f) g$ , por 3)b) de la definición de categoría, tenemos que $h_1 ( f g ) = h_2^{} ( f g )$ y como $fg_{}^{}$ es un epimorfismo, implica que $h_1 = h_2^{}$ y tenemos por definición que $f_{}^{}$ es un epimorfismo.

Para el tercero, si $\exists g \in Mor(B,A) : fg = I_B y gf = I_A$

Tomando $\forall h_1,h_2 \in Mor(B,C): fh_1=fh_2$ , entonces tambíen $g ( f h_1) = g ( f h_2^{})$ , por 3)b) de la definición de categoría, tenemos que $(gf) h_1= (gf) h_2^{}$ y como $gf_{}^{}=I_A$ , implica que $I_A h_1 = I_A h_2^{}$ , implica que $h_1=h_2^{}$ , e implica que $f_{}^{}$ es un monomorfismo..

Tomando $\forall h_1,h_2 \in Mor(B,C): h_1f=h_2f$ , entonces tambíen $( h_1f) g=(h_2^{}f ) g$ , por 3)b) de la definición de categoría, tenemos que $h_1(fg) = h_2^{}(fg)$ y como $fg_{}^{}=I_B$ , implica que $h_1 I_B=h_2 I_B^{}$ , implica que $h_1=h_2^{}$ , e implica que $f_{}^{}$ es un epimorfismo.

nota: Existen morfismos que son monomorfismos y epimorfismos que no son isomorfismos.

Definiciones para tipos de objetos

Dada una categoría $\mathcal{A}$ , diremos que un objeto $A \in Ob( \mathcal{A} )$ es:

inicial si $\forall B \in Ob( \mathcal{A} ), \exists ! f \in Mor(A,B)$ .

final, si $\forall B \in Ob( \mathcal{A} ), \exists ! f \in Mor(B,A)$ .

cero, si es inicial y terminal a la vez.

Ejemplos

En la categoría Con, el Conjunto vacío es un objeto inicial, y todo conjunto formado con un único elemento es un objeto final en la categoría de conjuntos.

Definición de funtor

Dadas dos categorías $\mathcal{A}$ y $\mathcal{B}$ , diremos que $F: \mathcal{A} \rightarrow \mathcal{B}$ es:

funtor covariante si:

1), $\forall A \in Ob( \mathcal{A} )$ , tenemos que $F(A) \in Ob( \mathcal{B} )$ .

2), $\forall X,Y \in Ob( \mathcal{A} ), \; \forall f \in Mor_{ \mathcal{A} }(X,Y)$ , tenemos que $F(f) \in Mor_{ \mathcal{A} }( F(X) , F(Y) )$ tal que:

a), $\forall A \in Ob( \mathcal{A} )$ , tenemos que

F (I A) = I F (A)

b), $\forall X,Y,Z \in Ob( \mathcal{A} ), \; \forall f \in Mor_{ \mathcal{A} }(X,Y) , \; \forall g \in Mor_{ \mathcal{A} }(Y,Z)$ ,

$F(g \; {\circ}_{\mathcal{A}}\; f )=F(g) \; {\circ}_{\mathcal{B}}\; F(f)$ .

funtor contravariante si:

1), $\forall A \in Ob( \mathcal{A} )$ , tenemos que $F(A) \in Ob( \mathcal{B} )$ .

3), $\forall X,Y \in Ob( \mathcal{A} ), \; \forall f \in Mor_{ \mathcal{A} }(X,Y)$ , tenemos que $F(f) \in Mor_{ \mathcal{A} }( F(Y) , F(X) )$ tal que:

a), $\forall A \in Ob( \mathcal{A} )$ , tenemos que

F (I A) = I F (A)

b), $\forall X,Y,Z \in Ob( \mathcal{A} ), \; \forall f \in Mor_{ \mathcal{A} }(X,Y) , \; \forall g \in Mor_{ \mathcal{A} }(Y,Z)$ ,

$F(g \; {\circ}_{\mathcal{A}}\; f )=F(f) \; {\circ}_{\mathcal{B}}\; F(g)$ .

Nota: Dadas tres categorías $\mathcal{A}, \; \mathcal{B}, \; \mathcal{C}$ , y dos funtores covariantes $F: \mathcal{A} \rightarrow \mathcal{B}$ y $G: \mathcal{B} \rightarrow \mathcal{C}$ , la composición es el funtor covariante $GF: \mathcal{A} \rightarrow \mathcal{C}$ tal que:

, $\forall X \in Ob( \mathcal{A} ), \; GF(X) = G(F(X))$

, $\forall f \in Mor_{ \mathcal{A} }, \; GF(f) = G(F(f))$ .

Ejemplos

Dada una categoría $\mathcal{A}$ , diremos que es el funtor identidad a $I: \mathcal{A} \rightarrow \mathcal{A}$ si deja todo $\mathcal{A}$ igual, claramente es un funtor covariante recurriendo a la definición.

Dadas una categoría $\mathcal{A}$ y una subcategoría $\mathcal{B}$ de $\mathcal{A}$ , diremos que es funtor inclusión $i: \mathcal{B} \hookrightarrow \mathcal{A}$ si deja todo $\mathcal{B}$ igual, claramente es funtor covariante recurriendo a la definición.

Definiciones para tipos de funtores

Dadas dos categorías $\mathcal{A}$ y $\mathcal{B}$ , diremos que un funtor covariante $F: \mathcal{A} \rightarrow \mathcal{B}$ es:

pleno si, $\forall X,Y \in Ob( \mathcal{A} ), \; F_{|Mor(X,Y)}$ es exhaustivo.

fiel si, $\forall X,Y \in Ob( \mathcal{A} ), \; F_{|Mor(X,Y)}$ es inyectivo.

plenamente fiel si, $\forall X,Y \in Ob( \mathcal{A} ), \; F_{|Mor(X,Y)}$ es biyectivo.

denso si, $\forall B \in Ob( \mathcal{B} ), \; \exists A \in Ob( \mathcal{A} ) : B$ es isomorfo a $F(A)_{}^{}$ .

Dado un funtor covariante $F: \mathcal{A} \rightarrow \mathcal{B}$ , diremos que es un isomorfismo de categorías, si $\exists G: \mathcal{B} \rightarrow \mathcal{A}\; : \; GF = I_{ \mathcal{A} }$ y $FG = I_{ \mathcal{B} }$ .

Definición de transformación natural

Dadas dos categorías $\mathcal{A}$ , $\mathcal{B}$ , y dos funtores covariantes $F: \mathcal{A} \rightarrow \mathcal{B}$ y $G: \mathcal{A} \rightarrow \mathcal{B}$ , hay una transformación natural $\tau_{}^{}$ entre $F_{}^{}$ y $G_{}^{}$ si tiene:

, $\forall X \in Ob( \mathcal{A} )$ , un morfismo $\tau_X : F(X) \rightarrow G(X)$

, $\forall f \in Mor_{ \mathcal{A} }(X,Y), \; G(f) \tau_X = \tau_Y F(f)$ , es decir, el siguiente diagrama es conmutativo:

$\begin{matrix} F(X) & \xrightarrow{\;\;\; \tau_X \;\;\;} & G(X) \\ F(f) \downarrow{\;\;\;\;\;\;\;} & & {\;\;\;\;\;\;\;}\uparrow G(f) \\ F(Y) & \xrightarrow{\;\;\; \tau_Y \;\;\;} & G(Y) \end{matrix}$

Diremos que un morfismo $\tau_{}^{}$ es una equivalencia si $\forall X \in Ob( A ), \; \tau_A$ es un isomorfismo.

Diremos que un funtor $F_{}^{}: \mathcal{A} \rightarrow \mathcal{B}$ es una equivalencia si existe un funtor $G_{}^{} : \mathcal{B} \rightarrow \mathcal{A}$ tal que $GF = I_{ \mathcal{A} }$ y $FG = I_{ \mathcal{B} }$ , donde diremos que las dos categorías son equivalentes.

Ejemplos

Espacio vectorial dual: un ejemplo de un funtor contravariante desde la categoría de todos los espacios vectoriales reales a la categoría de todos los espacios vectoriales reales está dado por la asignación a cada objeto (cada espacio vectorial real) un objeto llamado espacio dual y a cada morfismo (esto es, a cada aplicación lineal), su dual o traspuesta.

Álgebra de las funciones continuas: un funtor contravariante desde la categoría de los espacios topológicos (cuyos morfismos son las aplicaciones continuas) a la categoría de las álgebras asociativas reales, es dado asignando a cada espacio topológicoX el álgebra C(X) de todas las funciones reales continuas sobre tal espacio. Cada aplicación continua f : X → Y (morfismo en la categoría de espacios topológicos) induce un homomorfismo de álgebras C(f) : C(Y) → C(X) mediante la regla C(f)(φ) = φ o f para todo φ en C(Y).

Homomorfismo de grupos: a cada par A, B de grupos abelianos se puede asignar el grupo abeliano Hom(A,B) que consiste en todos homomorfismos de grupos desde A a B. Esto es un funtor que es contravariante en el primer argumento y covariante en el segundo, esto es, es un funtor Ab^op x Ab → Ab (donde Ab denota la categoría de los grupos abelianos con los homomorfismos de grupos). Si f : A₁ → A₂ and g : B₁ → B₂ son morfismos en Ab, entonces se tiene este homomorfismo Hom(f,g) : Hom(A₂,B₁) → Hom(A₁,B₂) dado por φ |→ g o φ o f.

Funtores 'Olvido', o 'Forgetful': el funtor F : Ring → Ab que aplica un anillo hacia su grupo subyacente abeliano es un funtor que olvida ("forgetful"), que nos crea una imagen de algo más "rico" en un objeto más pobre, con menos estructura. Los morfismos en la categoría de Anillos (homomorfismos de anillos) se convierten en morfismos en Ab (la categoría de grupos abelianos y sus homomorfismos).

Productos tensoriales: Si C denota la categoría de los espacios vectoriales sobre un cuerpo fijado, con las aplicaciones lineales como morfismos, entonces el producto tensorial V [símbolo] W define un funtor C × C → C que es covariante en ambos argumentos.

Álgebras de Lie: A cada grupo de Lie real o complejo se le asigna su real (o compleja) Álgebra de Lie, con lo que se define un funtor.

Grupo fundamental: Considera la categoría de los espacios topológicos con "puntos base", con "puntos distinguidos". Los objetos son los pares (X,x), donde X es un espacio topológico y x es un elemento de X. Un morfismo desde (X,x) hacia (Y,y) viene dado por una aplicación continua f : X → Y tal que f(x) = y.

Para cada espacio topológico con punto base (X,x), definiremos un grupo fundamental. El cual va a ser un funtor desde la categoría de los espacios topológicos con puntos base hacia la categoría de los grupos.

Sea f una función continua desde el intervalo unidad [0,1] hacia X tal que f(0) = f(1) = x. (Esto es equivalente a que, f sea una aplicación continua desde el círculo unidad en el plano complejo tal que f(1) = x.) Llamamos a tal función un lazo en X. Si f y g son lazos en X, podemos pegarlos uno a continuación del otro definiendo h(t) = f(2t) cuando t recorra [0,0.5] y h(t) = g(2(t - 0.5)) cuando t recorra [0.5,1]. Es fácil comprobar que este h también es un lazo. Si existe una aplicación continua F(x,t) desde [0,1] × [0,1] a X tal que f(t) = F(0,t) es un lazo y g(t) = F(1,t) es también un lazo entonces se dice que f y g son equivalentes. Se puede probar que esto define una relación de equivalencia. Nuestra regla de composición asegura que todo vaya bien. Ahora, además, podemos ver que se tiene un elemento neutro e(t) = x (una aplicación constante) y que cada lazo tiene un lazo inverso. De hecho, si f(t) es un lazo entonces f(1 - t) es su inverso. El conjunto de clases de equivalencia de lazos forma entonces un grupo (el grupo fundamental de X). Se puede comprobar que la aplicación desde la categoría de espacios topológicos con punto base a la categoría de grupos es funtorial: un (homo/iso)morfismo topológico se hará corresponder naturalmente a un (homo/iso)morfismo de grupos.

Teoría de haces: prehaces. Si X es un espacio topológico, entonces los conjuntos abiertos en X pueden ser considerados como los objetos de una categoría C_X; existiendo un morfismo de U a V si y sólo si U es un subconjunto de V. En sí misma, esta categoría no es muy excitante, pero los funtores desde C_X^op hacia otras categorías, llamados pre-haces sobre X, son interesantes. Por ejemplo, asignando a cada conjunto abierto U el álgebra asociativa de las funciones reales sobre U, se obtiene un pre-haz de álgebras sobre X.

Este ejemplo de motivación se generaliza mediante la consideración de pre-haces sobre categorías arbitrarias: un pre-haz sobre C es un funtor definido sobre C^op. El Lema de Yoneda da cuenta de que a menudo una categoría C puede extenderse mediante la consideración de la categoría de pre-haces sobre C.

La Categoría de las categorías pequeñas: La categoría Cat posee como objetos a todas las categorías pequeñas, y como morfismos a los funtores entre ellas.

Construcciones universales

Los funtores son a menudo definidos por medio de propiedades universales; como ejemplos tenemos los productos tensoriales de arriba, la suma directa y el producto directo de grupos o de espacios vectoriales, la construcción de los grupos libres módulos, y límites directos e inversos. Los conceptos de límite y colímite generalizan múltiples conceptos. Las construcciones universales a menudo dan lugar a pares de funtores adjuntos.

Otros conceptos y resultados

Las definiciones de categorías y funtores nos proveen sólo de la base inicial del álgebra categorial. Los tópicos listados abajo son muy importantes. Aunque hay fuertes interrelaciones entre todos ellos, el orden en que los damos puede ser considerado una guía para posteriores lecturas.

transformación natural: Mientras los funtores dan un camino para pasar, imprimir una categoría en otra, las transformaciones naturales nos proveen de una relación similar entre funtores.
El Lema de Yoneda es uno de los resultados más famosos de la teoría de categorías.
Límites y colímites: Para introducir ciertas construcciones como los productos (de conjuntos, de topologías, de órdenes parciales, ...), en la teoría, los límites y los colímites son de ayuda.
funtores adjuntos: Un funtor puede ser el adjunto por la izquierda (o por la derecha) de otro funtor que vaya en la dirección opuesta. Sin embargo, cuando los comparamos con las relaciones clásicas de las aplicaciones que preservan las estructuras (inversas...), el concepto de adjunción de funtores aparenta ser bastante abstracto y general. Es de gran utilidad aún y tiene relación con muchos otros conceptos importantes, como ocurre en la construcción de límites.
equivalencia de categorías: Para obtener un criterio adecuado para discernir si dos categorías pueden o no ser consideradas similares, es necesario encontrar una noción más general que el concepto clásico de isomorfismo. Las equivalencias de categorías están muy relacionadas con dualidad de categorías.
diagramas conmutativos: Ya que la teoría de categorías trata usualmente con objetos y flechas es conveniente expresar las identidades mediante diagramas.

Bibliografía

Los dos textos de Lawvere son las introducciones más sencillas que existen. El de Mac Lane es uno "clásico" en esta materia, y el Borceaux es una pequeña enciclopedia.

William Lawvere & Steve Schanuel, Matemáticas Conceptuales: Una primera introducción a categorías, Siglo XXI, 2002 (traducción de Marmolejo Rivas, Francisco a partir de Conceptual Mathematics: A First Introduction to Categories, Cambridge University Press, Cambridge, 1997).
William Lawvere & Steve Schanuel, Sets for mathematics, Cambridge University Press, 2003.
Saunders Mac Lane (1998): Categories for the Working Mathematician, Graduate Texts in Mathematics 5, Springer; ISBN 0-387-98403-8
Francis Borceux. Handbook of Categorical Algebra, volumes 50-52 of Encyclopedia of Mathematics and its Applications. Cambridge University Press, 1994.
Juan Francísco Escamilla Castillo. Introducción al Álgebra Abstracta, Lulu.

Enlaces externos

Primera presentación: http://www.jstor.org/pss/1990284?searchUrl=%2Faction%2FdoBasicSearch%3FQuery%3Dcategory%2BSaunders%2BMacLane%2BSamuel%2BEilenberg%26gw%3Djtx%26prq%3Dcategory%2BSaunders%2BMacLane%26hp%3D25%26wc%3Don

Un proyecto en castellano que pretende comenzar la divulgación en castellano es el de:

http://arrows.ourproject.org/

"Category Theory" artículo en inglés de Jean-Pierre Marquis en la Stanford Encyclopedia of Philosophy [1].
Category Theory. en PlanetMath

Categoría:

Teoría de categorías

Wikimedia foundation. 2010.

Игры ⚽ Поможем решить контрольную работу

Mira otros diccionarios:

Anexo:Glosario de teoría de categorías — Esto es una lista de tópicos en Teoría de categorías. Contenido 1 Categorías concretas 2 Objetos 3 Morfismos 4 Funtores … Wikipedia Español
Límite (teoría de categorías) — En este artículo sobre matemáticas se detectaron los siguientes problemas: Necesita ser wikificado conforme a las convenciones de estilo de Wikipedia. Carece de fuentes o referencias que aparezcan en una fuente acreditada … Wikipedia Español
Estructura (teoría de categorías) — Saltar a navegación, búsqueda En matemática, a menudo, el progreso consiste en reconocer la misma estructura en diversos contextos de modo que un método que la aprovecha tenga múltiples usos. De hecho, ésta es una manera normal de proceder; en… … Wikipedia Español
Teoría del orden — La teoría del orden es una rama de la matemática que estudia varias clases de relaciones binarias que capturan la noción intuitiva del orden matemático. Este artículo da una introducción detallada a este campo e incluye algunas de las… … Wikipedia Español
Teoría de haces — En matemática, un haz F sobre un espacio topológico dado, X, proporciona, para cada conjunto abierto U de X, un conjunto F(U), de estructura más rica. A su vez dichas estructuras: F(U), son compatibles con la operación de restricción desde un… … Wikipedia Español
Teoría de grupos — Diagrama de Cayley del grupo libre de orden dos. En álgebra abstracta, la teoría de grupos estudia las estructuras algebraicas conocidas como grupos. Sus objetivos son, entre otros, la clasificación de los grupos, sus propiedades y sus… … Wikipedia Español
Teoría polivagal — La Teoría polivagal es una teoría neurofisiológica, psicofisiológica y filogenética enunciada por el Doctor Stephen W. Porges, de la Universidad de Illinois en 1995.[1] Según esta teoría, gran parte de la conducta social y las emociones tienen… … Wikipedia Español
Teoría Queer — Saltar a navegación, búsqueda La Teoría Queer es una hipótesis sobre el género que afirma que la orientación sexual y la identidad sexual o de género de las personas son el resultado de una construcción social y que, por lo tanto, no existen… … Wikipedia Español
Teoría simbiogenética — Saltar a navegación, búsqueda La Teoría simbiogenética es una teoría sobre la evolución que propone que la mayoría de la novedad biológica proviene de procesos simbiogenéticos. La simbiogénesis, como fuente de diversidad, ha sido postulada desde… … Wikipedia Español
Teoría de la Relatividad — Saltar a navegación, búsqueda Con el nombre de Teoría de la Relatividad se engloban generalmente dos cuerpos de investigación en ciencias físicas, usualmente conectadas con las investigaciones del físico Albert Einstein: su Teoría de la… … Wikipedia Español

Los diccionarios y las enciclopedias sobre el Académico

Teoría de categorías

Contenido

Historia

Relación Filosófica

Categorías

Aproximación de la teoría de clases

Definición de subcategoría

Ejemplos básicos

Definiciones para tipos de morfismos

Proposición

Definiciones para tipos de objetos

Ejemplos

Definición de funtor

Ejemplos

Definiciones para tipos de funtores

Definición de transformación natural

Ejemplos

Construcciones universales

Otros conceptos y resultados

Bibliografía

Enlaces externos

Mira otros diccionarios:

Compartir el artículo y extractos

Los diccionarios y las enciclopedias sobre el Académico

Wikipedia Español

Teoría de categorías

Contenido

Historia

Relación Filosófica

Categorías

Aproximación de la teoría de clases

Definición de subcategoría

Ejemplos básicos

Definiciones para tipos de morfismos

Proposición

Definiciones para tipos de objetos

Ejemplos

Definición de funtor

Ejemplos

Definiciones para tipos de funtores

Definición de transformación natural

Ejemplos

Construcciones universales

Otros conceptos y resultados

Bibliografía

Enlaces externos

Mira otros diccionarios:

Compartir el artículo y extractos

Link directo