Categorías y Funtores by Nieves *

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

INTRODUCCIÓN A LAS CATEGORÍAS Y FUNTORES

1. DEFINICIONES 2. LOS AXIOMAS DE BIRKOFF-MCLANE 3. ALGUNOS TEOREMAS BÁSICOS

MARCHENA, ABRIL 2001

DIVULGACION DE LA MATEMÁTICA EN LA RED

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

1. DEFINICIONES:

Definición 1.1. Se llama categoría a toda clase, ξ, tal que todo par ordenado, (a,b), elementos tenga asociado un conjunto.

de sus

Los elementos de la clase ξ se llaman objetos de la categoría. 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 categoría ξ. Una categoría tal que la clase de sus objetos es un conjunto se llama pequeña categoría. Definición 1.2. Se llama función-objeto de la categoría ξ en la categoría ξ’ a toda función F0 de ξ en ξ’. O sea: F 0 función-objeto de la categoría ξ en la categoría ξ’ ↔ ↔ 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 función-morfismo covariante asociada a la función-objeto F0 , definida de la categoría ξ en la categoría ξ’, a toda función Fm1 de (a, b)ξ en (F0 a, F0 b)ξ’. O sea: F m1 función-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 función-morfismo contravariante asociada a la función-objeto F0 , definida de la categoría ξ en la categoría ξ’, a toda función Fm2 de (a,b)ξ en (F0 b, F0 a)ξ’. O sea: F m2 función-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)ξ’) Definición 1.3. Se llama funtor covariante de la categoría ξ en la categoría ξ’ al par formado por una función-objeto y una función-morfismo covariante asociada.

MARCHENA, ABRIL 2001

DIVULGACION DE LA MATEMÁTICA EN LA RED

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

Se llama funtor contravariante de la categoría ξ en la categoría ξ’ al par formado por una función-objeto y una función-morfismo contravariante asociada. Representamos en general: Funtor covariante:

(F0 , F m1 )

Funtor contravariante:

(F0 , F m2 )

Definición 1.4. Una categoría ξ0 e dice subcategoría de otra categoría ξ, si, y solo si, se verifica que 1) ξ0 ⊂ ξ 2) (a,b)ξ0

⊂ (a,b)ξ,

(∀a,b) ∈ ξ0 .

Definición 1.5. Una categoría ξop se dice opuesta de otra categoría ξ si, y solo si, se verifica que 1)

ξop = ξ

2) (a,b)ξ

= (b,a)ξ

Definición 1.6. Un objeto I es un objeto inicial de la categoría ξ 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 categoría ξ 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 MATEMÁTICA EN LA RED

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

2. LOS AXIOMAS DE BIRKOFF-MCLANE: El sistema básico de los axiomas de Birkoff y McLane consta de cuatro axiomas referidos a categorías 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 categoría 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 composición de morfismos: Para toda terna de objetos, a, b, c, de una categoría ξ existe una ley de composición 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 composición de morfismos es asociativa.

(∀ a, b, c )( f ∈ (b, c) ξ , g ∈ ( a, b) ξ , h ∈ (d , a) ξ , ( fοg )οh = f ο( gοh ))

MARCHENA, ABRIL 2001

DIVULGACION DE LA MATEMÁTICA EN LA RED

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

Axioma 4: Axioma del morfismo identidad: Para todo objeto a de una categoría ξ existe al menos un morfismo, Ia , que tiene el objeto a por dominio y también por codominio y es elemento neutro respecto de la ley de composición 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 categorías, ξ y ξ’, la función F: ξ → ξ’ y un objeto cualquiera, a, de la categoría ξ, se cumple que la identidad IFA coincide con FIa.

(∀ a)( a ∈ ξ, FI a = I Fa )

Axioma 6 (1): Axioma del funtor covariante: Dadas las categorías ξ y ξ’, y el funtor covariante F: ξ → ξ’, se tiene que la composición de las imágenes de cualquier par de morfismos coincide con la imagen de la composición de los mismos en el orden dado.

(∀ f , g)( f ∈ ( b, c ) ξ ∧ g ∈ ( a, b ) ξ , F(fοg ) = F(f )οF(g ))

MARCHENA, ABRIL 2001

DIVULGACION DE LA MATEMÁTICA EN LA RED

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

Axioma 6 (2): Axioma del funtor contravariante: Dadas las categorías ξ y ξ’, y el funtor contravariante F: ξ → ξ’, se tiene que la composición de las imágenes de cualquier par de morfismos coincide con la imagen de la composición de los mismos en orden contrario del dado.

(∀ f , g)( f ∈ ( b, c ) ξ ∧ g ∈ ( a, b ) ξ , F(fοg ) = F(g )οF(f ))

MARCHENA, ABRIL 2001

DIVULGACION DE LA MATEMÁTICA EN LA RED

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

3. ALGUNOS TEOREMAS BÁSICOS: Teorema 3.1.

∀a ∈ ξ, ∃Ia único En efecto: Supongamos que hay dos morfismos identidad. Se tiene: Ia o I’a = I’a o Ia = Ia = I’a Teorema 3.2. Todo conjunto ordenado P puede considerarse una pequeña categoría. En efecto: Si es P = {a, b, c, ... } un conjunto ordenado, sus morfismos se pueden definir así: (x,y)ξ

= {f}

(x,y)ξ

= φ

puesto que si x ≤ y

⇔ x≤y

⇔ x>y

∧

y ≤ x ⇒

(x,x) ξ

= {Ix }

(y,y)ξ

= {Iy }

x = y, se tiene

Teorema 3.3. Toda pequeña categoría, ξ, 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 categoría: P = {a, b, c, ... }. Definimos en P la relación “≤” del modo siguiente:

x, y ∈ P, x ≤ y ↔ ( x, y) ξ ≠ Φ tal relación en P es de órden: - Es reflexiva:

∀x ∈ P, ∃i x ∈ ( x , x ) ξ → ( x, x) ξ ≠ Φ - Es antisimétrica:

( 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 MATEMÁTICA 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 } ≠ Φ ξ  Definición 3.1. (Definición de isomorfismo) a) Sea ξ una categoría. 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 categoría ξ 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 Definición 3.2. (Definición 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. m ∈ (a, b)ξ invertible por la izquierda → m monomorfismo

. En efecto: Sea

m1 ∈ (b, a) ξ / m1 om = i a → ( ∀f 1 , f 2 )( f 1 ∈ (b, a ) ξ ∧ f 1 ∈ (b, a ) ξ ∧ mοf 1 = mοf 2 → → m1ο( mοf 1 ) = m1 o( mof 2 ) → (m1οm)οf 1 = (m1 om) of 2 → f 1 = f 2

Definición 3.3. (Definición 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 MATEMÁTICA EN LA RED

CARLOS SANCHEZ CHINEA

INTRODUCCION A LAS CATEGORIAS Y FUNTORES

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

(∃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) Análogamente, en el caso de dos objetos finales. Definición 3.4. (Funtores isomorfismo, monomorfismo, epimorfismo) a) Un funtor isomorfismo es un funtor para el cual la función-objeto y la funciónmorfismo son biyecciones. b) Un funtor monomorfismo es un funtor para el cual la función-objeto y la función-morfismo son inyecciones. c) Un funtor epimorfismo es un funtor para el cual la función-objeto y la funciónmorfismo son suprayecciones. Teorema 3.8. Dados dos funtores, F:ξ → ξ’ y G: ξ’ → ξ”, la función 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 comprobación trivial, tanto con la función-objeto de cada funtor, como con la correspondiente función-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.

Definición 3.5. (Categoría producto) Se llama categoría producto de las categorías ξ y ξ’ a una categoría 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 MATEMÁTICA 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 composición:

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

Teorema 3.9. Se verifican los axiomas B-M para la categoría producto. En efecto: -

Es una comprobación trivial.

Definición 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 comprobación trivial.

MARCHENA, ABRIL 2001

DIVULGACION DE LA MATEMÁTICA EN LA RED