CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

INTRODUCCIN A LAS CATEGORAS Y FUNTORES

1. DEFINICIONES 2. LOS AXIOMAS DE BIRKOFF-MCLANE 3. ALGUNOS TEOREMAS BSICOS

MARCHENA, ABRIL 2001

DIVULGACION DE LA MATEMTICA EN LA RED

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

1. DEFINICIONES:

Definicin 1.1. Se llama categora a toda clase, , tal que todo par ordenado, (a,b), elementos tenga asociado un conjunto. Los elementos de la clase se llaman objetos de la categora. Los elementos del conjunto asociado al par ordenado de objetos (a, b) se llaman morfismos de dominio a y codominio b, Se representa por (a,b) el conjunto de todos los morfismos asociados al par (a,b) de la categora . Una categora tal que la clase de sus objetos es un conjunto se llama pequea categora. Definicin 1.2. Se llama funcin-objeto de la categora en la categora a toda funcin F0 de en . O sea: F 0 funcin-objeto de la categora en la categora rel F0 ( a,a,a)((a,a) F 0 (a,a) F 0 a = a) (a a a ) Si (a, a) F 0 , representaremos por a = F0 a. Se llama funcin-morfismo covariante asociada a la funcin-objeto F0 , definida de la categora en la categora , a toda funcin Fm1 de (a, b) en (F0 a, F0 b). O sea: F m1 funcin-morfismo covariante asociada a F0 rel Fm1 ( f,f,f)((f,f) F m1 (f,f) F m1 f = f) (f (a, b) f (F0 a, F0 b) f (F0 a, F0 b)) Se llama funcin-morfismo contravariante asociada a la funcin-objeto F0 , definida de la categora en la categora , a toda funcin Fm2 de (a,b) en (F0 b, F0 a). O sea: F m2 funcin-morfismo contravariante asociada a F0 rel Fm2 ( f,f,f)((f,f) F m2 (f,f) F m2 f = f) (f (a,b) f (F0 b, F0 a) f (F0 b, F0 a)) Definicin 1.3. Se llama funtor covariante de la categora en la categora al par formado por una funcin-objeto y una funcin-morfismo covariante asociada. de sus

MARCHENA, ABRIL 2001

DIVULGACION DE LA MATEMTICA EN LA RED

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

Se llama funtor contravariante de la categora en la categora al par formado por una funcin-objeto y una funcin-morfismo contravariante asociada. Representamos en general: Funtor covariante: Funtor contravariante: Definicin 1.4. Una categora 0 e dice subcategora de otra categora , si, y solo si, se verifica que 1) 0 2) (a,b)0 Definicin 1.5. Una categora op se dice opuesta de otra categora si, y solo si, se verifica que 1) op = = (b,a) (a,b), (a,b) 0 . (F0 , F m1 ) (F0 , F m2 )

2) (a,b) Definicin 1.6.

Un objeto I es un objeto inicial de la categora si, y solo si, para todo objeto a de existe un nico morfismo f (I,a) O sea: I es objeto inicial de ( a)(a )( f nico)(f (I,a)) Un objeto F es un objeto final de la categora si, y solo si, para todo objeto a de existe un nico morfismo f (a,F) O sea: F es objeto final de ( a)(a )( f nico)(f (a,F))

MARCHENA, ABRIL 2001

DIVULGACION DE LA MATEMTICA EN LA RED

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

2. LOS AXIOMAS DE BIRKOFF-MCLANE: El sistema bsico de los axiomas de Birkoff y McLane consta de cuatro axiomas referidos a categoras y de dos axiomas que se refieren a funtores. Axioma 1: Axioma de la existencia de los morfismos: Para todo par de objetos de una categora existe un conjunto de morfismos asociado.

( a, b )( a , b , ( a, b) C ( a, b) f (a , b) f :a b

Axioma 2: Axioma de composicin de morfismos: Para toda terna de objetos, a, b, c, de una categora existe una ley de composicin que asocia un nico morfismo de (a,c) a cada par ordenado de morfismos del producto (b,c) x (a,b).

( f , g )( f (b, c) , g ( a, b) , h ( a, c) unico / f g = f ) f (b, c) , g ( a, b ) , h (a , c )

Axioma 3: Axioma de Asociatividad: La ley de composicin de morfismos es asociativa.

( a, b, c )( f (b, c) , g ( a, b) , h (d , a) , ( fg )h = f ( gh ))

MARCHENA, ABRIL 2001

DIVULGACION DE LA MATEMTICA EN LA RED

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

Axioma 4: Axioma del morfismo identidad: Para todo objeto a de una categora existe al menos un morfismo, Ia , que tiene el objeto a por dominio y tambin por codominio y es elemento neutro respecto de la ley de composicin de morfismos.

a , I a ( a, a ) / ( foI a = f , f ( a, b) , b ) ( I a g = g , g (c, a ) , c )

Axioma 5: Axioma funtorial sobre identidad: Dadas dos categoras, y , la funcin F: y un objeto cualquiera, a, de la categora , se cumple que la identidad IFA coincide con FIa.

( a)( a , FI a = I Fa )

Axioma 6 (1): Axioma del funtor covariante: Dadas las categoras y , y el funtor covariante F: , se tiene que la composicin de las imgenes de cualquier par de morfismos coincide con la imagen de la composicin de los mismos en el orden dado.

( f , g)( f ( b, c ) g ( a, b ) , F(fg ) = F(f )F(g ))

MARCHENA, ABRIL 2001

DIVULGACION DE LA MATEMTICA EN LA RED

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

Axioma 6 (2): Axioma del funtor contravariante: Dadas las categoras y , y el funtor contravariante F: , se tiene que la composicin de las imgenes de cualquier par de morfismos coincide con la imagen de la composicin de los mismos en orden contrario del dado.

( f , g)( f ( b, c ) g ( a, b ) , F(fg ) = F(g )F(f ))

MARCHENA, ABRIL 2001

DIVULGACION DE LA MATEMTICA EN LA RED

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

3. ALGUNOS TEOREMAS BSICOS: Teorema 3.1.

a , Ia nico
En efecto: Supongamos que hay dos morfismos identidad. Se tiene: Ia o Ia = Ia o Ia = Ia = Ia Teorema 3.2. Todo conjunto ordenado P puede considerarse una pequea categora. En efecto: Si es P = {a, b, c, ... } un conjunto ordenado, sus morfismos se pueden definir as: (x,y) (x,y) puesto que si x y (x,x) (y,y) Teorema 3.3. Toda pequea categora, , en la que cada conjunto de morfismos es una clase unitaria y todo morfismo invertible es la identidad puede considerarse un conjunto ordenado. En efecto: Sea P el conjunto cuyos elementos son los objetos de la categora: P = {a, b, c, ... }. Definimos en P la relacin del modo siguiente: = {f} = xy

x>y x = y, se tiene

y x = {Ix } = {Iy }

x, y P, x y ( x, y)
tal relacin en P es de rden: - Es reflexiva:

x P, i x ( x , x ) ( x, x)
- Es antisimtrica:

( x, y ) = { f } x, y P, f , g morfismos inversible s f = g = i (i : identidad ) ( y , x ) = {g } i ( x, x) = ( y , y ) x = y

- Es transitiva:

MARCHENA, ABRIL 2001

DIVULGACION DE LA MATEMTICA EN LA RED

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

x y ( x, y ) = { f } x, y P , ( x, z ) = { fog } x z y z ( y , z ) = { g }
Definicin 3.1. (Definicin de isomorfismo) a) Sea una categora. Se dice que f (a, b) es un isomorfismo sii existe otro morfismo g (b,a) tal que fog = ib y gof = ia . O sea: f (a, b) isomorfismo g (b,a) / fog = ib gof = ia b) Dos objetos, a, b, de la categora se dice que son isomorfos, sii existe un isomorfismo f (a, b) . O sea: a, b isomorfos ( f)( f (a,b) f isomorfismo) Teorema 3.4. Si un morfismo, f, admite inverso, g, tal inverso es nico. En efecto: Supongamos que hay dos inversos, g1 , y g2 :

g 1 , g 2 (a , b) / fog1 = fog 2 = i b g1 of = g 2 of = i a g1 o( fog 2 ) = g1 o ( fog1 ) ( g 1 of )og 2 = ( g1 of )og1 i a og 2 = i a og 1 g 2 = g 1

Definicin 3.2. (Definicin de monomorfismo) Un morfismo m (a, b) es un monomorfismo sii se cumple que mof = mof f = f, siendo f y f morfismos de (b, a). O sea:

m (a , b) monomorfismo (f , f ' )( f (b, a ) f ' (b, a) ( mof = mof ' f = f ' ))

Teorema 3.5. . En efecto: Sea m (a, b) invertible por la izquierda m monomorfismo

m1 (b, a) / m1 om = i a ( f 1 , f 2 )( f 1 (b, a ) f 1 (b, a ) mf 1 = mf 2 m1( mf 1 ) = m1 o( mof 2 ) (m1m)f 1 = (m1 om) of 2 f 1 = f 2

Definicin 3.3. (Definicin de epimorfismo)

e ( a, b ) epimorfism o (f , f ' )( f (b, a ) f ' (b, a) ( foe = f ' oe f = f ' ))

Teorema 3.6. . e (a, b) invertible por la derecha e epimorfismo En efecto: Sea e1 (b, a )

/ eoe1 = i a ( f 1 , f 2 )( f 1 (b, a ) f 1 (b, a ) f 1 oe = f 2 oe ( f 1 oe )oe1 = ( f 2 oe) oe1 f 1 o(eoe1 ) = f 2 o( eoe1 ) f 1 = f 2

MARCHENA, ABRIL 2001

DIVULGACION DE LA MATEMTICA EN LA RED

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

Teorema 3.7. a) Si en una categora existen dos objetos iniciales, son isomorfos. b) Si en una categora existen dos objetos finales, son isomorfos. En efecto: a) Sean I y T dos objetos iniciales de la categora :

(f1 , f 2 uni cos )( f1 ( I , a)

f 2 (T , a) ) (h, h')( h (T , I ) h' ( I , T )

f = ( f 2 oh' ) oh = f 2 o( h' oh ) I T = h' oh f 2 = f 1 oh f1 = f 2 oh ' ) 2 h ' oh = f 1 = ( f 1 oh)oh ' = f 1 o( hoh' ) I I = hoh' = hoh ' = I T = I I h, h' inversible s h.h' isomorfism os I , T objetos isomorfos
b) Anlogamente, en el caso de dos objetos finales. Definicin 3.4. (Funtores isomorfismo, monomorfismo, epimorfismo) a) Un funtor isomorfismo es un funtor para el cual la funcin-objeto y la funcinmorfismo son biyecciones. b) Un funtor monomorfismo es un funtor para el cual la funcin-objeto y la funcin-morfismo son inyecciones. c) Un funtor epimorfismo es un funtor para el cual la funcin-objeto y la funcinmorfismo son suprayecciones. Teorema 3.8. Dados dos funtores, F: y G: , la funcin compuesta GoF: es un funtor covariantes si F y G tienen la misma variancia (ambos son covariantes o bien ambos son contravariantes), y es un funtor contravariantes si F y G tienen distinta variancia (uno es covariante y el otro es contravariante). En efecto: Bastar hacer una comprobacin trivial, tanto con la funcin-objeto de cada funtor, como con la correspondiente funcin-morfismo, en los cuatro casos posibles: que ambos funtores sean covariantes, que el primero sea covariante y el segundo contravariante, que el primero sea contravariante y el segundo covariante, y, finalmente, que ambos sean contravariantes.

Definicin 3.5. (Categora producto) Se llama categora producto de las categoras y a una categora cuyos objetos y morfismos se definen de la siguiente manera: Los objetos X son los pares ordenados (x, x) donde x y x :

x = {( x, x ') / x x ' '}

MARCHENA, ABRIL 2001

DIVULGACION DE LA MATEMTICA EN LA RED

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

Los morfismos fp (X, Y)X , con X = (x, x) x , Y = (y, y) x , son los pares (f, f) donde f (x, y), f (x, y) :

f p ( X, Y) x f p = {(f , f ' ) / f ( x, y) f ' ( x' , y' ) ' X = ( x, x ' ) x ' Y = ( y, y ' ) x ' }
cumpliendo la ley de composicin:

f p xg p = (f , f ' )(g , g ' ) = (fg, f ' g')

Teorema 3.9. Se verifican los axiomas B-M para la categora producto. En efecto: Es una comprobacin trivial.

Definicin 3.6. (Funtor producto) Se llama difuntor o funtor producto de los funtores F: G: al funtor H = F x G: x Teorema 3.10. Se verifican los axiomas B-M para el funtor producto. En efecto: Es una comprobacin trivial.

MARCHENA, ABRIL 2001

DIVULGACION DE LA MATEMTICA EN LA RED

10