Teoría de categoríes

La teoría de categoríes ye un estudiu matemáticu que trata d'axomatizar de forma astracta diverses estructures matemátiques como una sola, por aciu l'usu d'oxetos y morfismos. Coles mesmes trata d'amosar una nueva forma de ver les matemátiques ensin incluyir les nociones d'elementos, pertenencia, ente otres.

Una categoría con oxetos X,Y,Z y morfismos f, g, y g∘f.

Historia

La teoría de categoríes foi introducida en Topoloxía alxebraica, por Samuel Eilenberg y Saunders Mac Lane en 1942, nun importante pasu pa la transición dende homoloxía a Teoría de la homoloxía. Stanislaw Ulam afirma qu'esistíen idees asemeyaes na escuela polaca de los años 30 (ver Stanislaw Ulam).

Los desarrollos subsiguientes de la teoría fueron impulsaos poles necesidaes computacionales del Álxebra homológica y más tarde poles necesidaes axomátiques de la Xeometría alxebraica. La teoría xeneral -cierta actualización del álxebra universal con munches carauterístiques nueves que daben pie a una cierta flexibilidá en semántica y lóxiques d'orde cimeru- vieno más tarde.

Estes aplicaciones de categoríes nel campu de los fundamentos tán siendo trabayaes en bastante detalle y non solamente en matemátiques. Esisten matemáticos como William Lawvere que trabayen na física, esisten físicos trabayando en n-categoríes, John Baez. La Lóxica Categórica ye agora un campu bien definíu basáu na teoría de tipos pa la Lóxica intuicionista, con aplicaciones a la teoría de la programación funcional y la teoría de dominios, toes enmarcaes nuna categoría cartesianamente zarrada como descripciones non sintáctiques del cálculo lambda. L'usu del llinguaxe de la teoría de les categoríes déxa-y a unu esclariar qué tienen esautamente de mancomún toes estes árees.

Rellación filosófica

Escuéyese'l términu categoría de Aristóteles pero nel sentíu de Kant col enfotu de acomuñar a una forma pura pero nel contestu puramente matemáticu, esto ye, ensin efeutos fora de les matemátiques.

Funtores

Col conceutu de categoría pretende prindase -poniendo la énfasis nel conceutu de rellación (d'aplicación), más que d'elementu y pertenencia- la esencia d'una clase d'oxetos matemáticos, que se rellacionen por aciu aplicaciones, los morfismos na categoría en cuestión. Por casu, la clase de los grupos: en cuenta de estudiar los oxetos individuales (cada grupu) como se vieno faciendo, se enfatizan dichos morfismos ente ellos, que nun son otra cosa que les aplicaciones que "caltienen la so estructura". Nel exemplu de los grupos, dichos morfismos son los homomorfismos de grupos. Entós, una vegada que tenemos el nuesu "universu categorial" definíu -esto ye, una categoría- ye posible rellacionala con otres categoríes por aciu funtores, que son cierta xeneralización del conceutu de función pa categoríes: un funtor acomuña a cada oxetu d'una categoría un oxetu de la otra, y a cada aplicación de la primera una aplicación de la segunda. De cierta manera llévanos d'una imaxe de la categoría escontra la otra categoría, con ciertos graos de "afinamientu". Ciertes "construcciones naturales", como'l grupu fundamental d'un espaciu topolóxicu, pueden ser espresaes como funtores. Amás, dichos funtores tán bien de cutiu naturalmente rellacionaos y esto lleva al conceutu de tresformamientu natural.

Categoríes especiales, como los topos, tán sirviendo tamién como alternativa "generalizadora" y conceptualmente más rica de la teoría de conxuntos como fundamentu de les matemátiques ^{[ensin referencies]}.

Aproximamientu de la teoría de clases

Pa esaniciar los problemes surdíos de les paradoxes como la de Russell plantegóse'l siguiente parche a la Teoría de conxuntos:

Vamos Llamar "clase" a una agrupación d'oxetos.

Vamos Llamar "conxuntu" a les clases capaces de ser, elles mesmes, oxetos d'otres clases.

Vamos Llamar "clase mesma" a les clases incapaces de ser oxetos d'otra clase.

== Definición de categoría Complexu|1=delles definiciones y demostraciones matemátiques formales}}

${\mathcal {A}}$ ye una categoría si tien:

1) una clase ${Ob(}{\mathcal {A}})$, llamada clase d'oxetos de ${\mathcal {A}}$.

2) , pa tou $A,B\in Ob({\mathcal {A}})$, un conxuntu de morfismos de $A_{}^{}$ en $B_{}^{}$, llamáu $Mor_{\mathcal {A}}(A,B)_{}^{}$, que los sos elementos ${f}\in Mor_{\mathcal {A}}(A,B)$ escríbense como $f:A\rightarrow B$ o tamién $A{\xrightarrow {\;\;\;\;f\;\;\;\;}}B$.

3) , pa tou ${A,B,C,D}\in {Ob(}{\mathcal {A}}{)}$, y pa tou ${f}\in {Mor_{\mathcal {A}}(A,B)}$, ${g}\in {Mor_{\mathcal {A}}(B,C)}$ cumplir les siguientes propiedaes:

a) esisti ${h}\in {Mor_{\mathcal {A}}(A,C)}$ tal que $h=gf:=g\;{\circ }_{\mathcal {A}}\;f$, esto ye, tenemos l'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) propiedá asociativa na composición, ye dicir $k(gf)=(kg)f_{}^{}$, pa tou $k\in {Mor_{\mathcal {A}}(C,D)}$.

c) esistencia del morfismo identidá $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 les clases d'oxetos son solamente conxuntos, dizse que la categoría ye "pequeña" (small category). Esisten importantes categoríes que nun lo son.

Definición de subcategoría

Daes dos categoríes ${\mathcal {A}}$ y ${\mathcal {B}}$, vamos dicir que ${\mathcal {B}}$ ye una subcategoría de ${\mathcal {A}}$ si:

i) $Ob({\mathcal {B}})$ ye 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

Dizse que la subcategoría ye llena si $Mor_{\mathcal {B}}(A,B)=Mor_{\mathcal {A}}(A,B)$

Exemplos básicos

De cada categoría da'l nome, oxetos que formen la clase y morfismos propios ente dichos oxetos respeutivamente:

• La categoría Con, de tolos teoría de conxuntos conxuntos y aplicaciones ente estos.

• La categoría Top, de tolos espacios topolóxicos y les aplicaciones continues ente estos.

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

• La categoría G, de tolos grupos y los homomorfismos ente estos.

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

• La categoría Gab, de tolos grupos abelianos y los homomorfismos ente estos.

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

• La categoría Vec_K, de tolos espacios vectoriales sobre un cuerpu K y les aplicaciones lliniales ente estos.

$\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 tolos aniellos y les aplicaciones ente 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 tolos aniellos conmutativos y les aplicaciones ente estos.

$\forall A,B\in Ob(An_{c})\subset Ob(An)$ y $Mor_{AN_{c}}(A,B)=Mor_{An}(A,B).$

• Dau un conxuntu parcialmente ordenáu, $(P_{}^{},\leq )$, hai una categoría ${{\mathcal {A}}_{P}}$, de tolos elementos de $P_{}^{}$, y, $\forall X,Y\in Ob({\mathcal {A}}_{P})$, el conxuntu de morfismos vien dau por:

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

• Dada una categoría ${\mathcal {A}}$, hai una categoría llamada dual o opuesta${\mathcal {A}}^{o}$ , cola mesma clase d'oxetos y, $\forall X,Y\in Ob({\mathcal {A}}),$$\;Mor_{{\mathcal {A}}^{o}}(X,Y):=Mor_{\mathcal {A}}(Y,X).$

• Daes dos categoríes ${\mathcal {A}}$ y ${\mathcal {B}}$, hai la categoría productu ${\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 tolos módulos pela derecha sobre'l aniellu R con unidá, xunto colos sos homomorfismos de módulos. Análogamente, la categoría de los módulos pela esquierda.
• La categoría Met de tolos espacios métricos xunto a les funciones curties.
• La categoría Uni de tolos espacios uniformes xunto a los unimorfismos.
  • La categoría Ord de tolos conxuntos preordenados xunto a les funciones crecientes.
• Una categoría monoidal ye una categoría con una operación asociativa y un únicu elementu neutral con ésta operación. Los exemplos prototípicos son la categoría de conxuntos cola operación: unión dixunta y el conxuntu vacíu como elementu neutru, y la categoría d'espacios vectoriales sobre un cuerpu col productu tensorial d'espacios vectoriales y el mesmu cuerpu como l'únicu elementu neutral.
• Un grafo puede considerase como una categoría pequeña: los oxetos seríen los vértices del grafo y los morfismos los caminos nel grafo. La composición de morfismos ye la concatenación de caminos.
• Si I ye un conxuntu, la categoría: categoría discreta sobre I ye la categoría pequeña que tien como oxetos a los elementos de I y como morfismos namái a los morfismos identidá (qu'hai en toa categoría, como vais recordar).
• La categoría Mag de tolos magmes xunto colos sos homomorfismos.
  • La categoría Med de tolos magmes mediales xunto colos sos homomorfismos.
• La cat Mon, de los monoides y los sos monoide-morfismos. Usaes en TQFT, álxebres de Frobenius, cobordismo.

Definiciones pa tipos de morfismos

Dada una categoría ${\mathcal {A}}$ y oxetos $A,B\in Ob({\mathcal {A}})$, vamos dicir qu'un morfismo $f\in Mor(A,B)$ ye :

• monomorfismo si $\forall C\in Ob({\mathcal {A}})$ y $\forall g,h\in Mor(C,A)$ tales que $fg=fh_{}^{},$ siempres asocede qu'o implica que $g=h_{}^{}$.

• epimorfismo si $\forall C\in Ob({\mathcal {A}})$ y $\forall g,h\in Mor(B,C)$ tales que $gf=hf_{}^{},$ siempres asocede qu'o implica que $g=h_{}^{}$.

• isomorfismu si $\exists g\in Mor(B,A):fg=I_{B}$ y $gf=I_{A}^{}$.

• endomorfismo si $A=B_{}^{}.$
• automorfismo si $f_{}^{}$ ye un isomorfismu y $A=B_{}^{}.$

Proposición

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

• $\forall C\in Ob({\mathcal {A}})$ y $\forall g\in Mor(B,C)$ tal que $gf_{}^{}$ ye un monomorfismo, implica que $f_{}^{}$ ye un monomorfismo.

• $\forall C\in Ob({\mathcal {A}})$ y $\forall g\in Mor(C,A)$ tal que $fg_{}^{}$ ye un epimorfismo, implica que $f_{}^{}$ ye un epimorfismo.

• $\forall f$ isomorfismu, implica que ye monomorfismo y epimorfismo.

Demostración

Pal primeru, ver que $f_{}^{}$ ye un monomorfismo: Tomando $\forall h_{1},h_{2}\in Mor(C,A)$ tales que $fh_{1}=fh_{2}^{}$, entós tamién $g(fh_{1})=g(fh_{2}^{})$, por 3)b) de la definición de categoría, tenemos que $(gf)h_{1}=(gf)h_{2}^{}$ y como $gf_{}^{}$ ye monomorfismo, implica que $h_{1}=h_{2}^{}$ y tenemos por definición que $f_{}^{}$ ye un monomorfismo. Lo mesmo pal segundu, ver que $f_{}^{}$ ye epimorfismo: Tomando $\forall h_{1},h_{2}\in Mor(B,C)$ tales que $h_{1}f=h_{2}^{}f$, entós tamién $(h_{1}f)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_{}^{}$ ye un epimorfismo, implica que $h_{1}=h_{2}^{}$ y tenemos por definición que $f_{}^{}$ ye un epimorfismo. Pal terceru, si $\exists g\in Mor(B,A)$ tal que $fg=I_{B}^{}$ y $gf=I_{A}^{}$ Tomando $\forall h_{1},h_{2}\in Mor(B,C)$ tales que $fh_{1}=fh_{2}^{}$, entós tamién $g(fh_{1})=g(fh_{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}^{}$, ya implica que $f_{}^{}$ ye un monomorfismo.. Tomando $\forall h_{1},h_{2}\in Mor(B,C)$ tales que $h_{1}f=h_{2}^{}f$, entós tamién $(h_{1}f)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}^{}$, ya implica que $f_{}^{}$ ye un epimorfismo.

Nota

Esisten morfismos que son monomorfismos y epimorfismos que nun son isomorfismos.

Definiciones pa tipos d'oxetos

Dada una categoría ${\mathcal {A}}$, vamos dicir qu'un oxetu $A\in Ob({\mathcal {A}})$ ye:

• 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).$

• nulu, si ye inicial y terminal al empar.

Exemplos

• Na categoría Con, el Conxuntu vacíu ye un oxetu inicial, y tou conxuntu formáu con un únicu elementu ye un oxetu final na categoría de conxuntos.

Proposición

Dada una categoría ${\mathcal {A}}$, ente los sos oxetos iniciales/finales hai un únicu isomorfismu.

Demostración

Daos $A_{}^{}$ y $B_{}^{}$ oxetos iniciales/finales, entós los siguientes conxuntos de morfismos solo tienen un elementu: $Mor(A,A)=\{I_{A}^{}\}$ $Mor(A,B)=\{f_{}^{}\}$ $Mor(B,A)=\{g_{}^{}\}$ $Mor(B,B)=\{I_{B}^{}\}$ como $gf\in Mor(A,A)$ entós $gf=I_{A}^{}$ y como $fg\in Mor(B,B)$ entós $fg=I_{B}^{}$, por tantu ente $A_{}^{}$ y $B_{}^{}$ hai un únicu isomorfismu.

Definición de funtor

Daes dos categoríes ${\mathcal {A}}$ y ${\mathcal {B}}$, vamos dicir que $F:{\mathcal {A}}\rightarrow {\mathcal {B}}$ ye:

• 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 {B}}(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 {B}}(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

Daes tres categoríes ${\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 ye'l 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))$.

Exemplos

• Dada una categoría ${\mathcal {A}}$, vamos dicir que ye'l funtor identidá a $I:{\mathcal {A}}\rightarrow {\mathcal {A}}$ si dexa tou ${\mathcal {A}}$ igual, claramente ye un funtor covariante recurriendo a la definición.

• Daes una categoría ${\mathcal {A}}$ y una subcategoría ${\mathcal {B}}$ de ${\mathcal {A}}$, vamos dicir que ye funtor inclusión $i:{\mathcal {B}}\hookrightarrow {\mathcal {A}}$ si dexa tou ${\mathcal {B}}$ igual, claramente ye funtor covariante recurriendo a la definición.

Definiciones pa tipos de funtores

Daes dos categoríes ${\mathcal {A}}$ y ${\mathcal {B}}$, vamos dicir qu'un funtor covariante $F:{\mathcal {A}}\rightarrow {\mathcal {B}}$ ye:

• plenu si, $\forall X,Y\in Ob({\mathcal {A}}),\;F_{|Mor(X,Y)}$ ye refechu.

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

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

• mestu si, $\forall B\in Ob({\mathcal {B}}),\;\exists A\in Ob({\mathcal {A}}):B$ ye isomorfu a $F(A)_{}^{}$.

Dau un funtor covariante $F:{\mathcal {A}}\rightarrow {\mathcal {B}}$, vamos dicir que ye un isomorfismu de categoríes, si $\exists G:{\mathcal {B}}\rightarrow {\mathcal {A}}\;:\;GF=I_{\mathcal {A}}$ y $FG=I_{\mathcal {B}}$.

Definición de tresformamientu natural

Daes dos categoríes ${\mathcal {A}}$, ${\mathcal {B}}$, y dos funtores covariantes $F:{\mathcal {A}}\rightarrow {\mathcal {B}}$ y $G:{\mathcal {A}}\rightarrow {\mathcal {B}}$, hai una tresformamientu natural $\tau _{}^{}$ ente $F_{}^{}$ y $G_{}^{}$ si tien:

• , $\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)$, esto ye, el siguiente diagrama ye conmutativu:

${\begin{matrix}\;\;\;\;\;\;\;\;F(X)&{\xrightarrow {\;\;\;\;\tau _{X}\;\;\;\;}}&G(X)\;\;\;\;\;\;\;\;\\F(f)\downarrow &&\downarrow G(f)\\\;\;\;\;\;\;\;\;F(Y)&{\xrightarrow {\;\;\;\;\tau _{Y}\;\;\;\;}}&G(Y)\;\;\;\;\;\;\;\;\end{matrix}}$

Vamos Dicir qu'un morfismo $\tau _{}^{}$ ye una equivalencia si $\forall X\in Ob(A),\;\tau _{A}$ ye un isomorfismu.

Vamos Dicir qu'un funtor $F_{}^{}:{\mathcal {A}}\rightarrow {\mathcal {B}}$ ye una equivalencia si esiste un funtor $G_{}^{}:{\mathcal {B}}\rightarrow {\mathcal {A}}$ tal que $GF=I_{\mathcal {A}}$ y $FG=I_{\mathcal {B}}$, onde vamos dicir que les dos categoríes son equivalentes.

Exemplos

Espaciu vectorial dual: un exemplu d'un funtor contravariante dende la categoría de tolos espacios vectoriales reales a la categoría de tolos espacios vectoriales reales ta dau pola asignación a cada oxetu (cada espaciu vectorial real) un oxetu llamáu espaciu dual y a cada morfismo (esto ye, a cada aplicación llinial), el so dual o trespuesta.

Álxebra de les funciones continues: un funtor contravariante dende la categoría de los espacio topolóxicos (que los sos morfismos son les aplicaciones continues) a la categoría de les álxebres asociatives reales, ye dau asignando a cada espaciu topolóxicuX la álxebra C(X) de toles funciones reales continues sobre tal espaciu. Cada aplicación continua f : X → Y (morfismo na categoría d'espacios topolóxicos) induz un homomorfismo d'álxebres C(f) : C(Y) → C(X) por aciu la regla C(f)(φ) = φ o f pa tou φ en C(Y).

Homomorfismo de grupos: a cada par A, B de grupos abelianos puede asignase el grupu abeliano Hom(A,B) que consiste en toos homomorfismos de grupos dende A a B. Esto ye un funtor que ye contravariante nel primer argumentu y covariante nel segundu, esto ye, ye un funtor Ab^op x Ab → Ab (onde Ab denota la categoría de los grupos abelianos colos homomorfismos de grupos). Si f : A₁ → A₂ and g : B₁ → B₂ son morfismos en Ab, entós tiense esti homomorfismo Hom(f,g) : Hom(A₂,B₁) → Hom(A₁,B₂) dau por φ |→ g o φ o f.

Funtores 'Olvidu', o 'Forgetful': el funtor F : Ring → Ab qu'aplica un aniellu escontra'l so grupu subxacente abeliano ye un funtor qu'escaez ("forgetful"), que nos crea una imaxe de daqué más "ricu" nun oxetu más probe, con menos estructura. Los morfismos na categoría de Aniellos (homomorfismos d'aniellos) convertir en morfismos en Ab (la categoría de grupos abelianos y los sos homomorfismos).

Productos tensoriales: Si C denota la categoría de los espacios vectoriales sobre un cuerpu fitu, coles aplicaciones lliniales como morfismos, entós el productu tensorial V [símbolu] W define un funtor C × C → C que ye covariante en dambos argumentos.

Álxebres de Lie: A cada grupu de Lie real o complexu asígnase-y el so real (o complexa) Álxebra de Lie, colo que se define un funtor.

Grupu fundamental: Considera la categoría de los espacios topolóxicos con "puntos base", con "puntos distinguíos". Los oxetos son los pares (X,x), onde X ye un espaciu topolóxicu y x ye un elementu de X. Un morfismo dende (X,x) escontra (Y,y) vien dau por una aplicación continua f : X → Y tal que f(x) = y.

Pa cada espaciu topolóxicu con puntu base (X,x), vamos definir un grupu fundamental. El cual va ser un funtor dende la categoría de los espacios topolóxicos con puntos base escontra la categoría de los grupos.

Sía f una función continua dende'l intervalu unidá [0,1] escontra X tal que f(0) = f(1) = x. (Esto ye equivalente a que, f sía una aplicación continua dende'l círculu unidá nel planu complexu tal que f(1) = x.) Llamamos a tal función un llazu en X. Si f y g son llazos en X, podemos pegalos unu de siguío del otru definiendo h(t) = f(2t) cuando t percuerra [0,0.5] y h(t) = g(2(t - 0.5)) cuando t percuerra [0.5,1]. Ye fácil comprobar qu'esti h tamién ye un llazu. Si esiste una aplicación continua F(x,t) dende [0,1] × [0,1] a X tal que f(t) = F(0,t) ye un llazu y g(t) = F(1,t) ye tamién un llazu entós dizse que f y g son equivalentes. Puede probase qu'esto define una rellación d'equivalencia. La nuesa regla de composición asegura que tou vaya bien. Agora, amás, podemos ver que se tien un elementu neutru y(t) = x (una aplicación constante) y que cada llazu tien un llazu inversu. Ello ye que si f(t) ye un llazu entós f(1 - t) ye'l so inversu. El conxuntu de clases d'equivalencia de llazos forma entós un grupu (el grupu fundamental de X). Puede comprobase que l'aplicación dende la categoría d'espacios topolóxicos con puntu base a la categoría de grupos ye funtorial: un (homo/iso)morfismo topolóxicu va faese corresponder naturalmente a un (homo/iso)morfismo de grupos.

Teoría de fexes: prehaces. Si X ye un espacio topolóxicu, entós los conxuntos abiertos en X pueden ser consideraos como los oxetos d'una categoría CX; esistiendo un morfismo de O a V si y namái si O ye un subconxuntu de V. En sí mesma, esta categoría nun ye bien escitante, pero los funtores dende CX^op escontra otres categoríes, llamaos pre-faes sobre X, son interesantes. Por casu, asignando a cada conxuntu abiertu O el álxebra asociativa de les funciones reales sobre O, llógrase un pre-fexe d'álxebres sobre X.

Esti exemplu de motivación xeneralizar por aciu la considerancia de pre-fexes sobre categoríes arbitraries: un pre-fai sobre C ye un funtor definíu sobre C^op. El Lema de Yoneda da cuenta de que de cutiu una categoría C puede estendese por aciu la considerancia de la categoría de pre-faes sobre C.

La Categoría de les categoríes pequeñes: La categoría Cat tien como oxetos a toles categoríes pequeñes, y como morfismos a los funtores ente elles.

Construcciones universales

Los funtores son de cutiu definíos per mediu de propiedaes universales; como exemplos tenemos los productos tensoriales de riba, la suma direuta y el productu direutu de grupos o d'espacios vectoriales, la construcción de los grupos llibres módulos, y llendes direutos y inversos. Los conceutos de llende y colímite xeneralicen múltiples conceutos. Les construcciones universales de cutiu dan llugar a pares de funtores axuntos.

Productu

Dada una categoría ${\mathcal {A}}$ y una familia d'oxetos $\{A_{i}\}_{i\in I}$, vamos llamar productu de $\{A_{i}\}_{i\in I}$ al par $(A,\{\pi _{i}\}_{i\in I})$ onde $A\in Ob({\mathcal {A}})$ y $\{\pi _{i}\}_{i\in I}$ ye una familia de morfismos onde $\pi _{i}:A\to A_{i}\;\forall i\in I$, y tal que satisfai la condición de que pa cada familia $\{f_{i}\}_{i\in I}$, onde $f_{i}:X\to A_{i}\;\forall i\in I$, esiste un únicu morfismo $F:X\to A$ tal que $\pi _{i}F=f_{i},\;\forall i\in I.$

El productu se denota por $\prod _{i\in I}A_{i}=A$ y en particular tamién $A_{1}\times \dots \times A_{n}=A$ si $I=\{1,\;\dots ,n\}.$

Coproducto

Dada una categoría ${\mathcal {A}}$ y una familia d'oxetos $\{A_{i}\}_{i\in I}$, vamos llamar coproducto de $\{A_{i}\}_{i\in I}$ al par $(A,\{\sigma _{i}\}_{i\in I})$ onde $A\in Ob({\mathcal {A}})$ y $\{\sigma _{i}\}_{i\in I}$ ye una familia de morfismos onde $\sigma _{i}:A_{i}\to A\;\forall i\in I$, y tal que satisfai la condición de que pa cada familia $\{f_{i}\}_{i\in I}$, onde $f_{i}:A_{i}\to X\;\forall i\in I$, esiste un únicu morfismo $F:A\to X$ tal que $F\sigma _{i}=f_{i},\;\forall i\in I.$

El coproducto se denota por $\coprod _{i\in I}A_{i}=A.$

Otros conceutos y resultaos

Les definiciones de categoríes y funtores apróvennos namái de la base inicial de la álxebra categorial. Los tópicos llistaos embaxo son bien importantes. Anque hai fuertes interrellaciones ente toos ellos, l'orde en que los damos pue ser consideráu una guía pa posteriores llectures.

• tresformamientu natural: Mientres los funtores dan un camín pa pasar, imprimir una categoría n'otra, los tresformamientos naturales apróvennos d'una rellación similar ente funtores.
• El Lema de Yoneda ye unu de los resultaos más famoses de la teoría de categoríes.
• Llendes y colímites: Pa introducir ciertes construcciones como los productos (de conxuntos, de topoloxíes, d'ordes parciales, ...), na teoría, les llendes y los colímites son d'ayuda.
• funtores axuntos: Un funtor puede ser l'adxuntu pela esquierda (o pela derecha) d'otru funtor que vaya na direición opuesta. Sicasí, cuando los comparamos coles rellaciones clásiques de les aplicaciones que caltienen les estructures (inverses...), el conceutu de adjunción de funtores aparenta ser bastante astractu y xeneral. Ye de gran utilidá entá y tien rellación con munchos otros conceutos importantes, como asocede na construcción de llendes.
• equivalencia de categoríes: Pa llograr un criteriu fayadizu pa discernir si dos categoríes pueden o nun ser consideraes similares, ye necesariu atopar una noción más xeneral que'l conceutu clásicu d'isomorfismu. Les equivalencies de categoríes tán bien rellacionaes con dualidá de categoríes.
• diagrames conmutativos: Una y bones la teoría de categoríes trata usualmente con oxetos y fleches ye conveniente espresar les identidaes por aciu diagrames.

Bibliografía

Los dos testos de Lawvere son les introducciones más sencielles qu'esisten. El de Mac Lane ye unu "clásicu" nesta materia, y el Borceaux ye una pequeña enciclopedia.

• William Lawvere & Steve Schanuel, Matemátiques Conceptuales: Una primer introducción a categoríes, Sieglu 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 a la Álxebra Astracta, Lulu.
• A. J. Berrick & M. Y. Keating. Categories and Modules. Cambridge University Press. 2000.

Enllaces esternos

• Primer presentación: http://www.jstor.org/stable/1990284

• Un proyeutu que pretende empezar la divulgación en castellán ye'l d'http://arrows.ourproject.org/.

• "Category Theory" artículu n'inglés de Jean-Pierre Marquis na Stanford Encyclopedia of Philosophy [1].
• Plantía:Planetmath reference

• Datos: Q217413
• Multimedia: Category theory