Categorias PDF

CUADERNOS DE ALGEBRA
No. 7
Categoras
Oswaldo Lezama
Departamento de Matematicas
Facultad de Ciencias
Universidad Nacional de Colombia
Sede de Bogota
30 de junio de 2014
ii
Cuaderno dedicado a Luis Alberto, mi hermano

Contenido
Prologo iv
1. Categoras 1
1.1. Concepto de categora . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Tipos de morfismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Tipos de objetos y dualidad. . . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Subobjeto y objeto cociente . . . . . . . . . . . . . . . . . . . . . . . 11
1.5. Interseccion y union . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.6. Imagen y coimagen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.7. Nucleos y conucleos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.8. Producto y suma fibrada . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.9. Imagen inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.10. Producto y coproducto . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.11. Las categoras ModA y Ani . . . . . . . . . . . . . . . . . . . . . . . . 45
1.12. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51
2. Categoras abelianas 54
2.1. Categoras aditivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 54
2.2. Categoras abelianas . . . . . . . . . . . . . . . . . . . . . . . . . . . 58
2.3. Sucesiones exactas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 64
2.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3. Funtores 68
3.1. Funtores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 68
3.2. Funtores exactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
3.3. Lmites y colmites . . . . . . . . . . . . . . . . . . . . . . . . . . . . 78
3.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 84
Bibliografa 86
iii
Prologo
La coleccion Cuadernos de algebra consta de 10 publicaciones sobre los principales

temas de esta rama de las matematicas, y pretende servir de material para preparar
los examenes de admision y de candidatura de los programas colombianos de doc-
torado en matematicas. Los primeros cinco cuadernos cubren el material basico de
los cursos de estructuras algebraicas y algebra lineal de los programas de maestra;
los cinco cuadernos siguientes contienen algunos de los principales temas de los
examenes de candidatura, a saber: anillos y modulos; categoras; algebra homologica;
algebra no conmutativa; algebra conmutativa y geometra algebraica. Cada cuaderno
es fruto de las clases dictadas por el autor en la Universidad Nacional de Colombia
en los ultimos 25 anos, y estan basados en las fuentes bibliograficas consignadas en
cada uno de ellos, como tambien en el libro Anillos, Modulos y Categoras, publicado
por la Facultad de Ciencias de la Universidad Nacional de Colombia, y cuya edicion
esta totalmente agotada (vease [5]). Un material similar, pero mucho mas completo
que el presentado en estas diez publicaciones, es el excelente libro de Serge Lang, Al-
gebra, cuya tercera edicion revisada ha sido publicada por Springer en el 2004 (vease
[4]). Posiblemente el valor de los Cuadernos de algebra sea su presentacion ordenada
y didactica, as como la inclusion de muchas pruebas omitidas en la literatura y
suficientes ejemplos que ilustran la teora. Los cuadernos son:
1. Grupos 6. Anillos y modulos

2. Anillos 7. Categoras
3. Modulos 8. Algebra homologica
4. Algebra lineal 9. Algebra no conmutativa
5. Cuerpos 10. Algebra conmutativa y geometra algebraica
Los cuadernos estan dividido en captulos, los cuales a su vez se dividen en

secciones. Para cada captulo se anade al final una lista de ejercicios que debera ser
complementada por los lectores con las amplias listas de problemas que inluyen las
principales monografas relacionadas con el respectivo tema.
Cuaderno de categoras. Este cuaderno consta de tres partes: en la primera
se presentan las nociones basicas de categoras las cuales se ilustran en las categoras
de modulos y anillos. En la segunda se definen las categoras aditivas y abelianas y
iv
PROLOGO v
se introducen las sucesiones exactas. La terecera parte esta dedicada a los funtores,
transformaciones naturales y al estudio de lmites y colmites.
Para una buena compresion del presente cuaderno se recomienda al lector consul-
tar los cuadernos 1, 2, 3 y 6 (veanse [6], [7], [8] y [9]) ya que usaremos los resultados
y la notacion consignados en ellos. En particular, A denotara un anillo no ncesaria-
mente conmutativo y con unidad 1; A denota el grupo multiplicativo de los elemen-
tos invertibles del anillo A. Si f es un homomorfismo de anillos, entonces f (1) = 1.
Salvo que se advierta lo contrario, los modulos seran considerados a derecha. Si M
es un A-modulo a derecha lo denotaremos tambien por MA . Si N es un submodulo
de M escribiremos N M . Para n 1, Mn (A) es el anillo de matrices cuadradas
de tamano n n con componentes en A, GLn (A) denota el grupo lineal general
de orden n sobre A, es decir, GLn (A) = Mn (A) . La matriz identica de tamano
n n se denota por En . An denota el A-modulo libre derecho de vectores columna
de longitud n con entradas en A.
El autor desea agradecer a Milton Armando Reyes Villamil, discpulo y amigo,
por el trabajo cuidadoso realizado al digitar el contenido del presente cuaderno.
Oswaldo Lezama
Departamento de Matematicas
Universidad Nacional de Colombia
Bogota, Colombia
jolezamas@unal.edu.co
vi PROLOGO
Captulo 1
Categoras
1.1. Concepto de categora

La teora de categoras y funtores ha adquirido en los ultimos anos un desarrollo tal
que se ha convertido en una rama del algebra y la logica con metodologa y dinamica
propias. Para un buen numero de areas de la matematica, entre ellas el algebra, la
teora de categoras ha jugado un papel importante de lenguaje, a traves del cual se
presentan y obtienen resultados de una manera global y elegante. Esta funcion del
lenguaje fue precisamente la que nos motivo a incluir en esta coleccion de cuadernos
algunos elementos basicos de teora de categoras.
Nuestro proposito es presentar los conceptos basicos en categoras, ilustrandolos
a traves de dos casos particulares: la categora de A-modulos derechos, ModA , y la
categora de anillos con unidad Ani. Esta escogencia, ademas de generalizar algunas
construcciones y resultados presentados en [6], [7] y [8], prepara el terreno para la
introduccion a la K-toera que haremos en el ultimo captulo.
Con el fin de evitar caer en los rigores de la logica, no definimos los conceptos
de objeto y morfismo de una categora. En su lugar definimos una categora como
una coleccion de objetos y morfismos sujetos a ciertos axiomas.
Definicion 1.1.1. Una categora C se define por:
(a) Una coleccion no vaca cuyos elementos se llaman objetos. Esta coleccion se
denota por Ob(C).
(b) Una coleccion no vaca de conjuntos disyuntos y eventualmente vacos:
{MorC (X, Y )}X,Y Ob(C ) .
Los elementos del conjunto MorC (X, Y ) se denominan morfismos del ob-
jeto X en el objeto Y y se denota tambien por Mor(X, Y ). Un elemento de
1
2 CAPITULO 1. CATEGORIAS
f
MorC (X, Y ) se representa por f : X Y , X
Y , o sencillamente X Y .
X se llama el dominio del morfismo f , mientras que Y es llamado el codo-
minio.
La reunion de todos los conjuntos de morfismo de C sera notada Mor(C), esto
es, [
Mor(C) := Mor(X, Y ).
X,Y Ob(C )
(c) Una operacion entre morfismos llamada composicion, tal que si X, Y, Z son
objetos de C, f Mor(X, Y ) y g Mor(Y, Z), existe un unico morfismo
g f Mor(X, Y ):
Mor(X, Y ) Mor(Y, Z) Mor(X, Z) (1.1.1)

(f, g) 7 g f (1.1.2)
La operacion cumple las siguientes condiciones:
(i) Es asociativa, es decir, dados f Mor(X, Y ), g Mor(Y, Z) y h

Mor(Z, W ) se cumple
(h g) f = h (g f ). (1.1.3)
(ii) Para cada objeto X en C existe un morfismo identidad iX en Mor(X, X)

tal que
iX f = f, g iX = g, (1.1.4)
para todo f Mor(Y, X) y todo g Mor(X, Y ).
Observacion 1.1.2. (i) Es claro a partir de la Definicion 1.1.1 la unicidad del

morfismo identidad.
(ii) Si en (1.1.1) Mor(X, Y ) o Mor(Y, Z) son vacos, la composicion no se define.
(iii) Para representar la composicion de morfismos en una categora se utilizan
diagramas. As pues, las composiciones en (1.1.3) y (1.1.4) pueden representarse
por el diagrama
X - W
@ 6
f @ h
hg @gf
? R
@
Y g
- Z
h (g f ) = (h g) f
1.1. CONCEPTO DE CATEGORIA 3
f
Y - X
iX
f =iX f g=giX
? ?
X g
- Y
(iv) Un diagrama se dice conmutativo si para cualesquiera dos objetos X, W en

el, todos los caminos de X a W son equivalentes.
Ejemplo 1.1.3. El ejemplo mas sencillo de categora es la de los conjuntos, la

cual se denota por Conj. Sus objetos son la coleccion de todos los conjuntos; las
funciones conforman los morfismos, y la operacion entre estos es la composicion
usual de funciones. Dado un conjunto X, el morfismo identidad es la funcion identica
iX : X X, x 7 x. Se define i := , Mor(, A) := {}, para cada conjunto A;
f
Mor(A, ) = para cada conjunto A 6= ;
A
B, f = .
Definicion 1.1.4. Dadas dos categoras C, C 0 , se dice que C 0 es una subcategora

de C si se cumplen las siguientes cuatro condiciones:
(i) Todo objeto de C 0 es tambien un objeto de C. En terminos de contenencia de

clases esto quiere decir que Ob(C 0 ) Ob(C).
(ii) Dados X, Y Ob(C 0 ), todo morfismo f : X Y en C 0 tambien lo es en C,

esto es, MorC 0 (X, Y ) MorC (X, Y ).
(iii) La composicion de morfismos en C 0 es la inducida por la composicion de mor-

fismos en C.
(iv) Para cada objeto X de C 0 , el morfismo identidad es el mismo morfismo iden-

tidad de la categora C.
Ejemplo 1.1.5. Otras categoras. La coleccion de todos los grupos junto con los
homomorfismos constituyen una categora denotada por Grp. La operacion entre
morfismos es la composicion, mientras que el morfismo identidad se define como en
Conj. De otra parte, los anillos con unidad junto con los homomorfismos de anillo
que preservan la unidad conforman una categora denotada por Ani. Finalmente,
para un anillo con unidad A, ModA es la categora de todos los A-modulos derechos
cuyos objetos son los A-modulos derechos y los morfismos son los A-homomorfismos.
Tanto la operacion como las identidades se definen como en Grp y Ani. Si se
consideran A-modulos izquierdos, la categora se denota por A Mod.
En cada categora debe tenerse un criterio de igualdad de objetos y morfismos.

As, en las categoras descritas anteriormente, la igualdad de objetos esta caracter-
izada por la igualdad de conjuntos y la igualdad de operaciones definidas en ellos.
La igualdad de morfismos se define mediante la igualdad de funciones. Notese por

ejemplo que el anillo producto ZN y el anillo de sucesiones formales Z[[x]] son dife-
rentes, a pesar de que sus conjuntos coinciden. De esta manera, ZN y Z[[x]] no son
objetos iguales en la categora Ani.
De otra parte, observese que la coleccion de conjuntos finitos conforma una sub-
categora de Conj; la coleccion de grupos abelianos es una subcategora de Grp.
Definicion 1.1.6. Una categora C se dice pequena si Ob(C) es un conjunto.
Ejemplo 1.1.7. La categora Nat determinada por el conjunto N0 = {0, 1, 2, 3, . . . }

n
es pequena. Su unico objeto es el 0, y se define Mor(0, 0) := {0
0 | n N0 }. La
n
composicion entre morfismos corresponde a la multiplicacion, es decir, si 0
0y
m
0 0 son morfismos, se define m n := mn. La asociatividad de la mutiplicacion
implica la asociatividad de la composicion. El morfismo identidad es el entero 1.
Ejemplo 1.1.8. Cualquier conjunto pre-ordenado constituye otro ejemplo de cate-

gora pequena, denotada Pre. Sea P un conjunto no vaco con una relacion 4 la cual
es reflexiva y transitiva. P constituye los objetos de Pre; para x, y P se define
(
, si x y
Mor(x, y) :=
{(x, y)}, si x 4 y.
La composicion de morfismos se define por la transitividad de la relacion 4, es decir,

f g
para x
y, y
z se tiene que g f = h : x z, pues x 4 y, y 4 z implica x 4 z.
En adelante, si no se advierte lo contrario, se entendera que todos los objetos y

morfismos corresponden a una categora arbitraria C.
Cerramos esta seccion con el concepto de factorizacion de morfismos.
Definicion 1.1.9. Un morfismo f : X Y se dice factorizable a traves del

morfismo g : X Z (se acostumbra a decir que f es factorizable a traves del objeto
Z), si existe un morfismo h : Z Y tal que el siguiente diagrama conmuta
Z
g
@h
R
@
X f
- Y
es decir, f = h g.
1.2. TIPOS DE MORFISMOS 5
1.2. Tipos de morfismos

La caracterizacion de los conceptos de funcion sobreyectiva, inyectiva y biyectiva
de la categora Conj conduce a los conceptos de epimorfismo, monomorfismo e
isomorfismo en una categora cualquiera. Estas y otras nociones seran estudiadas
con algun detalle en esta seccion.
Definicion 1.2.1. Un morfismo f : X Y se dice que es un epimorfismo, si

para todo objeto Z y todo par de morfismos h, g : Y Z se cumple la implicacion
g f = h f g = h.
En otras palabras, h es un epimorfismo si es cancelable a derecha.

El morfismo f se dice que es un monomorfismo si es cancelable a izquierda.
Finalmente, se dice que f es un bimorfismo, si es simultaneamente epimorfismo
y monomorfismo.
A partir de las definiciones anteriores se obtienen de manera inmediata las si-

guientes conclusiones:
(i) La composicion de monomorfismos es un monomorfismo. Si g f es un mono-

morfismo, entonces f es un monomorfismo.
(ii) La composicion de epimorfismos es un epimorfismo. Si g f es un epimorfismo,

entonces g es un epimorfismo.
(iii) El morfismo identico es un bimorfismo.
Ejemplo 1.2.2. En la categora ModA los epimorfismos coinciden con los homomor-
fismos sobreyectivos. En efecto, sea f : M N un homomorfismo sobreyectivo de
A-modulos, y sean g, h : N P homomorfismos tales que g f = h f . Dado n N
existe m M tal que f (m) = n; de aqu resulta g(n) = g f (m) = h f (m) = h(n),
es decir, g = h. De otra parte, sea f : M N un epimorfismo en ModA y
P := N/Im(f ) el modulo cociente de N por la imagen del homomorfismo f . Con-
sideremos los A-homomorfismos g, h : N P definidos por g(n) := n + Im(f ) y
h(n) := 0 + Im(f ), para todo n N . Claramente g f = h f , por lo tanto g = h,
y de aqu n Im(f ) para cada n N , esto es, f es sobreyectiva.
En la categora ModA los monomorfismos son los homomorfismos inyectivos. En
efecto, sea f : M N un homomorfismo inyectivo y g, h : P N homomorfismos
tales que f g = f h. Para cada x P se cumple que f (g(x)) = f (h(x)), de lo cual
resulta que g(x) = h(x), es decir, g = h. Ahora, supongamos que f : M N es un
monomorfismo de ModA y sean m1 , m2 M tales que f (m1 ) = f (m2 ). Sea P el
submodulo cclico de M generado por m1 m2 y considerense los A-homomorfismos
i, h : P M , inclusion y nulo respectivamente. Se sigue que f i = f h, de donde

i = h. En particular, i(m1 m2 ) = m1 m2 = h(m1 m2 ) = 0.
Como consecuencia de lo anterior se tiene que en la categora ModA los bimor-
fismos son los homomorfismos biyectivos.
Ejemplo 1.2.3. Analogamente a como se probo en la categora ModA , se establece

que en Ani todo homomorfismo sobreyectivo de anillos es un epimorfismo. El siguien-
te ejemplo muestra que el recproco no es siempre cierto. La inclusion i : Z Q
es un homomorfismo no sobreyectivo, sin embargo es un epimorfismo de Ani. En
efecto, sea C un anillo y g, h : Q C homomorfismos tales que g i = h i. Para
todo racional pq se cumple que

p
g = g(p)g(q)1
q
= g(i(p))g(i(q))1
= h(i(p))h(i(q))1

p
=h
q
es decir, g = h.
En la categora Ani los monomorfismos coinciden con los homomorfismos in-
yectivos: sea f : A B un homomorfismo en Ani y x, z elementos de A tales
que f (x) = f (z). Considerese el subanillo S(x, z) de A generado por los elementos
x, z (vease [7]) y las funciones i : S(x, z) A, p(x, z) 7 p(x, z), h : S(x, z)
A, p(x, z) 7 p(z, x). Claramente i, h son homomorfismos de anillos que satisfacen
f h = f i. Por lo tanto h = i, y en particular, h(x) = z = i(x) = x.
La prueba de que todo homomorfismo inyectivo es monomorfismo es analoga a la
dada en el Ejemplo 1.2.2 para modulos. De lo discutido anteriormente se desprende
que en la categora Ani los bimorfismos no coinciden con los homomorfismos biyec-
tivos, de tal manera que todo homomorfismo biyectivo es bimorfismo pero no lo
contrario.
Definicion 1.2.4. El morfismo f : X Y se dice una retraccion, si existe un

morfismo h : Y X tal que f h = iY . En otras palabras, f es una retraccion
si posee un inverso a derecha. Se dice que f : X Y es una corretraccion, si
tiene inverso a izquierda. Un isomorfismo es un morfismo que es retraccion y
corretraccion al mismo tiempo.
Notese que para un isomorfismo el inverso por la derecha coincide con el inverso
por la izquierda y es el unico que cumple esta doble condicion. Dicho morfismo
sera llamado el inverso de f , y sera notado por f 1 . Para indicar que dos objetos
X, Y son isomorfos, esto es, que existe un isomorfismo entre ellos, escribimos X
= Y.
1.2. TIPOS DE MORFISMOS 7
A partir de las definiciones anteriores es evidente que una retraccion es un epi-

morfismo y que toda corretraccion es un monomorfismo. De esto se desprende que
todo isomorfismo es un bimorfismo. Una categora se dice balanceada si todo bi-
morfismo es un isomorfismo.
Ejemplo 1.2.5. Consideremos los Z-modulos 2Z := {2k | k Z} y Z con el
homomorfismo inclusion i : 2Z Z, i(2k) = 2k, para todo k Z. Por ser i
inyectivo es monomorfismo, sin embargo, i no tiene inverso a izquierda. En efecto,
sea g : Z 2Z un homomorfismo tal que g i = i2Z . Si g(1) = 2m con m Z,
entonces g(2) = 4m = g(i(2)) = 2, lo cual es absurdo.
De otra parte, el homomorfismo canonico j : Z Z2 es claramente sobreyectivo
y, por ende, un epimorfismo. j no es una retraccion ya que el unico Z-homomorfismo
de Z2 en Z es nulo.
Ejemplo 1.2.6. En la categora Ani la inclusion canonica i : Z Q es un
monomorfismo ya que es un homomorfismo inyectivo. Supongase que existe un ho-
momorfismo de anillos g : Q Z tal que g i = iZ . Entonces, 1 = g(1) = g( 12 + 12 ) =
2g( 21 ), lo cual es absurdo ya que g( 12 ) Z. En conclusion, i no es una corretraccion.
El mismo ejemplo dado en el ejemplo 1.2.5 ilustra que en Ani no todo epimor-
fismo es retraccion.
Ejemplo 1.2.7. De la definicion 1.2.4 y de los dos ejemplos anteriores obtenemos:
(i) En ModA toda retraccion es un homomorfismo sobreyectivo, pero no lo con-
trario. Toda corretraccion es un homomorfismo inyectivo, mas no se tiene el
recproco.
(ii) En Ani toda corretraccion es un homomorfismo inyectivo, pero no lo contrario.

En Ani toda retraccion es un homomorfismo sobreyectivo, pero no lo contrario.
En efecto, el homomorfismo canonico j : Z Z2 es sobreyectivo pero no es
retraccion (vease el ejemplo 1.2.6)
Ejemplo 1.2.8. En teora general de anillos y modulos se demuestra que los iso-
morfismos coinciden con los homomorfismos biyectivos. De aqu, y de lo anotado al
final del ejemplo 1.2.2, se obtiene que ModA es una categora balanceada. Ani no
es balanceada: como se observo en los ejemplos anteriores la inclusion i : Z Q es
un bimorfismo, pero claramente no es biyectivo.
Algunos de los resultados de la presente seccion se pueden resumir en la siguiente
tabla, donde C es una categora cualquiera, i = inyectivo, s = sobreyectivo, biy =
biyectivo, m = monomorfismo, e = epimorfismo, bim = bimorfismo, iso = isomorfis-
mo, r = retraccion y c = corretraccion.
C ModA Ani
re rse rse
cm cim cim
iso bim biy iso bim biy iso bim
1.3. Tipos de objetos y dualidad.

En la categora ModA el modulo nulo 0 es tal que para cada A-modulo M los
conjuntos HomA (0, M ) y HomA (M, 0) son unitarios. Los objetos de una categora
con esta propiedad se destacan de manera especial.
Definicion 1.3.1. Un objeto I se dice inicial si para cada objeto X el conjunto

Mor(I, X) es unitario. Un objeto T se dice terminal si para cualquier objeto X el
conjunto Mor(X, T ) es unitario. Un objeto que es simultaneamente inicial y terminal
se denomina objeto cero, y se acostumbra a denotar por 0.
Resulta a partir de las definiciones anteriores que dos objetos iniciales de una
categora son necesariamente isomorfos. Tal situacion se tiene tambien para dos
objetos terminales y para dos objetos cero.
Ejemplo 1.3.2. En Conj el conjunto vaco es el unico objeto inicial, mientras que
cualquier conjunto unitario es objeto terminal. Conj no posee objeto cero. En ModA
el modulo nulo 0 es objeto cero. En Ani el anillo Z de enteros es objeto inicial. El
anillo trivial 0, consistente de un solo elemento, es objeto terminal. Ani no tiene
objeto cero.
Definicion 1.3.3. El morfismo f : X Y se llama morfismo cero a izquierda

si f g = f h, para cualquier objeto Z y cualesquiera morfismos g, h : Z X. Se
dice que f es un morfismo cero a derecha si g f = hf , para cualquier objeto Z
y cualesquiera morfismos g, h : Y Z. Un morfismo que sea cero simultaneamente
a izquierda y a derecha se llama morfismo cero.
Si I es un objeto inicial entonces cualquier morfismo I X es morfismo cero a

derecha. Analogamente, si T es objeto terminal, entonces todo morfismo con codo-
minio T es morfismo cero a izquierda.
Ejemplo 1.3.4. En la categora ModA el homomorfismo nulo 0 : M N es un

morfismo cero. En Ani el homomorfismo Z 0 es morfismo cero. Ademas, para
cada anillo A el homomorfismo Z A que asigna a n el elemento n1 es un morfismo
cero a derecha; el homomorfismo trivial A 0 es un morfismo cero a izquierda.
Proposicion 1.3.5. En una categora con objeto 0, para cada par de objetos X, Y
existe un unico morfismo cero en Mor(X, Y ), notado 0XY .
1.3. TIPOS DE OBJETOS Y DUALIDAD. 9
Demostracion. Existencia. Notese que si f : X Y es un morfismo cero a izquierda

y g : Y Z es un morfismo cero a derecha, entonces g f es un morfismo cero. En
efecto, sean h, k : Z W morfismos. Entonces
h (g f ) = (h g) f = (k g) f = k (g f ),
con lo cual g f resulta ser un morfismo cero a derecha. De manera analoga se

establece que g f es morfismo cero a izquierda. Resulta entonces de la definicion
1.3.3 que la compuesta 0XY : X 0 Y es un morfismo cero.
Unicidad. El morfismo encontrado 0XY es factorizable a traves del objeto cero y
se tiene el diagrama conmutativo
0
x y
@
R
@
X 0XY
- Y
Puesto que x y y son unicos, basta probar que cualquier morfismo cero f : X Y
es factorizable a traves de cero (el recproco tambien es cierto y su prueba queda al
lector). Consideremos el diagrama
0
x 3
Q y
Q
Qs
Q iY
X f
- Y
0Y Y
- Y
Puesto que 0Y Y es morfismo cero se tiene que 0Y Y f = 0Y Y (y x). Tambien,

como f es morfismo cero, entonces 0Y Y f = iY f . De las dos identidades anteriores
resulta 0Y Y (y x) = f . Pero 0Y Y y = iY y por ser y morfismo cero a derecha.
En total, y x = f , lo cual queramos demostrar.
Ejemplo 1.3.6. En Ani el homomorfismo Z 0 es morfismo cero y no es factori-

zable a traves del objeto cero, pues Ani no posee objeto cero.
Definicion 1.3.7. Una categora se dice que posee cero morfismos, si para cua-
lesquiera par de objetos X, Y existe un morfismo 0XY : X Y tal que
(i) f 0XY = 0XZ , para cada objeto Z y cada f Mor(Y, Z);
(ii) 0XY g = 0ZY , para cada objeto Z y cada g Mor(Z, X).
Notese que en una categora C con cero morfismos la coleccion de cero morfismos
{0XY }X,Y Ob(C ) es unica:
00XY 0XX = 0XY , 00XY 0XX = 00XY .

Proposicion 1.3.8. Una categora C con objeto cero 0 es una categora con cero
morfismos. La coleccion de cero morfismos es la descrita en la proposicion 1.3.5.
Demostracion. Sea {0XY }XY Ob(C ) la coleccion de morfismos estudiada en la pro-
posicion 1.3.5. Sean x : X 0 y y : 0 Y los morfismos tales que 0XY = y x.
Sea f : Y Z y consideremos el diagrama conmutativo
0XY f
X - Y - Z
@ 6
y
x@ f y
@R
@
0
esto es, f 0XY = f (y x) = (f y) x. Por lo tanto f 0XY es factorizable a

traves del objeto cero, por lo tanto f 0XY = 0XZ . De manera similar se establece
la condicion (ii) de la definicion 1.3.7.
Ejemplo 1.3.9. En ModA el homomorfismo nulo 0 : M N es el cero morfismo
0M N . As, ModA es una categora con cero morfismos. Ani no es una categora con
cero morfismos, pues por ejemplo Mor(Z2 , Z) = .
Es posible que una categora tenga cero morfismos sin que posea objeto cero.
Tal es el caso de la categora Nat estudiada en la definicion 1.1.6. En efecto, Nat
no posee objeto cero pero el morfismo 0 : 0 0 es tal que n0 = 0n = 0 para todo
n Mor(Nat).
Observacion 1.3.10. En teora de categoras las ideas vienen en parejas, cada una
de las cuales es dual de la otra, en el sentido de que la definicion o afirmacion de la una
se obtiene de la otra invirtiendo el sentido de las flechas en los morfismos. As pues,
se habra notado como los conceptos de epimorfismo y monomorfismo son duales; de
la misma manera son duales los conceptos de objeto inicial y objeto terminal. Esta
observacion lleva a la consideracion de obtener a partir de una categora arbitraria
C otra categora C , denominada la categora dual de C, y definida de la siguiente
manera:
(i) Ob(C ) := Ob(C);
(ii) Para cualesquiera objetos X, Y de C se tiene MorC (X, Y ) := MorC (Y, X). Si
f : Y X es un morfismo en C, su dual se denota por f : X Y ;
(iii) Si g MorC (Z, Y ) y f MorC (Y, X), entonces la compuesta se define por
f g := (g f ) .
La asociatividad de esta composicion es consecuencia de la asociatividad de la com-
posicion en C. Las identidades de C son las mismas que en C. De la definicion
anterior es claro que (C ) = C.
1.4. SUBOBJETO Y OBJETO COCIENTE 11
Observacion 1.3.11. La posibilidad de asociar a cada categora C su dual C per-

mite obtener para cada concepto o afirmacion categorica P un nuevo concepto dual
o afirmacion dual P . Si P es una afirmacion demostrada categoricamente (es
decir, valida en cualquier categora), entonces P se considera tambien demostrado
categoricamente. Mas exactamente, se tiene el siguiente principio de dualidad :
P es un teorema sobre categoras si, y solo si, P es un teorema sobre categoras.
En adelante aplicaremos el principio de dualidad para omitir las pruebas de las afir-
maciones duales. Escribiremos P.D. para indicar que estamos aplicando el principio
de dualidad.
1.4. Subobjeto y objeto cociente

Como se vera a continuacion, las nociones de submodulo, subanillo, modulo cociente
y anillo cociente admiten una generalizacion natural en categoras arbitrarias.
Definicion 1.4.1. Sea A un objeto de una categora. Se llama subobjeto de A a

una pareja (X, l) donde X es un objeto y l : X A es un monomorfismo. Si es
claro por el contexto, podremos omitir el morfismo l y escribir simplemente X A.
Cuando l no es isomorfismo, se dice que X es subobjeto propio de A y se escribe
X A. Si f : A B es un morfismo y l : X A un subobjeto de A, entonces la
compuesta f l se denomina la restriccion de f a X y se denota por f |X : X B.
Teniendo en cuenta que la compuesta de monomorfismos es un monomorfismo,

se obtiene
(X Y y Y Z) (X Z). (1.4.1)
Definicion 1.4.2. Para cada objeto A se denota por Sub(A) la coleccion de todos los
subobjetos de A. Si (X1 , l1 ) y (X2 , l2 ) son elementos de Sub(A) se dice que (X1 , l1 )
esta incluido en (X2 , l2 ), o tambien, que (X1 , l1 ) precede a (X2 , l2 ), lo cual se
denota X1 X2 , si existe un morfismo f : X1 X2 tal que el siguiente diagrama
conmuta
A
l1 l
@ 2
I
@
X1 f
- X2
Notese que f es unico y es un monomorfismo, con lo cual X1 es subobjeto de X2 .

Esto justifica la notacion introducida para la relacion de inclusion entre subobjetos.
Por (1.4.1) y ya que X X para cada objeto X, (Sub(A), ) es un preorden (es
decir, es una relacion reflexiva y transitiva).
Definicion 1.4.3. Dos subobjetos de A, (X1 , l1 ) y (X2 , l2 ) se dicen equivalentes y

escribimos (X1 , l1 )
= (X2 , l2 ), si existen morfismos f : X1 X2 , g : X2 X1 tales
que el siguiente diaframa conmuta
A
l2 6@ I l2
@
l1
@
f g
@
X2 - X
1
- X
2
l2 g = l1 , l1 f = l2
En otras palabras, X1 X2 y X2 X1 . Evidentemente

= es una relacion de
equivalencia en Sub(A).
Proposicion 1.4.4. Si (X1 , l1 )
= (X2 , l2 ) entonces X1
= X2 .
Demostracion. Dado que l2 g = l1 , l1 f = l2 , se obtiene (l1 f ) g = l2 g =
l1 = l1 iX1 . Como l1 es un monomorfismo se tiene que f g = iX1 . Simetricamente
encontramos g f = iX2 .
Ejemplo 1.4.5. El recproco de la proposicion anterior no siempre es cierto. Por
ejemplo, en ModZ , 2Z y 3Z son claramente modulos isomorfos. Sean l1 : 2Z Z y
l2 : 3Z Z las inclusiones. Si existieran homomorfismos f : 3Z 2Z y g : 2Z 3Z
tales que l1 f = l2 y l2 g = l1 entonces l1 f (3) = l2 (3), es decir, 3 = l1 (2m) = 2m,
para algun m Z, lo cual es contradictorio.
Observacion 1.4.6. La clase de equivalencia determinada por el subobjeto (X, l)
de A sera notada por (X, l), o simplemente X. SUB(A) denotara la coleccion de
dichas clases de equivalencia. A menudo identificaremos X como un subobjeto de
A. Notese que si X1 , X2 SUB(A), la relacion definida por
X1 X2 X1 X2 ,
es un orden en SUB(A).
Ejemplo 1.4.7. Los subobjetos de un A-modulo son, salvo equivalencia, los sub-
modulos con las inclusiones. En efecto, sean l : X M un subobjeto de M y
N := l(X). Sea l0 : N M la inclusion. Se tiene (X, l)
= (N, l0 ), como lo muestra
el siguiente diagrama
M
l0 6@ @ l0
I
l @
@
N f
- X
g
- N
donde f (n) := x, con l(x) = n y g(x) := l(x), x X, n N .

De otra parte, sean N1 y N2 submodulos distintos de M con las inclusiones
l1 : N1 M, l2 : N2 M . Se sigue que N 1 6= N 2 . Sean n N1 , n / N2 y
supongase que existe un homomorfismo g : N1 N2 tal que l2 g = l1 . Se tiene que
n = l1 (n) = l2 (g(n)) = g(n) N2 , lo cual es una contradiccion.
De manera analoga se demuestra que los subobjetos de un anillo A son, salvo

equivalencia, los subanillos con las inclusiones.
Un mismo objeto de una categora puede ser subobjeto de diferentes maneras,

es decir, a traves de diferentes monomorfismos podemos obtener subobjetos que no
son equivalentes. Sean por ejemplo en ModZ , h : 2Z Z, h(2k) = k, y l : 2Z Z
la inclusion. Si existieran morfismos f, g : 2Z 2Z tales que l f = h, entonces
h(2) = h(2 1) = 1 = 1 f (2) = 2m, con m Z, obteniendose una contradiccion.
Definicion 1.4.8. Una categora se dice localmente pequena, si SUB(A) es un

conjunto para cada objeto A de C.
Son localmente pequenas las categoras Conj, ModA y Ani.
Si C es localmente pequena, A un objeto de C y U SUB(A), se tienen las

siguientes afirmaciones:
(i) X U se dice minimal en U, si para cada Y U se cumple
Y X Y = X.
(ii) SUB(A) se dice artiniano si cada subconjunto no vaco de SUB(A) tiene ob-
jeto minimal. A se dice artiniano si SUB(A) es artiniano. C se dice artiniana
si cada objeto A de C es artiniano.
(iii) X U se dice maximal en U, si para cada Y U se cumple
X Y Y = X.
(iv) SUB(A) se dice noetheriano si cada subconjunto no vaco de SUB(A) tiene

objeto maximal. A se dice noetheriano si SUB(A) es noetheriano. C se dice
noetheriana si todo objeto A de C es noetheriano.
Definicion 1.4.9. Sea C una categora cualquiera y A un objeto de C. Se dice

que A cumple la condicion mnima de cadenas, si cada subconjunto no vaco
totalmente ordenado de SUB(A) contiene elemento minimal. De manera similar,
mediante elementos maximales, se define la condicion maxima de cadenas.
Proposicion 1.4.10. Si C es una categora localmente pequena y A es un objeto

de C, entonces A es artiniano (noetheriano) si, y solo si, A cumple la condicion
mnima (maxima) de cadenas.
Demostracion. ) Evidente.
) Supongase que existe =
6 U SUB(A) tal que U no posee subobjeto mini-
mal. Se tiene que dado X1 U existe X2 en U tal que X2 6= X1 y X2 X1 . Resulta
la cadena
X3 X2 X1
sin elemento minimal.
Ejemplo 1.4.11. Si A = {0} es el anillo trivial, entonces ModA solo posee un
objeto: el modulo nulo. En tal caso ModA es artiniana y noetheriana. De otra
parte, si A es no trivial, entonces ModA no es artiniana ni noetheriana. En efecto,
el A-modulo libre con base enumerable A(N) , no es ni noetheriano no artiniano. Basta
considerar las cadenas de submodulos propios
X n X
xi A , xi A ,
i=1 n1 i=n n1
donde {xi }
i=1 es una base de A
(N)
.
La coleccion de A-modulos noetherianos (artinianos) constituye una subcategora
de ModA . Los anillos y modulos noetherianos (artinianos) fueron estudiados en [9].
La categora Ani no es noetheriana ni artiniana. Es suficiente considerar el anillo
de polinomios A[x1 , . . . , xn , . . . ] en una cantidad infinita enumerable de indetermi-
nadas con coeficientes en un anillo no trivial A, y las cadenas de subanillos propios
{A[x1 , . . . , xn ]}n1 , {A[xn ,n+1 , . . . ]}n1.
Concluimos esta seccion discutiendo brevemente el concepto dual de subobjeto.

Definicion 1.4.12. Sea A un objeto. Se llama objeto cociente de A una pareja
(j, X), donde X es objeto y j : A X es un epimorfismo. Coc(A) denotara la
coleccion de objetos cocientes de A. Por el principio de dualidad se tiene una relacion
= de equivalencia entre objetos cocientes de A, de tal manera que si
(j1 , X1 )
= (j2 , X2 ) X1
= X2 .
Al igual que en el ejemplo 1.4.5, el recproco de la implicacion anterior no cierto

es en general. Sea A un anillo no trivial y A[x1 ], A[x2 ] anillos de polinomios con
coeficientes en A. La funcion s : A[x1 ] A[x2 ] que asigna a p(x1 ) el polinomio p(x2 )
es claramente un isomorfismo. Las proyecciones
ji : A[x1 ] A[x2 ] A[xi ], i = 1, 2,

son homomorfismos sobreyectivos, con lo cual (j1 , A[x1 ]) y (j2 , A[x2 ]) son objetos
cociente de A[x1 ] A[x2 ]. Supongase que existen homomorfismos f, g tales que el
siguiente diagrama conmuta
A[x1 ] A[x2 ]
@
j2 @ j2
j1 @
@
? @
R
@
f g
A[x2 ] - A[x1 ] - A[x2 ]
Se tiene j1 (x1 , 1) = x1 = f j2 (x1 , 1) = 1, lo cual es absurdo.
Sea COC(A) la coleccion de clases de objetos cociente equivalentes, esto es,

COC(A) = Coc(A)/ =. Se dice que C es colocalmente pequena si COC(A) es un
conjunto para cada objeto A de C.
Ejemplo 1.4.13. ModA es colocalmente pequena. Al seguir el razonamiento del

ejemplo 1.4.7 es posible demostrar que los objetos cocientes de un A-modulo son,
salvo equivalencia, los modulos cociente M/N con los homomorfismos canonicos
j : M M/N, j(m) = m + N, m M .
Para la categora Ani la situacion cambia. Dado un anillo A, los anillos cociente
A/I, con I ideal bilatero propio de A, junto con los homomorfismos canonicos j :
A A/I, son objetos cociente de A. Sin embargo, hay objetos cociente de A no
precedentes de ideales. En efecto, si RC es el anillo clasico de fracciones del anillo
conmutativo R, entonces : R RC , (a) = a1 , es un objeto cociente de R: si
f, g : RC B son homomorfismos tales que f = g , se tiene que

a 1 1 a 1 a
f = f ((a)(s) ) = g (a)(g (s)) = g g =g ,
s 1 s s
es decir, f = g. As, es un epimorfismo y : R RC es un objeto cociente de R.

Notese que por ejemplo ZC = Q y claramente no existe n tal que
(j : Z Zn )
= ( : Z Q).
La causa de todo esto parece estar en que en la categora Ani los epimorfismos no
coinciden con los homomorfismos sobreyectivos. Aun para el caso del anillo Z la
descripcion de todos los objetos cociente de Z es un problema interesante (vease el
ejercicio 16 del presente captulo).
1.5. Interseccion y union

En esta seccion se estudian dos de las operaciones mas comunes que se pueden
realizar con subobjetos de un objeto: la interseccion y la union.
i l
Definicion 1.5.1. Sea {Xi A}iI un conjunto no vaco de subobjetos de un objeto
l
A. El subobjeto X A se denomina interseccion de la familia si se cumplen las
siguientes dos condiciones:
(i) Para cada i I, X precede a todo subobjeto Xi , esto es, se tiene el diagrama
conmutativo
A
li
@l
I
fi
@
Xi X
g f0
(ii) Si X 0
A es un morfismo para el cual existe X 0
i
Xi tal que li fi0 = g para
f
cada i I, entonces existe un unico morfismo X 0
X tal que l f = g:
Xi
fi0 6@ li
fi @
@R
@
f l -
X0 - X A
@
@
iX 0 g
@
R
@
X0
T T
El objeto X se acostumbra a notar iI Xi , o sencillamente, Xi .
Segun la definicion 1.4.2, cada fi es monomorfismo y unico. Notese tambien que
fi f = fi0 para cada i I. En efecto,
li fi0 = g = l f = li (fi f ).
Observese finalmente que si g es un monomorfismo, es decir, si X 0 es un subobjeto
de A que precede a cada Xi , entonces X 0 precede a la interseccion.
l l l
Proposicion 1.5.2. Si X A y X0
A son intersecciones del conjunto {Xi
i
A}iI de subobjetos de A, entonces

l l 0
A)
(X = (X 0
A),
y en particular, X
= X 0.
1.5. INTERSECCION Y UNION 17
f f0
Demostracion. Existen morfismos X 0 X 0 tales que l f = l0 y,
X y, X
0 0
l f = l.
l
Es cierto el recproco de la proposicion anterior? Es decir, si X
A es inter-
li 0
0 l
seccion del conjunto {Xi A}iI y X A es subobjeto equivalente a X, entonces
X 0 es tambien interseccion. La respuesta a esta pregunta es afirmativa. En efecto,
h t
sean X 0 X y, X X 0 morfismos tales que l h = l0 y l0 t = l. Notese que el
diagrama
A
l1 0
@l
I
@
Xi fi h
X0
g
es conmutativo, donde fi es como en la definicion 1.5.1. Sea X 00
A un morfismo
k
para el cual existen X 00 i
Xi tales que li ki = g. Al ser X interseccion, existe
00 k tk
X X tal que l k = g. De esta manera, el morfismo X 00 X 0 es tal que
l0 t k = g. Como l0 es un monomorfismo, t k es unico con la condicion anterior.
Definicion 1.5.3. Una categora se dice que posee intersecciones, si cada con-
junto no vaco de subobjetos de un objeto cualquiera tiene interseccion. La categora
se dice que tiene intersecciones finitas, si cada conjunto finito no vaco de sub-
objetos tiene interseccion.
Ejemplo 1.5.4. Las categoras ModA y Ani tienen intersecciones. En efecto, sea
li
M un A-modulo y {Ni M }iI un conjunto de subobjetos de M . Segun el ejemplo
1.4.7 podemos suponer que Ni es submodulo de M y que li es la inclusion. As, la
T T l
interseccion conjuntista Ni es claramente un submodulo de M y Ni M es
la interseccion de la familia dada, donde l es la inclusion. Los detalles de la prueba
completa son rutinarios. Analogamente, en Ani la interseccion corresponde a la
interseccion conjuntista de subanillos.
f 1 2 l l
Definicion 1.5.5. Sea A B un morfismo y X A, Y
B subobjetos A y
B respectivamente. Se dice que X es llevado en Y a traves de f , si existe un
h
morfismo X Y tal que el siguiente diagrama conmuta
h-
X Y
l1 l2
? ?
A f
- B
l
i
Sea {Xi
A}iI un conjunto no vaco de subobjetos de un objeto A. El subobjeto
l
X A se llama union del conjunto, si se cumplen las siguientes condiciones:
(i) Cada Xi precede a X

A
li
@l
I
@
Xi fi
- X
f
(ii) Si A B es un morfismo tal que cada Xi puede ser llevado en un subobjeto
t
Y B de B a traves de f , entonces X puede ser llevado en Y a traves de f ,
esto es, se tienen los siguientes diagramas conmutativos
hi h-
Xi - Y X Y
li t l t
? ? ? ?
A - B A f
- B
f
S S
El objeto X se acostumbra a notar iI Xi , o, Xi .
Notese que en la definicion anterior h y cada fi en (i) son unicos, ademas fi es un

monomorfismo. Al tomar en (ii) f = iA resulta que si cada Xi precede a un cierto
l0
subobjeto A0 de A, A0 A, entonces X precede a A0 . En efecto, se tiene en este
caso que l1 l = l0 h, es decir, l = l0 h y h es un monomorfismo.
l l0 l
Proposicion 1.5.6. Si X A y X0
A son uniones del conjunto {Xi
i
A} de
l l 0
A)
subobjetos de A, entonces (X 0
= (X A). En particular, X
=X. 0
Demostracion. De (i) y (ii) se obtienen de manera inmediata los siguientes diagramas

conmutativos:
fi f
Xi - X X0 - X
li l l0 l
? ? ? ?
A iA
- A A iA
- A
y
fi0 g
Xi - X X - X0
li l0 l l0
? ? ? ?
A iA
- A A iA
- A
0 0
Resulta entonces l f = l , l g = l.
1.5. INTERSECCION Y UNION 19
l l l0
Sea X A la union del conjunto {Xi i
A}iI de subobjetos de A, y, X 0
A
l 0 l0
0 l
un subobjeto tal que (X A) = (X A). Se tiene entonces que X A es
tambien union del conjunto dado. En efecto, existen monomorfismos f, g tal que el
siguiente diagrama conmuta
Xi
@ li
fi @
? @R
@
f l -
X0 - X A
@
@ g
iX 0
@ l0
R ?
@
X0
De aqu obtenemos la primera condicion para la union.
A
li 0
@l
I
@
Xi - X0
gfi
Para la segunda condicion basta observar la siguiente secuencia de diagramas con-

mutativos
mi m- mf
Xi - Y X Y X0 - Y
li t l t l0 t
? ? ? ? ? ?
A - B A k
- Y
A - B
k k
Esto completa la prueba del recproco de la proposicion 1.5.6.
Definicion 1.5.7. Una categora se dice que tiene uniones si cada conjunto no
vaco de subobjetos de un objeto cualquiera tiene union. Si cada conjunto finito no
vaco de subobjetos de un objeto tiene union se dice que la categora tiene uniones
finitas.
Ejemplo 1.5.8. La categora ModA tiene uniones. Para ver esto, sea M un A-
li
Py {Mi
modulo M }iI un conjunto no vaco de submodulos de M . El modulo
suma iI Mi junto con la inclusion natural conforman la union de la familia dada
(la escogencia de los subobjetos de esta manera se apoya en el ejemplo 1.4.7). La
primera condicion de la union es consecuencia de la manera como se definen las

inclusiones segun el diagrama conmutativo
M
li @l
@
I
@
X
Mi - Mi
li0 iI
f
y, li0 (mi ) = mi . Sea M
N un homomorfismo tal que cada Mi es llevado en el
l0
submodulo N 0
N a traves de f , tal como muestra el siguiente diagrama conmu-
tativo
hi
Mi - N0
li l0
? ?
M f
- N
De esta forma, iI Mi tambien puede ser llevado en N 0 a traves de f , lo cual se

P
ilustra mediante el diagrama conmutativo
X
Mi h-
N0
iI
l0
l
? ?
M f
- N
donde la funcion h definida por h(mi1 + + min ) := hi1 (mi1 ) + + hin (min ), es
un homomorfismo de modulos que hace el diagrama anterior conmutativo.
La categora Ani tiene uniones. Para la prueba basta considerar un anillo A con
li
un conjunto no vaco {Ai A}iI de subanillos de A e inclusiones. Si C es la union
de los conjuntos Ai , i I, entonces el subanillo S(C) generado por C es la union con
la inclusion respectiva l. Los elementos de S(C) son sumas finitas con sumandos de
la forma
anj11 anjtt , donde ajk Ajk , nk 1, k t.
El siguiente diagrama es claramente conmutativo
A
li @l
@
I
@
Ai - S(C)
li0
1.6. IMAGEN Y COIMAGEN 21
f
li0 (ai ) = ai . Sea A
B un homomorfismo de anillos tal que cada Ai es llevado en un
l0
subanillo B 0
B de B a traves de f . Como se ilustra en los siguientes diagramas
conmutativos, S(C) es llevado tambien en B 0 por f :
hi h-
Ai - B0 S(C) B0
li l0 l l0
? ? ? ?
A - B - B
f A f
con h definido por h(anj11 . . . anjtt ) n1

= hj1 (aj1 ) . . . hjt (ajt ) . nt
1.6. Imagen y coimagen

La imagen de un homomorfismo de A-modulos f : M N y el cociente M/ ker(f )
admiten una interpretacion categorica como veremos a continuacion.
f l
Definicion 1.6.1. Sea A
B un morfismo. Un subobjeto (Y B) de B se
denomina imagen de f si se cumplen las siguientes dos condiciones:
(i) f se puede factorizar a traves de Y , es decir, existe un morfismo g : A Y
tal que el siguiente diagrama conmuta
f
A - B
@
g@
(1.6.1)
R l
Y
l0
(ii) Si f se puede factorizar a traves de otro subobjeto Y 0
B de B, entonces
existe un unico morfismo h : Y Y 0 tal que l0 h = l
B iP
P
k PPP l0
Q
6 Q PP
lQ hPP
- Y0
f Y 1

g
3

0

g
A
Observese que el morfismo g en (1.6.1) es unico. Tambien, en l0 h = l se tiene que

h es un monomorfismo y ademas h g = g 0 . El objeto Y de la imagen se acostumbra
l f
denotar por Im(f ), o tambien, f (A). Escribiremos tambien Y B = Im(A B).
l0
Si A0
A es un subobjeto de A, definimos f (A0 ) := Im(f l0 ).
l
Si en (1.6.1) g es epimorfismo se dira que Y
B es imagen epimorfica de f .
l l0 f
B y Y0
Proposicion 1.6.2. Si Y B son imagenes de A
B, entonces
l l 0
B)
(Y = (Y 0
B),
y en particular, Y
= Y 0.
Demostracion. Consecuencia directa de la igualdad l0 h = l.

l f l0
Sea Y B una imagen de A B y Y0 B un subobjeto de B equivalente a
l 0 f
0 l
Y
B. Entonces Y B es tambien imagen de A
B. Esta afirmacion se sigue
de la definicion 1.6.1.
Definicion 1.6.3. Se dice que una categora tiene imagenes si todo morfismo tiene
imagen. Se dira que la categora tiene imagenes epimorficas, si todo morfismo
tiene imagen epimorfica.
Ejemplo 1.6.4. ModA es una categora con imagenes epimorficas. En efecto, si

f
M N es un homomorfismo de A-modulos, entonces el conjunto Im(f ) = {f (m) |
m M }, es un submodulo de N mediante la inclusion l : Im(f ) N el cual confor-
ma la imagen de f . Notese que el morfismo g de (1.6.1) en este caso es sobreyectivo,
y por lo tanto, un epimorfismo.
Im(f )
g @ l

@
g(m) = f (m), m M.
R
@
M f
- N
La verificacion de (ii) queda para el lector.
En la misma forma se establece que Ani es una categora con imagenes epimorfi-
cas.
Observacion 1.6.5. Al aplicar dualidad obtenemos los conceptos de coimagen y

f
coimagen monomorfica en una categora. La coimagen de un morfismo A B
f
sera notada Coim(A B), o simplemente Coim(f ). Las afirmaciones duales de
las contenidas en la proposicion 1.6.2 se cumplen para el caso de la coimagen. Por
analoga con la definicion 1.6.3 se definen las categoras con coimagenes y comiagenes
monomorficas.
Ejemplo 1.6.6. ModA es una categora con coimagenes monomorficas. En efecto,

f
la coimagen del homomorfismo M
N es el modulo cociente M/ ker(f ) junto con
1.7. NUCLEOS Y CONUCLEOS 23
el homomorfismo canonico j, esto es,

M/ ker(f )
j g

3 Q
Q g(m) := f (m), m = m + N (f ), m M.
Qs
M f
- N
j0
Observerse que g es inyectiva, y por lo tanto, un monomorfismo. Sea ahora M N0
un epimorfismo para el cual existe g 0 : N 0 N tal que g 0 j 0 = f . Se tiene
que j 0 es sobreyectivo por ser epimorfismo. Este hecho permite definir una funcion
h : N 0 M/N (f ) de tal forma que el siguiente diagrama conmuta
N X
y
XX
Y
H XXX g0
6 Hg HH XXX
XXX
h
M/ ker(f ) 0 h(n0 ) = m, donde j 0 (m) = n0 , n0 N 0 .
X
f : N

j
* 0

j

M
Veamos que h esta bien definida. Sean m, m0 M tales que j 0 (m) = j 0 (m0 ) = n0 . Se
sigue que g 0 (j 0 (m0 )) = g 0 (j 0 (m)), es decir, f (m) = f (m0 ), de donde m m0 ker(f ),
esto es, m = m0 . Ademas h es evidentemente un A-homomorfismo y cumple la
condicion hj 0 = j. La unicidad de h se desprende del hecho de ser j 0 un epimorfismo.
La caracterizacion de las coimagenes en la categora Ani no es conocida por el
autor. Remitimos al lector al ejercicio 16.
1.7. Nucleos y conucleos

En esta seccion formalizamos la nocion de nucleo de un homomorfismo. Ademas,
para ciertas categoras se generaliza el teorema de correspondencia de la teora de
modulos (corolario 1.7.14).
Definicion 1.7.1. Sean f, g : X Y morfismos. Se llama coigualador de f y g
a un morfismo h : Y Z tal que
(i) h f = h g;
(ii) Para cada morfismo h0 : Y Z 0 que cumpla (i), existe un unico morfismo
k : Z Z 0 tal que el siguiente diagrama es conmutativo:
f h
X g
- Y - Z
@
@ k
h0
@
R ?
@
Z0
En ocasiones simplemente se dice que h, o, Z es el coigualador de f y g y

lo denotaremos por Coig(f, g). Notese que h es un epimorfismo. En efecto, sean
m, n : Z W tales que m h = n h. Se tiene que m h f = m h g y se
garantiza la existencia de un unico morfismo k : Z W tal que k h = m h; por
esta unicidad m = n. De aqu se sigue que h : Y Z es un objeto cociente de Y .
h h0
Proposicion 1.7.2. Sean Y Z yY Z 0 dos coigualadores de f, g : X Y . Se
h h 0
Z)
tiene que (Y = (Y Z 0 ), y en particular, Z
= Z 0.
Demostracion. Evidente a partir de la definicion de coigualador y de objetos co-
cientes equivalentes.
h
Sea Y Z un coigualador de f, g : X Y , y h0 : Y Z 0 un epimorfismo
h h0 h0
tal que (Y Z) = (Y Z 0 ). Entonces Y Z 0 es tambien un coigualador de
m l
f y g. En efecto, existen Z Z 0, Z 0
Z tales que m h = h0 y, l h0 = h. Se
obtiene que h0 f = m h f = m h g = h0 g, cumpliendose as la primera
h00
condicion de coigualador. Si Y Z 00 es tal que h00 f = h00 g, entonces existe
k kl
un unico morfismo Z Z 00 tal que k h = h00 . As, se tiene el morfismo Z 0 Z 00
W
tal que (k l) h0 = h00 . Si existe otro Z 0 Z 00 tal que w h0 = h00 , entonces
w h0 = k h = k l h0 , pero como h0 es epimorfismo entonces w = k l y la
afirmacion esta probada.
Observacion 1.7.3. Al invertir el sentido de las flechas de los morfismos de la

definicion 1.7.1 obtenemos el concepto de igualador de un par de morfismos f, g :
X Y . El siguiente diagrama ilustra la definicion.
h- f
Z X g
- Y
6
k
h0
Z0
h resulta un monomorfismo, con lo cual Z es un subobjeto de X. De otra parte, si

h h0 h h
Z X y Z0 X)
X igualadores de f, g : X Y , entonces (Z = (Z 0
X).
h h0
X es un igualador de f, g : X Z y Z 0
Recprocamente, si Z X es un
h 0
subobjeto de X equivalente a Z, entonces Z 0
X es tambien igualador.
Definicion 1.7.4. Una categora se dice que posee coigualadores (igualadores),

si cada par de morfismos tiene coigualador (igualador).
Ejemplo 1.7.5. ModA es una categora con coigualadores e igualadores. Sean f, g :

M N homomorfismos de modulos, y sea C := {m M | f (m) = g(m)}. C es
l
claramente un submodulo de M y se prueba facilmente que C M es el igualador
de f y g, donde l es la inclusion. Para el coigualador consideramos el homomorfismo
j
diferencia f g y su imagen Im(f g). Se tiene que N N/Im(f g), es el
coigualador de f, g, donde j es el homomorfismo canonico.
Ani tambien es una categora con coigualadores e igualadores. En efecto, si
l
f, g : A B es un homomorfismo de anillos, entonces C A, donde C := {a
j
A | f (a) = g(a)}, es el igualador, donde l es la inclusion. Ademas, B B/U ,
con U := hXi, X := {f (a) g(a) | a A}, es el coigualador de f y g, con j el
homomorfismo canonico y U el ideal bilatero generado por X.
Les corresponde ahora el turno a un subobjeto y a un objeto cociente muy

importantes dentro del algebra: el nucleo y el conucleo de un homomorfismo. La
construccion corresponde a casos particulares de igualador y coigualador respec-
tivamente. Para tal efecto supondremos en adelante en esta seccion, salvo que se
advierta lo contrario, que los objetos y morfismos pertenecen a una categora con
cero morfismos.
f
Definicion 1.7.6. Se denomina nucleo del morfismo A
B al igualador de f y
0AB :
h- f
Z A 0AB- Y
6
k
h0
Z0
h
Segun vimos en la observacion 1.7.3, el nucleo Z
A es un monomorfismo, es
h
decir, Z es subobjeto de A. Se utiliza la notacion, Z = ker(f ), o tambien, (Z

f
A) = ker(A B). Segun se noto en la observacion 1.7.3, dos nucleos de f son
subobjetos equivalentes. Ademas, un subobjeto de A equivalente al nucleo de f es
tambien nucleo de f .
f
De manera dual se define el conucleo del morfismo A B como el coigualador
f
de f y 0AB . Utilizaremos en este caso las notaciones coker(f ) y coker(A
B).
Un categora con cero morfismos se dice que posee nucleos (conucleos), si
cada morfismo tiene nucleo (conucleo).
Ejemplo 1.7.7. Segun el ejemplo 1.7.5, ModA es una categora con nucleos y
f
conucleos. Mas exactamente, si M
N es un homomorfismo de modulos, su nucleo
l
es ker(f ) = {m M | f (m) = 0}, junto con la inclusion ker(f )
M . El conucleo
es coker(f ) = N/Im(f ), junto con el homomorfismo canonico j : N N/Im(f ).
Puesto que Ani no posee cero morfismos, no definimos nucleos ni conucleos.

f
Definicion 1.7.8. Se dice que el monomorfismo A B es normal si f es nucleo de
algun morfismo. La categora se dice normal si cada monomorfismo es normal. De
manera dual se definen los epimorfismos conormales y las categoras conormales.
f
Ejemplo 1.7.9. ModA es normal y conormal. Si M N es un monomorfismo,
entonces f es nucleo del homomorfismo canonico j : N N/Im(f ). En efecto, es
f0
claro que j f = 0. Ahora, si Z 0 N es un homomorfismo tal que j f 0 = 0,
entonces el siguiente diagrama es conmutativo
f j
M - N - N/Im(f )
6
k
f0
Z0
donde k se define por k(x) = m M , con f (m) = f (x), para cada x Z. Notese
que k esta bien definida debido a la inyectividad de f .
f
De otra parte, si M N es un epimorfismo, entonces f es el conucleo del
l0
homomorfismo inclusion l : ker(f ) M . Claramente f l = 0. Si M Z 0 es un
homomorfismo tal que f 0 l = 0, entonces el siguiente diagrama es conmutativo
l f
ker(f ) - M - N
@
@ k
f0 @
@
R ?
@
Z0
donde k se define como k(x) = f 0 (m), con x = f (m) para todo x N .
Es conocido (vease [8]) que existe una correspondencia biyectiva entre los sub-
modulos de un modulo dado M y los modulos cociente de M . Esta correspondencia
se presenta en categoras mas generales como veremos a continuacion. Para esto
mostraremos inicialmente un resultado preliminar.
h f h0
Proposicion 1.7.10. Si Z A es el nucleo de A Z 0 es el conucleo
B yA
0
de h, entonces h es el nucleo de h .
h00
Demostracion. Por las condiciones dadas se tiene que h h0 = 0. Sea Z 00 A tal
que h0 circh00 = 0
h f
Z - A - B
6 @ 6
t2 t1
h00 h0
@
@R
@
Z 00 Z0
Puesto que f h = 0 y h0 es conucleo de h, existe t1 : Z 0 B tal que t1 h0 = f .
Resulta, f h00 = t1 h0 h00 = 0. Como h es conucleo de f , existe t2 : Z 00 Z tal
que h t2 = h00 . Como h es monomorfismo, t2 es el unico que cumple la identidad
anterior. Esto completa la prueba de la proposicion.
Al aplicar el principio de dualidad tenemos el siguiente resultado.

j f l
Proposicion 1.7.11. Si B B y B0
Z es el conucleo de A B es el nucleo
de j, entonces j es el conucleo de l.
Proposicion 1.7.12. Sea C una categora con conucleos. Para cada objeto A de C
existe una funcion
: SUB(A) COC(A).
Si ademas C es colocalmente pequena, C es localmente pequena. Si suplementaria-
mente C es normal, la funcion es inyectiva.
1 l j1
Demostracion. Sea A1 A un subobjeto de A y A B1 su conucleo. Se define
(A1 ) = B1 .
l1 l2
(i)Veamos que esta bien definida. Sean A1
A y A2
A subobjetos equiv-
j1 j2
alentes de A con conucleos A B1 y A B2 , respectivamente.
iA1 l1 j1 iB1
A1 - A1 - A - B1 B1
@
I @
@ n @ t
m@ l2 j2 s
@
@ ? R
@ ?
A2 B2
Como j2 l1 = j2 (l2 n) = 0, existe un morfismo t : B1 B2 tal que t j1 = j2 .

Ademas, j1 l2 = j1 (l1 m) = 0, con lo cual existe s : B2 B1 tal que s j2 = j1 .
As, B1 = B2 .
j0 l
De otra parte, sabemos que si A 1
B10 es otro conucleo de A1
1
A, entonces
B1 = B2 . Estas dos observaciones garantizan que esta bien definida.
(ii) Si COC(A) es un conjunto, entonces SUB(A) tambien lo es. En otras pala-
bras, si C es colocalmente pequena, es localmente pequena.
1 l2 l
(iii) es inyectiva. Sean A1 A y A2 A subobjetos de A con conucleos
j1 j2
A
B1 y A B2 , respectivamente, tales que B1 = B2 .
iA1 l1 j1 iB1
A1 - A1 - A - B1 B1
@
I @
@ v @ n
t@ l2 j2 m
@
@ ? R
@ ?
A2 B2
Como C es normal, l1 es nucleo de algun morfismo de C, la proposicion 1.7.10 garan-

tiza que l1 es nucleo de j1 . Ademas, como j1 l2 = m j2 l2 = 0, existe un morfismo
t : A2 A1 tal que l1 t = l2 . Al aplicar el mismo razonamiento a l2 , encontramos
v : A1 A2 tal que l2 v = l1 . Esto demuestra que A1 = A2 .
Por el principio de dualidad tenemos la siguiente proposicion.
Proposicion 1.7.13. Sea C una categora con nucleos. Para cada objeto A de C exis-
te una funcion : COC(A) SUB(A). En particular, si C es localmente pequena,
entonces es colocalmente pequena. Ademas, si C es conormal, la funcion es inyec-
tiva.
Corolario 1.7.14. Sea C una categora con nucleos y conucleos, normal y conormal.
Para cada A Ob(C) existe una correspondencia biyectiva entre SUB(A) y COC(A).
En particular, C es localmente pequena si, y solo si, C es colocalmente pequena.
1.8. Producto y suma fibrada

Otro de los subobjetos importantes asociados a un morfismo lo constituye la imagen
inversa, la cual se define por medio del llamado producto fibrado. En la proxima
seccion estudiaremos la imagenes inversas, por ahora consideramos los productos y
sumas fibradas.
f1 f2
Definicion 1.8.1. Sean X1 Y y X2 Y morfismos. Se denomina producto
g1 g2
fibrado de f1 y f2 al par de morfismos X
X1 , X
X2 tales que
(i) f1 g1 = f2 g2 , esto es, se tiene el diagrama conmutativo

g2
X - X2
g1 f2
? ?
X1 f1
- Y
1.8. PRODUCTO Y SUMA FIBRADA 29
g0 g0
(ii) Si X 0
1
X1 , X 0 2
X2 son tambien morfismos tales que f1 g10 = f2 g20 ,
entonces existe un unico morfismo h : X 0 X tal que g2 h = g20 y g1 h = g10
X0
H
A@ HhH g20
A @ HH
A @ HH
R
@ g2H
j
H
A - X2
g10 A X
A
A g1 f2
A
AU ? ?
X1 - Y
f1
g0 g0 f1
Notese que si (X 0
1
X1 , X 0
2
X2 ) es tambien un producto fibrado de X1 Y
f2 0 0
y X2 Y , entonces X = X. En efecto, al aplicar (ii) a X , considerado como
producto fibrado, encontramos un morfismo t : X X 0 tal que g10 t = g1 y
g20 t = g2 . Resulta entonces que gi h t = gi , i = 1, 2. Puesto que X es producto
fibrado y que g1 iX = g1 , g2 iX = g2 , entonces h t = iX . De manera analoga se
tiene que t h = i0X .
Al aplicar el principio de dualidad a la definicion 1.8.1 obtenemos el concepto de
f1 f2
suma fibrada de un par de morfismos Y X1 y Y X2 .
g1 g2
Definicion 1.8.2. La pareja (X1 X, X2 X) se denomina suma fibrada de
f1 y f2 si se cumplen las siguientes dos condiciones:
(i) g2 f2 = g1 f1 , esto es, el siguiente diagrama conmuta
f2
Y - X2
f1 g2
? ?
X1 g1
- X
g0 g0
(ii) Si X1
1
X 0 , y, X2
2
X son tambien morfismos tales que g10 f1 = g20 f2 ,
entonces existe un unico morfismo h : X X 0 tal que hg1 = g10 y hg2 = g20 ,
esto es, se tiene el diagrama conmutativo

f2
Y - X2
A
f1 g2A
? ? A 0
A g2
X1 - X
H g1
A
HH @ A
H A
HHh@ A
g10 @
H @RAU
Hj
H
X0
Al igual que en el caso del producto fibrado, dos sumas fibradas son isomorfas.
Consideramos a continuacion algunas consecuencias de las definicionos anteriores.
g1 g2
Proposicion 1.8.3. Sea (X
X1 , X
X2 ) el producto fibrado de los morfismos
f1 f2
X1
Y y X2
Y . Se tienen las siguientes proposiciones:
(i) Si f1 es monomorfismo, entonces g2 es monomorfismo.
(ii) Si f2 es monomorfismo, entonces g1 es monomorfismo.

f2 l m n
(iii) Si (X2
Y, X2
W ) es el producto fibrado de Y Z yW Z, y ademas
g1 g2
n es un monomorfismo, entonces (X X1 , X X2 ) es el producto fibrado
mf1 n
de X1 Z y W
Z.
Demostracion. (i) Sean p, q : W X tales que g2 p = g2 q:
W
H
A@ HH u=q2 q
A @ HH
q, p
A @ H
HH
A @ R g2 H
j
- X2
v=g1 p A X
A
A g1 f2
A
AU ? ?
X - Y
1
f1
Sean v := g1 p y u := g2 q. Se tiene que
f1 v = f1 g1 p = f2 g2 p = f2 g2 q = f2 u.
Existe un unico morfismo h : W X tal que g2 h = u y g1 h = v. Puesto que q

cumple la primera condicion, basta mostrar que g1 q = v, para concluir h = p = q.
1.8. PRODUCTO Y SUMA FIBRADA 31
As pues, f1 v = f2 g2 q = f1 g1 q. Dado que f1 es un monomorfismo, se

obtiene la conclusion deseada.
(ii) La demostracion es analoga a la de (i).
a b
(iii) Sean X 0
W y X0 X1 tales que n a = m f1 b. Como X2 es producto
fibrado de m y n, existe un morfismo h0 : X 0 X2 tal que lh0 = a, y, f2 h0 = f1 b.
Puesto que X es producto fibrado de f1 y f2 existe h : X 0 X tal que g2 h = h0
y g1 h = b.
1X 0
X0 - X0
H H
A@ HhH h0 HH a
A @ H HH HH
A @ H
HH HH
A @ R g2 H
j l H
j
bA X - X2 - W
A
A g1 f2 n
A
AU ? ? ?
X1 - Y
f1
- Z
m
Se tiene que (l g2 ) h = a y g1 h = b. Sea h : X 0 X otro morfismo tal que

00
g1 h00 = b y (l g2 ) h00 = a. As, g1 h = g1 h00 . Segun (ii) g1 es un monomorfismo,

de donde h = h00 .
Al aplicar el principio de dualidad obtenemos la siguiente proposicion.
g1 g2 f1
Proposicion 1.8.4. Sea (X1
X, X2
X) la suma fibrada de Y
X1 y
f2
Y
X2 . Se tienen las siguientes afirmaciones:
(i) Si f1 es epimorfismo, entonces g2 es epimorfismo.
1. Si f2 es epimorfismo, entonces g1 es epimorfismo.

m n g2 l
2. Si (X
Z, W
Z) es la suma fibrada de X2
X y X2
W donde n es
mg1 n f1
epimorfismo, entonces (X1 Z, W
Z) es la suma fibrada de Y
X1
lf2
y Y X2 .
Definicion 1.8.5. Una categora se dice que tiene productos fibrados si cada par
de morfismos de dominio comun posee producto fibrado.
Analogamente se definen las categoras de sumas fibradas.
Ejemplo 1.8.6. ModA es una categora con productos y sumas fibradas. Sean
f1 f2 1 2
M1 N y, M2 N homomorfismos. Se tiene que (P M1 , P M2 ) es el
producto fibrado de M1 y M2 , donde
P := {(m1 , m2 ) M1 M2 | f1 (m1 ) = f2 (m2 )},

y 1 y 2 son proyecciones.
g1
Sean ahora f1 : M N1 y f2 : M N2 homomorfismos. Se sigue que (N1
g2
L, N2 L) es la suma fibrada de f1 y f2 , donde L esta dado por L := N1 N2 /N ,
y N := {(f1 (m), f2 (m)) | m M }, y, g1 : N1 L, g2 : N2 L estan dadas por
g1 (n1 ) := (n1 , 0) y g2 (n2 ) := (0, n2 ), respectivamente.
La categora Ani tiene productos fibrados y su construccion es similar al caso

de modulos.
1.9. Imagen inversa

f l
B un morfismo y B 0
Definicion 1.9.1. Sean A B un subobjeto de B. Se
0
denomina imagen inversa de B a traves de f al producto fibrado de f y l:
g
X - B0
h l
? ?
A f
- B
Segun la proposicion 1.8.3, X es un subobjeto de A el cual se denota por f 1 (B 0 ).
Observacion 1.9.2. Al aplicar la parte final de la definicion 1.8.1 encontramos

h h l f
que si X A y X0 A son imagenes inversas de B 0
B a traves de A B,
h
entonces X = X 0 . De otra parte, supongase que X
A es imagen inversa de B 0
h 0 h
y que X 0
A es equivalente a X A. Por tanto, X 0 es imagen inversa de B 0 .
Realizamos la prueba esquematica de esta afirmacion no evidente por s misma:
q
X0 X
A@ p 6 gp
A @ 1X X0 - B0
A @
g0
R
@
A
X - B0 h0 l
h0 A
A ? ?
A h
A
l A f
- B
U ?
A ?
A f
- B
g0 h00
Si X 00
B 0 y X 00 A son morfismos tales que l g 0 = f h00 , entonces existe
un unico morfismo w : X 00 X tal que h w = h00 y g w = g 0 . As, se tiene el
1.9. IMAGEN INVERSA 33
diagrama conmutativo
X 00
H
A@ Hqw H g0
A @ HH
A @ HH
R
@ gpH
j
H
A 0 - B0
h 00 A X
A
A h0 l
A
AU ? ?
A f
- B
0 00
En efecto, h q w = h w = h ;
l g p q w = f h p q w = f h0 q w = f h00 = l g 0 ,
de donde (g p) (q w) = g 0 . Supongase que existe otro morfismo t : X 00 X 0 tal

que h0 t = h00 y (g p) t = g 0 . Se sigue que h0 t = h0 (q w), de donde obtenemos
t = q w, completando as la prueba de la afirmacion.
Una categora se dice que tiene imagenes inversas, si para cada morfismo
f l
B y cada subobjeto B 0
A B existe la imagen inversa f 1 (B 0 ).
f
Ejemplo 1.9.3. ModA posee imagenes inversas. En efecto, si M
N es un ho-
0 l
momorfismo de modulos y N
N es un submodulo de N , entonces
f 1 (N 0 ) = {m M | f (m) N 0 }
es un sumbodulo de M , que junto con la inclusion f 1 (N 0 ) M conforma la imagen

inversa de N 0 .
De manera similar se define la imagen inversa en Ani. As, Ani posee imagenes
inversas.
Consideramos ensequida algunas propiedades de las imagenes y de las imagenes
inversas.
f
Proposicion 1.9.4. Sea A
B un morfismo y
A1 A2 A, B1 B2 B.
Si suponemos que cada una de las siguientes expresiones esta definida, obtenemos
las siguientes relaciones:
(i) f (A1 ) f (A2 );
(ii) f 1 (B1 ) f 1 (B2 );

(iii) A1 f 1 (f (A1 ));
(iv) f (f 1 (B1 )) B1 ;
(v) f (A1 ) = f (f 1 (f (A1 )));
(vi) f 1 (B1 ) = f 1 (f (f 1 (B1 ))).
Demostracion. Para esta demostracion los siguientes diagramas resultan suficientes:
(i)
l1 f l2 f
A1 - A - B A2 - A - B k
A1 - A
2
@ @
g1@ g2@
@
l l0 l1
R
@ l2
@
R
@ @R
@
f (A1 ) f (A1 ) A
k l2 f
A1 - A2 - A - B
HH *

HHg1 l 6
iA1 H iB
HH
j
H
?
A1 f (A1 ) B
HH
*
HH l0
h
g2 k HH
HH
j ?

f (A2 )
Notese que f l2 k = l0 g2 k, es decir, f l1 = l0 (g2 k). Como f (A1 )

es imagen de f l1 , entonces existe un morfismo h : f (A1 ) f (A2 ) tal que
l0 h = l, esto es, f (A1 ) f (A2 ).
(ii)
g1 g2
f 1 (B1 ) - B1 f 1 (B2 ) - B2
h1 l1 h2 l2
? ? ? ?
A f
- B A f
- B
f 1 (B1 )
A @ HHH
A @ t H kg1
HH
k A @
B1 - B
2 A @
R
@
HH
H
A
1 g2H
j
H
@ A f (B2 ) - B2
l1
R
@ l2 h1
A
B A
A h l2
A 2
A
AU ? ?
A - B
f
Tenemos l2 k g1 = l1 g1 = f h1 . Existe un unico t tal que h2 t = h1 ,

esto es, f 1 (B1 ) f 1 (B2 ).
(iii)
A1 P
QPP
S Q kPPP gl1
S QQ PP
PP
S Q
s
Q PP
PP
S 1 l -
q
l1
S f (f (A 1 )) f (A1 )
S
S
S t h
SS
w ? ?
A f
- B
3
g
h

?
f (A1 )
Dado que hg l1 = f l1 , existe k tal que tk = l1 , es decir, A1 f 1 (f (A1 )).

(iv)
h1 b
f 1 (B) - A - B
A@

g A @
f 1 (B1 ) - B1 A q@ l

A @
A @
R
1

gA f (f (B1 )) l1
A
h1 l1
A
? ? A
A f
- B A m

A
A
AU ?
B1
Como f h1 = l1 g, existe un unico m tal que l1 m = l, es decir, f (f 1 (B1 ))

B1 .
(v) Tenemos A1 f 1 (f (A1 )), luego f (A1 ) f (f 1 (f (A1 ))). De (iv) se obtiene
que f (f 1 (f (A1 ))) f (A1 ).
(vi) Por (ii) y (iv) f 1 (f (f 1 (B1 ))) f 1 (B1 ), y de (iii), tomando A1 = f 1 (B1 ),
completamos la prueba.
Las propiedades del punto anterior pueden ser complementadas de la siguiente

manera.
f
Proposicion 1.9.5. (i) Si A
B es un morfimo en una categora con imagenes
li
y {A1
e imagenes inversas S A}iI es una Sfamilia no vaca de subobjetos
deSA para los cuales iI Ai existe, entonces iI f (Ai ) existe y coincide con
f ( iI Ai ).
f i l
(ii) Si A B es un morfismo en una categora con imagenes inversas y T
{Bi

B}iI es una familia no vaca de subobjetoss de B para
T los cuales iI Bi
1 1
T
existe, entonces iI f (Bi ) existe y coincide con f ( iI Bi ).
S
Demostracion. (i) Probaremos que f ( iI Ai ) es la union de la familia {f (Ai )}. Sea
h
[
Ai
A
iI
S
la union de la familia {Ai } y f ( iI Ai ) su imagen por f h:
[
Ai h f
- A - B
iI

@
g@ t
R
@
[
f Ai
iI
S S
Observese que f ( iI Ai ) B. Como S A i iI Ai para cada i I, segun la
proposicion 1.9.4 se tiene f (Ai ) f ( iI Ai ) :
[
fi
f (Ai ) - f Ai
iI
@
@
l1@ t
R
@
B
l
Sea ahora n : B C un morfismo y C 0
C un subobjeto de C tal que cada f (Ai )
puede ser llevado en C 0 :
ti
f (A1 ) - C0
l1 l
? ?
B n
- C
Se debe probar que f ( iI Ai ) puede ser llevado en C 0 . Tenemos

S
hi f
Ai - A - B
@
k
@ li
i
@
R
f (Ai )
Consideremos la imagen inversa de C 0 a traves de n

w-
n1 (C 0 ) C0
z l
? ?
B n
- C
Existe un unico morfismo mi tal que el siguiente diagrama conmuta
f (Ai )
H
A @ HH
A @ mi HH ti
A @ H
HH
A @
R
@ H
A 1 0 wHj
H
- C0
li
A n (C )
A
A
A z l
A
AAU ? ?
B - C n
Resulta el diagrama conmutativo
mi ki
Ai - n1 (C 0 )
hi z
? ?
A f
- B
Ai n1 (C 0 ) tal que el siguiente diagrama

S
Por la condicion de union existe v : iI
conmuta
[
Ai v - n1 (C 0 )
iI
z
h
? ?
A f
- B
1.10. PRODUCTO Y COPRODUCTO 39
y tambien obtenemos un morfismo u tal que z u = t:

[
Ai h f
- A - B
iI

A @
A g@ t

A @ R
[
A
A f Ai z

v A
iI
A
A
Au
AU ?
n1 (C 0 )
As, obtenemos el diagrama conmutativo

[
wu-
f Ai n1 (C 0 )
iI
l
t
? ?
B n
- C
lo cual completa la prueba de (i).

(ii) Queda como ejercicio para el lector.
1.10. Producto y coproducto

El producto y la suma directa externa de modulos (vease [8]) permiten
generalizaciones a categoras arbitrarias por medio de los objetos producto y co-
producto, respectivamente.
Definicion 1.10.1. Sea {Ai }iI un conjunto no vaco de objetos de una categora
Q
C. Se denomina producto del conjunto {Ai }iI a un objeto de C notado por iI Ai
y un conjunto Y
{pj : Ai Aj }jI
iI
de morfismos llamados proyecciones, tales que para cada objeto C de C y cada

conjunto {fj : C Aj }jI de morfismos existe un unico morfismo f , tal que para
cada j I el siguiente diagrama
C
@
f @ fj
? @ (1.10.1)
Y @ R
@
Ai - Aj
p j
iI
es conmutativo.
SiQI es finito, I = {1, 2, . . . , n}, el producto del conjunto {A1 , . . . , An } se denota

por ni=1 Ai , o, A1 A2 An . Si todos los objetos del conjunto {Ai }iI son
iguales, Ai = A para cada i I, el producto se denota por AI . Como es de esperar
dos productos del conjunto {Ai }iI son objetos isomorfos.
Una categora se dice que tiene productos si cada conjunto no vaco de objetos
tiene producto. Si cada conjunto finito tiene producto la categora se dice que tiene
productos finitos.
A partir de la definicion es sencillo probar las siguientes afirmaciones. Su de-
mostracion queda a cargo del lector.
(i) Sea {Ai }iI un conjunto no vaco de objetos y : I I una funcion biyectiva
del conjunto I de ndices. Entonces
Ai
Y Y
= A(i) .
iI iI
(ii) Si en una categora cada par de objetos tiene producto, entonces la categora
tiene productos finitos.
Q
Proposicion 1.10.2. Sea {pj : iI Aj }jI el producto del conjunto {Ai }iI .
Para j I se tiene que pj es retraccion si, y solo si, Mor(Aj , Ai ) 6= para cada
i I.
Q
Demostracion. Si pj es retraccion, existe un morfismo h : Aj iI Ai tal que
pj h = 1. As, pi h Mor(Aj , Ai ) para cada i I.
Supongase que para cada i I, Mor(Aj , Ai ) 6= . Existe entonces un conjunto de
morfismos Q {fi : Aj Ai }iI , donde tomamos fj = iAj . Encontramos un morfismo
f : Aj iI Ai tal que pi f = fi para cada i I. En particular, pj f = iAj ,
con lo cual pj es retraccion.
Corolario 1.10.3. En una categora con cero morfismos las proyecciones del pro-
ducto son retracciones, y por lo tanto epimorfismos.
Demostracion. Consecuencia directa de la proposicion anterior.

Proposicion 1.10.4. Sean C unaQcategora con cero morfismos, {Ai }iI un conjunto
no vaco de objetos de C y {pj : iI Ai Aj } su producto. Al tomar j I fijo y
i k
considerando el conjunto de morfismos {Aj Ai }, donde
(
0, i 6= j
ki =
iAi , i = j,
existe un unico morfismo qj0 : Aj iI Ai tal que

Q
(
0, i 6= j
pi qj0 = . (1.10.2)
iAj , i = j
Los morfismos {qj0 : Aj iI Ai }jI unvocamente determinados por (1.10.2) se

Q
denominan inyecciones del producto.
Proposicion 1.10.5. Sean C una categora con cero morfismos, A1 , A2 objetos de
C y {pi : A1 A2 Ai }i=1,2 su producto. Si q10 : A1 A1 A2 es una inyeccion del
producto, entonces q10 es nucleo de p2 (afirmacion analoga se tiene para q20 y p1 ). Si
C es ademas conormal, entonces p2 es el conucleo de q10 (p1 es el conucleo de q20 ).
q0
Demostracion. Segun (1.10.2), p2 q10 = 0. Ademas, como q10 es monomorfismo A1
1
A1 A2 es un subobjeto de A1 A2 . Sea h : C A1 A2 tal que p2 h = 0. Se

p1 h p2 h=0
tienen los morfismos C A1 y C A2 :
q10 p2
A1 - A 1 A2 - A2
6
p1 h
h
Por la condicion del producto existe un unico f : C A1 A2 tal que
p1 f = p1 h y p2 f = p2 h = 0.
Pero los morfismos h y q10 p1 h tambien cumplen estas dos relaciones:
p1 h = p1 h, p2 h = p2 h = 0
p1 (q10 p1 h) = p1 h p2 (q10 p1 h) = 0.
Por unicidad se tiene que f = h = q10 p1 h.

La segunda afirmacion es consecuencia de la proposicion 1.7.11.
Al aplicar el principio de dualidad obtenemos el concepto de coproducto de un

conjunto no vaco deL objetos {Ai }iI de una categora cualquiera
L C. El objeto en este
caso es notado por iI Ai y los morfismos {qj : Aj iI Ai }jI son llamadas
inyecciones. La propiedad que define y caracteriza al coproducto se obtiene de
1.10.1 invirtiendo el sentido Lde las flechas. Si I = In = {1, 2, . . . , n} es finito, tambien
n
denotamos al coproducto i=1 Ai como A1 A2 An . Si todos los objetos Ai
son iguales, Ai = A para cada i I, el coproducto se denota por A(I) .
Las afirmaciones duales de (i) y (ii) de la definicion 1.10.1 se cumplen. La proposi-
cion 1.10.2 toma ahora la siguiente forma. Para cada j I, qj es coretraccion si, y
solo si, Mor(Ai , Aj ) 6= , para cada i I.
Si la categora C tiene cero morfismos, las inyecciones del coproducto son corre-
tracciones y por lo tanto monomorfismos.
Las proyecciones del coproducto se definen como los morfismos p0j : iI Ai
L
Aj , j I, tales que
(
0, i 6= j,
p0j qi =
iAi i = j.
La coleccion {p0j } existe y es unica. La proposicion dual de la proposicion 1.10.5 es

valida.
Ejemplo 1.10.6. ModA tiene productos y coproductos, vease [8]. Como ModA
tiene objeto cero, las proyecciones del producto son epimorfismos. En Ani el produc-
to se define por componentes de manera analoga a como se hizo en ModA . Aunque
Ani no posee cero morfismos, las proyecciones del producto son epimorfismos. En
efecto, sean h, g : Aj C homomorfismos
Q de anillos tales que hpj = g pj , donde
Q pj
es una proyeccion del producto iI Ai . Considerese a Aj . Sea f = (fi ) iI Ai
definido por
(
0, i 6= j
fi =
a, i = j.
Se cumple que
g pj (f ) = g(a) = h pj (f ) = h(a).
Proposicion 1.10.7. Sean {Ai }iI y {Bi }iI conjuntos no Q vacos de objetos de
una
Q categora. Supongase que existen los productos {p i : iI Ai Ai } y {pi :
iI Bi Bi }. Sea {hi : Ai Bi }iI un conjunto de morfismos dado. Existe un
Q
unico morfismo h = iI hi tal que el siguiente diagrama conmuta
Y Q Y
hi
Ai - Bi
iI iI
pi pi
? ?
Ai hi
- B
i
Demostracion. La definicion de producto y los siguientes diagramas ilustran la de-

mostracion:
Y Y
Y
Ai A i h - Bi
iI I
iI
@ hi pi @
pi @ pi
@ hi pi @
? R
@ @R
@ ?
Ai - Bi
hi Bi
Observacion 1.10.8. El morfismo de la proposicion 1.10.7 se denomina produc-

to del conjunto {hi }. Notese que dicho morfismo producto cumple las siguientes
relaciones Y Y Y Y
ti hi = (ti hi ), iAi = iQiI Ai (1.10.3)
iI iI iI iI
donde {ti : Bi Ci }iI es otro conjunto no vaco de morfismos.

L
De manera dual se define el morfismo coproducto iI hi , cumpliendo relaciones
analogas a (1.10.3).
Proposicion 1.10.9. Sean {Aj }jJ y {Bi }iI conjuntos no
Lvacos de objetos de una
Q Supongase que existen el coproducto {qj : Aj jJ Aj }jJ y el producto
categora.
{pi : iI Bi L Bi }iI . Existe
Q una correspondencia biyectiva entre el conjunto de
morfismos Mor( jJ Aj , iI Bi ) y el conjunto M de matrices
M := {[fij ]) | fij Mor(Aj , Bi ), i I, j J}

L Q
tales que pi f qj = fij , para cada f Mor( jJ Aj , iI Bi ) y cada i I, j J.
Demostracion. Dado un morfismo
M Y
f: Aj Bi
jJ iI
se determina unvocamente una matriz [fij ] por medio del siguiente diagrama
M Y
Aj f Bi
-
jI iI
6
qj pi
?
Aj - Bi
fij
fij = pi f qj
Recprocamente, consideremos la matriz [fij ] M , con fij : Aj Bi un morfismo.

Fijemos i I. Se tiene que el conjunto de morfismos {fijL: Aj Bi }jJ . Por
la condicion del coproducto existe un unico morfismo fi0 : jJ Aj Bi tal que
fi0 qj = fij ,Lpara cada Qi I. Segun la condicion del producto existe un unico
morfismo f : jJ Aj iI Bi tal que pi f = fi0 , para cada i I. Se obtiene un
morfismo f tal que pi f qj = fij .
L Q
Los morfismos en Mor( jJ Aj , iI Bi ) son representados tambien por su co-
rrespondiente matriz f = [fij ].
Si C es una categora con cero morfismos y {Ai }iI es un conjunto no vaco de
objetos para los cuales existen el producto y el coproducto, entonces de acuerdo con
lo anterior existe un unico morfismo
M Y
= [ij ] : Ai Ai
iI iI
tal que (
0, i 6= j
pi qj = ij = (1.10.4)
iAi , i = j.
Notese
L que la matriz de este morfismo es la identica. Si es un isomorfismo se dice
que iI Ai es un biproducto.
Para terminar consideremos los morfismos diagonal y codiagonal.
Definicion 1.10.10. Sea {Ai }iI un conjunto de objetos identicos en una categora,
Ai = A para cada i I. Supongase que existen el producto AI y el coproducto A(I) .
La familia de morfismos identicos {iA : A A} induce el morfismo : A AI ,
tal que pi = iA para cada i I. se denomina morfismo diagonal.
Notese que es monomorfismo. De manera analoga se induce el morfismo

codiagonal O : A(I) A, tal que O qi = iA para cada i I. O es epimorfismo.
1.11. LAS CATEGORIAS MODA Y ANI 45
Ejemplo 1.10.11. En la categoraL ModA el morfismo definido por (1.10.4) es

la inclusion del coproducto iI Mi (suma directa externa) en el producto. Si I =
{1, 2, . . . , n} es finito, entonces = iM1 Mn , con lo cual el coproducto es un
biproducto. Ademas,
iM1 Mn = q1 p1 + + qn pn ,
donde qi , pi son las inyecciones y proyecciones respectivamente.

El morfismo diagonal en ModA viene dado por
(a) = f = (fi ) AI , fi = a, para todo i I.
El codiagonal es (
0, f = 0
O(f ) = P
iIf fi , f 6= 0
donde If denota el soporte de f .
En Ani el morfismo diagonal se define como en ModA .
1.11. Las categoras ModA y Ani

En esta seccion se resumen varios de los resultados encontrados en secciones anteri-
ores relativos a las categoras ModA y Ani. Los cuadros que presentaremos deben ser
entendidos de la siguiente manera: una relacion de la forma igualador monomor-
fismoindica que cada igualador es un monomorfismo y que un monomorfismo dado
es igualador de cierto par de morfismos.
Relaciones basicas en una categora C
(i) Un nucleo, una union, una interseccion, una imagen, un igualador, una imagen
inversa y una corretraccion son monomorfismos.
l S
(ii) Un monomorfismo en una union: (A1
A) = A1 .
l T
(iii) Un monomorfismo es una interseccion: (A1
A) = A1 .
l l
(iv) Un monomorfismo es una imagen: (A1
A) = Im(A1
A).
l
(v) Un monomorfismo es una imagen inversa: (A1
A) = iA1 (A1 ).
f
(vi) Un nucleo es un igualador: ker(A
B) = Ig(f, 0AB ).
(vii) Todo isomorfismo es bimorfismo.
(viii) Un conucleo, una coimagen, un coigualador y una retraccion son epimorfismos.

j j
(ix) Un epimorfismo es una coimagen: (A
B) = Coim(A
B).
f
(x) Un conucleo es un coigualador: Con(A
B) = Coig(f, 0AB ).
f
(xi) Una corretraccion es un coigualador: sea A
B una corretraccion y g : B A
tal que g f = iA . Se sigue que f = Im(iB , f g).
f
(xii) Una retraccion es un coigualador: sea A B retraccion y g : B A tal que
f g = iB . Se obtiene f = Coig(iA , g f ).
Observacion 1.11.1. Las relaciones anteriores pueden resumirse de la siguiente

forma:
1. Union Monomorfismo Imagen;
2. Imagen inversa Monomorfismo Interseccion;
3. Igualador Nucleo Monomorfismo Igualador Corretraccion;
4. Coimagen Epimorfismo Conucleo Coigualador Retraccion;
5. Coigualador Epimorfismo Retraccion;
6. Isomorfismo Bimorfismo.
De las relaciones presentadas en la observacion 1.11.1 surgen inmediatamente las

siguientes preguntas:
Todo igualador es una corretraccion?
Todo monomorfismo es una corretraccion?
Todo monomorfismo es un igualador? (Si una categora no posee cero morfis-

mos entonces no todo monomorfismo es nucleo y no todo igualador rd nucleo).
Todo epimorfismo es retraccion?
Todo coigualador es retraccion?
Todo epimorfismo es coigualador? (Si la categora no tiene cero morfismos

entonces no todo epimorfismo es conucleo y no todo coigualador es conucleo).
Las respuestas a estas preguntas son todas negativas como veremos en el resumen
para anillos y modulos.
Propiedades basicas de la categora ModA
(i) Salvo equivalencia, los subobjetos de un modulo son sus submodulos con las
inclusiones.
(ii) Salvo equivalencia, los objetos cociente de un modulo son los modulos cociente
con los homomorfismos canonicos.
(iii) ModA es localmente y colocalmente pequena.
(iv) ModA no es noetheriana ni artiniana para A 6= 0.
(v) 0 es objeto cero de ModA .
(vi) ModA tiene cero morfismos.
(vii) ModA tiene igualadores y coigualadores.
(viii) ModA tiene uniones e intersecciones.
(ix) ModA tiene imagenes epimorficas y coimagenes monomorficas.
(x) ModA tiene nucleos y conucleos.
(xi) ModA tiene productos y sumas fibradas.
(xii) ModA tiene imagenes inversas.
(xiii) ModA tiene productos y coproductos.
(xiv) ModA es balanceada.
(xv) ModA es normal y conormal.
(xvi) ModA es completa y cocompleta (vease el captulo siguiente).
(xvii) ModA es abeliana (vease el captulo siguiente).
Consideremos ahora en ModA las relaciones de la observacion 1.11.1. Debemos

adicionar los morfismos inyectivos y sobreyectivos.
(a) No todo homomorfismo inyectivo es corretraccion: A = Z, f : 2Z Z;

f (2k) := 2k. f es inyectivo pero no es corretraccion.
(b) Un monomorfismo es un igualador: k : C M ; k(C) = {k(x) | x C}. Se

tiene que k = Ig(f, j) donde f : M M/k(C), f (m) = 0 y j : M M/k(C).
Se tiene que j(m) = m para todo m M .
(c) No todo igualador es una corretraccion: de lo contrario, por (b) y la tabla al

final de la seccion 1.2, corretraccion sera lo mismo que monomorfismo. Pero
esto ultimo es falso (el mismo contraejemplo de (a)).
(d) Un monomorfismo es un nucleo: f : M1 M2 , f (M1 ) = {f (m) | m M1 };

f = N (j), donde j : M2 M2 /f (M1 ); j(x) = x para todo c M2 .
(e) Un igualador es nucleo: f, g : M N , Ig(f, g) = ker(f g).
(f) No todo nucleo es corretraccion: de lo contrario monomorfismo sera equiva-

lente a corretraccion.
(g) No toda interseccion es corretraccion: de lo contrario monomorfismo sera

equivalente a corretraccion.
(h) No toda union es corretraccion: en otro caso monomorfismo sera equivalente

a corretraccion.
(i) No toda imagen es corretraccion: de lo contrario monomorfismo sera corre-

traccion.
(j) No toda imagen inversa es corretraccion. Si fuese as, un monomorfismo sera

una corretraccion.
(k) No todo homomorfismo sobreyectivo es retraccion: A = Z, f : Z Z2 ;

f (k) = k para todo k Z.
(l) Un epimorfismo es un coigualador: k : M N , P = {m M | k(m) = 0},

k = Coig(f, g), donde f, g : P M , f (x) = 0, g(x) = x, para todo x P .
(m) No todo coigualador es retraccion. De lo contrario, por (l) y la tabla al final

de la seccion 1.2, retraccion sera lo mismo que epimorfismo, lo cual es falso
(contrajemplo de (k)).
(n) Un epimorfismo es un conucleo: f : M N , f = coker(P M ), donde

P = {x M | f (x) = 0} y P M es la inclusion.
(n) Un coigualador es un conucleo: f, g : M N , Coig(f, g) = Con(f g).
(o) No todo conucleo es retraccion; de lo contrario epimorfismo sera lo mismo que

retraccion.
(p) No toda coimagen es retraccion; de lo contrario epimorfismo sera lo mismo

que retraccion.
Observacion 1.11.2. Con base en lo anterior tenemos en la categora ModA las

siguientes relaciones:
1. Union Monomorfismo Imagen;
3. Igualador Monomorfismo Nucleo;
4. Monomorfismo Inyeccion Corretraccion;
5. Coigualador Sobreyectivo Epimorfismo Coimagen;
6. Conucleo Epimorfismo;
7. Retraccion Sobreyectivo;
8. Biyectivo Isomorfismo Bimorfismo.
Propiedades basicas de la categora Ani
(i) Salvo equivalencia, los subobjetos de un anillo son los subanillos con las inclu-
siones.
(ii) Ani es localmente pequena.
(iii) Cada anillo cociente de un anillo A con el homomorfismo canonico es un objeto

cociente de A. Sin embargo, existen objetos cociente que no corresponden a
l
formar cocientes por ideales: Z Q, donde l es la inclusion natural.
(iv) Ani no es noetheriana ni artiniana.
(v) Z es objeto inicial; 0 es objeto terminal. Ani no tiene objeto cero.
(vi) Ani no posee cero morfismos.
(vii) Ani no tiene igualadores y coigualadores.
(viii) Ani tiene uniones e intersecciones.
(ix) Ani tiene imagenes epimorficas.
(x) Ani tiene imagenes inversas.

(xi) Ani no es balanceada.
(xii) Ani tiene productos fibrados.
(xiii) Ani es completa (vease el siguiente captulo).

Ahora estudiamos la observacion 1.11.1 para la categora Ani.
l
(a) No todo homomorfismo inyectivo es una corretraccion; Z
Q, donde l es la
inclusion natural.
l
(b) No todo monomorfismo es igualador; Z
Q, donde l es la inclusion natural.
Este mismo contraejemplo muestra que no toda inyeccion es igualador.
(c) No todo igualador es una corretraccion; iC , h : C C, h(a + bi) = a bi,

l
lg(iC , h) = (R
C), pero l no es corretraccion (l es la inclusion natural).
(d) No toda interseccion es corretraccion; de lo contrario monomorfismo sera

equivalente a corretraccion, lo cual es falso (el mismo contrajemplo de 1.11)
(e) No toda union es corretraccion; de lo contrario monomorfismo sera equivalente

a corretraccion.
(f) No toda imagen es corretraccion; si fuese as todo monomorfismo sera equiv-

alente a una corretraccion.
(g) No toda imagen inversa es corretraccion; de lo contrario monomorfismo sera

equivalente a corretraccion.
(h) No toda imagen es igualador; si fuese as, todo monomorfismo sera equivalente
a igualador.
(i) No toda interseccion, union o imagen inversa es un igualador: de lo contrario

monomorfismo sera equivalente a igualador.
j
(j) No todo homomorfismo sobreyectivo es retraccion: Z
Z2 , j(k) = k para
todo k Z.
l
(k) No todo epimorfismo es sobreyectivo: Z
Q.
l
(l) No todo epimorfismo es coigualador: Z
Q.
(m) Sobreyectivo es equivalente a coigualador: h : B C sobreyectivo, A =

{(b, b0 ) B B | h(b) = h(b0 )}, h = Coig(p1 , p2 ), donde p1 , p2 son las proyec-
h f
ciones de A en B. Recprocamente, si (B
C) = Coig(A
B), entonces h
es sobreyectivo.
1.12. EJERCICIOS 51
(n) No toda coimagen es coigualador; de lo contrario coigualador sera equivalente

a epimorfismo.
(n) No todo coigualador es retraccion; si fuese as retraccion sera equivalente a

sobreyectivo.
(o) No toda coimagen es retraccion; si fuese as, epimorfismo sera lo mismo que
retraccion y epimorfismo que sobreyectivo.
Observacion 1.11.3. En Ani tenemos las siguientes relaciones:
2. Imagen Monomorfismo Union;
3. Monomorfismo Inyeccion Corretraccion Igualador Monomorfismo;
4. Retraccion Sobreyectivo Epimorfismo Coimagen;
5. Sobreyectivo Coigualador Epimorfismo;
6. Biyectivo Isomorfismo Bimorfismo.
1.12. Ejercicios
1. Demuestrar que en la categora Conj los conceptos de monomorfismo, funcion
inyectiva y corretraccion son equivalentes. Establecer tambien la equivalencia
para epimorfismos, funciones sobreyectivas y retracciones. Es Conj balancea-
da?
2. Probar que una corretraccion que sea epimorfismo es isomorfismo.

f
3. Sea C una categora; si A
B es un morfismo de C tal que f es correctraccion
y epimorfismo, demuestre que f es un isomorfismo.
f
4. En una categora cualquiera C con objeto cero, demuestre que X
Y es el
morfismo cero si, y solo si, es factorizable a traves de 0.
5. Si 0 es el objeto cero de una categora C, muestre que para cada X Ob(C)

se cumple lo siguiente:
(i) X 0 es epimorfismo.
(ii) 0 X es monomorfismo.
6. Sea C una categora con cero morfismos. Demuestre que el nucleo del morfismo
0XY iX
X Y es X X. Cual es el conucleo?
7. Demuestre que Conj es localmente pequena. Pruebe tambien que Conj no es

artiniana ni noetheriana.
l l0
8. Sean {Xi i
A}iI , {Xi0
i
A}iI familias de subobjetos de A tales que para
li li0
A)
cada x I, (Xi = (X 0
A). Demuestre que:
i
Xi0 existe.
T T
(i) iI Xi existe iI
Xi0 existe.
S S
(ii) iI Xi existe iI
9. Demuestre que en la categora Conj, el igualador de un par de funciones

f, g : X Y esta constituido por el conjunto X 0 := {x X | f (x) = g(x)}.
Describir ademas el coigualador.
10. Describa el producto y la suma fibrada de funciones en la categora Conj.

f g C
11. Sean A B, B C morfismos y C 0 . Demuestre que f 1 ((g 1 (C)) =
(g f )1 (C), suponiendo que ambos terminos de la igualdad esten definidos
es una cierta categora C.
12. Sean f, g como en el ejercicio 11 y A1 A. Supongase que f (A1 ) y g(f (A1 )) son
imagenes epimorficas y que la categora en cuestion es balanceada. Demuestre
que g(f (A1 )) = (g f )(A1 ).
13. Demuestre que Conj es una categora con imagenes epimorficas y coimagenes
monomorficas.
14. Invitamos al lector a estudiar todos los conceptos introducidos en el presente

captulo para la categora Pre establecida en la definicion 1.1.6.
15. Realizar el ejercicio anterior para la categora Grp cuyos objetos son los grupos
y los morfismos son los homomorfismos.
16. Investigar, para la categora Ani, los siguientes problemas:
(i) Caracterizar todos los objetos cociente de un anillo cualquiera.

(ii) Es Ani colocalmente pequena?
(iii) Describir las coimagenes.
(iv) Describir las sumas fibradas.
(v) Describir los coproductos.
1.12. EJERCICIOS 53
(vi) Es Ani cocompleta? (consultar el siguiente captulo).

(vii) Describir el morfismo 5.
Captulo 2
Categoras abelianas
2.1. Categoras aditivas

Estudiaremos ahora algunas clases especiales de categoras entre las cuales se desta-
can las aditivas y las abelianas. Se debe senalar que la categora ModA es uno de
los mejores ejemplos de este tipo de categoras.
Definicion 2.1.1. Una categora C se dice aditiva si se cumplen las siguientes

condiciones:
(i) C tiene objeto cero.
(ii) C tiene coproductos finitos.
(iii) Para cada par de objetos A y B de C, el conjunto Mor(A, B) tiene estructura

de grupo abeliano, de tal forma que la composicion de morfismos es bilineal
con respecto a la adicion de dichos grupos.
Algunas consecuencias inmediatas de esta definicion son las siguientes:
(a) La coleccion de elementos neutros de los grupos Mor(A, B) constituye los cero
morfismos de C. En efecto, si 0AB es el elemento neutro de Mor(A, B) y f :
B C, g : D A son morfismos, entonces
f 0AB = f (0AB + 0AB ) = f 0AB + f 0AB .
Al restar encontramos f 0AB = 0AC . Analogamente, 0AB g = 0DB .
Ai }nj=1
L
(b) C tiene productos finitos. Sean A1 , . . . , An objetos de C y {qj : Aj
su coproducto. Consideremos las proyecciones del coproducto
M
pj : Ai A j , 1 j n
54
2.1. CATEGORIAS ADITIVAS 55
Recordemos que dichas proyecciones son los morfismos definidos unvocamente

por las relaciones (
iAi , i = j
p j qi = (2.1.1)
0, i 6= j.
Ai Aj }nj=1 es el producto
L
Veamos que {pj : de los objetos A1 , . . . , An .
En primer lugar, notese que el morfismo nk=1 qk pk es tal que para cada
P
1 i n, se cumple
X n
qk p k qi = qi .
k=1
Puesto que iAi tambien cumple dicha relacion, se sigue por unicidad
n
X
qk pk = iAi .
k=1
fj
Sea {C Aj }nj=1 una coleccion dada de morfismos. Se tiene entonces el
morfismo X M
qk fk : C Ai ,
k=1
para el cual se tiene

n
X
pj qk fk = fj , 1 j n.
k=1
L
Si existe otro morfismo g : C Ai tal que pj g = fj para cada 1 j n,
entonces
qj pj g = qj fj
n
X n
X
qj p j g = qj fj
j=1 j=1
Xn
iAi g = qj fj
j=1
n
X
g= qj fj .
j=1
Esto completa la prueba de que el coproducto con sus proyecciones conforman

el producto. Segun (2.1.1), las inyecciones del coproducto son las inyecciones
de este producto.
56 CAPITULO 2. CATEGORIAS ABELIANAS
Segun la a proposicion 1.10.9, los morfismos {ij : Aj Ai }, definidos por

(
iAi , i = j
ij :=
0, i 6= j
L Q L
determinan un unico morfismo : Ai Ai (= Ai ), tal que pi
qj = ij . Segun (2.1.1), iL Ai tambien cumple estas relaciones. Por unicidad,
= iL Ai .
En adelante denotaremos el producto y el coproducto de una familia finita de
objetos A1 , . . . , An de una categora aditiva por A1 An , y lo llamaremos
suma directa.
(c) Si I = {1, 2, . . . , m} y J = {1, 2, . . . , n}, la correspondencia establecida en la

proposicion 1.10.9 entre el conjunto (grupo) Mor(A1 An , B1 Bm ),
y el conjunto de matrices
M = {(fij ) | fij Mor(Aj , Bi ), 1 j n, 1 i m},
pueden ser ampliada. En efecto, Mor(A1 An , B1 Bm ) y M son

grupos abelianos isomorfos, donde la adicion en M esta dada por componentes,
(fij ) + (gij ) = (fij + gij ). Ademas, considerando los morfismos
f = (fij ) : A1 An B1 Bm
y
g = (gki ) : B1 Bm C1 Cp ,
la matriz correspondiente al morfismo compuesto g f viene dada por el pro-
ducto de las matrices componentes: sea h := g f el morfismo compuesto, se
sigue que
hkj = pC A
k h qj
= pC A
k (g f ) qj
= pC A
k g [1B1 Bm ] f qj
= pC B B B B A
k g [q1 p1 + + qm pm ] f qj
= gk1 f1j + + gkm fmj
Xm
= gkr frj , 1 k p, 1 j n.
r=1
(El superndice indica la suma directa a la cual se refiere la proyeccion o

inyeccion respectiva). En particular se tiene que Mor(A1 An , A1 An )
2.1. CATEGORIAS ADITIVAS 57
y M son anillos isomorfos; notese que en una categora aditiva para cada objeto
A, End(A) := Mor(A, A) es un anillo con unidad, por lo tanto, Mor(A
A, A A), con n sumandos en cada componente, es un anillo isomorfo a
Mn (B), donde B = Mor(A, A).
(d) Los morfismos coproducto y producto definidos en el captulo anterior pueden

fi
L sea {Ai
representarse matricialmente, y ademas coinciden: Bi }ni=1 una
coleccion finita de morfismos. El coproducto fi se define como el unico
morfismo que hace conmutativo el siguiente diagrama:
M L M
fi
Ai - Bi
iI iI
6 6
(2.1.2)
qiA qiB
Ai fi
- Bi
1 i n. Consideremos la coleccion hij : Aj Bi dada por

(
fi , i = j
hij := (2.1.3)
0, i = 6 j,
Ai iI Bi (= iI Bi ) tal que pB A
L Q L
existe un unico morfismo h : i h qj =
hij . Sin embargo, notese que pB A B B
i fi qj = pi qj fj , lo cual junto con
B A
(2.1.1) implica que pi fi qj = hij . La unicidad de h garantiza que h = fi .
De manera
Q analoga, considerado el producto y las proyecciones, se prueba que
h = fi . El morfismo descrito en (2.1.3) se denomina la suma directa
de f1 , . . . , fn y se denota f1 fn . Matricialmente, la suma directa se
representa como se muestra en la siguiente matriz:
f1 0 0 0

0 f2 0 0
..

0 0
. 0

. .
.. .. 0 fn1 0

0 0 0 0 fn
(e) Con ayuda del lenguaje matricial, se prueba facilmente que en una categora
aditiva C existe exactamente una forma de definir una estructura de grupo
abeliano sobre los conjuntos de morfismos, tales que la composicion sea bilineal.
En efecto, notese que si + dota de estructura a grupo abeliano a Mor(A, B)
tal que la composicion es bilineal, segun lo visto anteriormente se debe tener

que para elementos f, g Mor(A, B),

f 0 iA iA
i B iB = f g = f + g,
0 g iA iA
pero este producto corresponde necesariamente al morfismo compuesto
A f g B O
A A A B B B,
con
i
A = A

O B = i B iB ,
iA
(vease la definicion 1.10.10).
Al repetir algunas de las ideas expuestas anteriormente, obtenemos el siguiente
resultado.
qi
Corolario 2.1.2. Sea C una categora aditiva, A1 , . . . , An , S objetos de C, y Ai
S
pi
yS Ai , 1 i n, morfismos de C. Las siguientes condiciones son equivalentes:
(i) S es suma directa de los objetos Ai con inyecciones qi y proyecciones pi .
(ii) Los morfismos qi y pi satisfacen

(
iAi , i = j
p j qi =
0, i 6= j,
Pn
k=1 qk p k = iS .
2.2. Categoras abelianas

Definicion 2.2.1. Una categora C es exacta si posee nucleos y conucleos, es nor-
mal y conormal. C es abeliana si es aditiva y exacta.
Ejemplo 2.2.2. Segun los resultados del captulo anterior, la categora ModA es
abeliana.
Consideramos a continuacion algunas propiedades de las categoras abelianas que

seran utilizadas en el estudio de las sucesiones exactas.
2.2. CATEGORIAS ABELIANAS 59
f
Proposicion 2.2.3. Si C es una categora abeliana y A
B un morfismo en C,
existe un unico isomorfismo
f0 : coker(ker(f )) ker(coker(f ))

l k0 -
ker(f ) - A coker(ker(f ))
f f0 (2.2.1)
? 0
?
k l
coker(f ) B ker(coker(f ))
Demostracion. Puesto que f l = 0, existe un unico morfismo t : coker(ker(f )) B

tal que t k 0 = f . As, k t k 0 = k f = 0 = 0 k 0 . Dado que k 0 es un epimorfismo, se
sigue que kt = 0 y, teniendo en cuenta que l0 es nucelo de k, existe un unico morfismo
f0 : coker(ker(f )) ker(coker(f )) tal que l0 f0 = t. Por tanto, l0 f0 k 0 = tk 0 = f .
Como l0 es monomorfismo y k 0 es epimorfismo, f0 es unico. Se puede probar que f0
es un isomorfismo (vease el ejercicio 1).
f
Corolario 2.2.4. Cada morfismo A B en una categora abeliana C se factoriza
a traves de un epimorfismo p y un monomorfismo q
f
A - B
@
p@
R q
C
Demostracion. En la prueba de la proposicion anterior k 0 es un epimorfismo y l0 f0

es un monomorfismo.
Observacion 2.2.5. A partir de la definicion 2.2.1 podemos concluir que toda
categora abeliana tiene objeto cero, productos y coproductos finitos, nucleos y
conucleos, es normal y conormal. Ademas, es facil verificar que toda categora
abeliana C tiene igualadores y coigualadores. En efecto, si f, g MorC (A, B), en-
tonces Ig(f, g) = ker(f g) y Coig(f, g) = coker(f g).
Proposicion 2.2.6. Si C es una categora con productos finitos e igualadores, en-
tonces C tiene productos fibrados. En particular, toda categora abeliana tiene pro-
ductos fibrados.
f1 f2
Demostracion. Sean A1
A y A2
A morfismos y
{p1 : A1 A2 A1 , p2 : A1 A2 A2 }
k
el producto. Consideremos el igualador C
A1 A2 de f1 p1 y f2 p2 :
p2 k
C - A2
p1 k f2
? ?
A1 f1
- A
g1 g2
Veamos que (C, p1 k, p2 k) es el producto fibrado de f1 y f2 . Sean B A1 , B A2
morfismos tales que f1 g1 = f2 g2 . Existe un unico morfismo h : B A1 A2 tal
que pi h = gi , i = 1, 2. As, f1 p1 h = f1 g1 = f2 g2 = f2 p2 h. Existe un
unico morfismo m : B C tal que k m = h. Notese que p2 k m = p2 h = g2 y
p1 k m = p1 h = g1 :
B
H
A@ Hm H g2
A @ HH
A @ HH
p2 k
R
@ H
j
H
A
g1 A C - A2
A
pA1 k f2
A
AU ? ?
A1
- A
f1
Sea m0 otro morfismo tal que p1 k m0 = g1 y p2 k m0 = g2 . Por la unicidad de

h se tiene que k m0 = h, y de la unicidad de m se tiene m0 = m.
Proposicion 2.2.7. Una categora con productos fibrados tiene intersecciones fini-
tas. En particular, toda categora abeliana tiene intersecciones finitas.
1 l 2 l
Demostracion. Sean A1
A y A2
A subobjetos de A y su producto fibrado el
siguiente diagrama:
g2
C - A2
g1 l2
? ?
A1 l1
- A
Segun la proposicion 1.8.3 del captulo anterior, C precede tanto a A1 como a A2 .

g
Sea X A un morfismo factorizable a traves de A1 y A2 : l1 k1 = g = l2 k2 . Por
la condicion del producto fibrado existe un unico morfismo m : X C tal que los
siguientes diagramas conmutan:

m- m-
X C X C
@g g1 @g g2
k1 @ l1 g1 k2 @ l2 g2
? @ @
R ? ? @ @
R ?
A1 - A
l1
A2 - A
l2
En particular, l2 g2 m = l2 k2 = g = l1 g1 m = l1 k1 . Puesto que l2 g2 es

un monomorfismo, m es unico.
f
Proposicion 2.2.8. Si A
B es un morfismo en una categora abeliana C, en-
tonces:
(i) f es un monomorfismo si, y solo si, f es el nucleo de su conucleo. En parti-

cular, A
= ker(coker(f )).
(ii) f es un epimorfismo si, y solo si, f es el conucleo de su nucleo. De aqu,

B= coker(ker(f )).
Demostracion. Si tenemos en cuenta que por definicion cada nucleo es un monomor-

fismo, basta probar (i) en la direccion . Para (ii) aplicamos el principio de dualidad.
f A i
Si A
B es un monomorfismo, su nucleo es 0 A. Ademas, (A A) =
coker(0 A). Por tanto, se tiene el siguiente diagrama conmutativo, donde f0 es
un isomorfismo (proposicion 2.2.3):
iA
0 - A - A
f f0
? ?
k h
coker(f ) B ker(coker(f ))
En consecuencia, se tiene la equivalencia de subobjetos

f h
B)
(A = (ker(coker(f ))
B),
f k
con lo cual, A coker(f ). En particular, A
B es tambien nucleo de B =
ker(coker(f )).
Corolario 2.2.9. Toda categora abeliana es balanceada.

f 0
Demostracion. Sea A B un bimorfismo. Notese que B B es el conucleo de f .
0
Segun la proposicion 2.2.8, f es el nucleo de B
B. Puesto que 0 iB = 0, existe
un morfismo t : B A tal que f t = iB .

f 0
A - B - B
6
t
iB
Ademas, f (t f ) = iB f = f = f iB , y dado que f es un monomorfismo,

t f = iB . Por tanto, f es un isomorfismo.
Proposicion 2.2.10. Toda categora abeliana C tiene imagenes y coimagenes. Mas
f
exactamente, si A
B es un morfismo en C, entonces Im(f ) = ker(coker(f )) y
Coim(f ) = coker(ker(f )).
Demostracion. Dado que la categora es abeliana, el morfismo f0 del diagrama
(2.2.1) es un isomorfismo. De esta manera, si z := f0 k 0 , tenemos que z es un
epimorfismo y el siguiente diagrama conmutativo:
f
A - B
Q 3

Q
z Q l0
s
Q
ker(coker(f ))
donde l0 es definida como en (2.2.1).

h0
Sea Y
B un subobjeto de B a traves del cual podemos factorizar f :
f
A - B
Q 3

S Q 7
z 0
l
S Q
s
Q
S
ker(coker(f ))h0
t0 S
S
S
w
S
Y
T l
Segun la proposicion 2.2.7, C tiene intersecciones finitas. Sea ker(coker(f)) Y
B
l0 h0
la interseccion de ker(coker(f ))
B yY
B,
m m-
A - ker(coker(f )) Y A ker(coker(f )) Y
HH Q
HHf l1 Q
fQ l2
z H l t0 l
HH QQ
?

Hj ?
H
? Q
s ?
ker(coker(f )) - B
Y
+ Q
- B
l0 0 h
La existencia de m y la conmutatividad de los diagramas anteriores estan garanti-

zados por la condicion de interseccion. Por tanto, se tiene el diagrama conmutativo
f
A - B
A@ 6
A @
iA A z@ iB
l0
A @
? A @R
@
A m Aker(coker(f )) l B
A

A A
A
6
A
A A l1
A
A
A AAU

ker(coker(f )) Y h0
A
t0 A

A
A
A l2
A
AAU ?

Y
En particular, l0 l1 = l, de donde l0 l1 m = l m = f = l0 z. Como l0 es un

monomorfismo, entonces l1 m = z. Dado que z es un epimorfismo, l1 tambien lo
es, con lo cual l1 es un isomorfismo (recuerdese que C es balanceada). Por tanto,
l2 (l1 )1
obtenemos el morfismo ker(coker(f )) Y tal que h0 l2 (l1 )1 = l0 . El
hecho que h0 sea un monomorfismo implica que l2 (l1 )1 es unico. Lo anterior
muestra que ker(coker(f )) = Im(f ). Al aplicar dualidad, completamos la prueba de
la proposicion.
Corolario 2.2.11. Toda categora abeliana tiene imagenes epimorficas y coimagenes

monomorficas.
Demostracion. En la prueba anterior se mostro que z es un epimorfismo. La segunda

afirmacion se sigue por dualidad.
Corolario 2.2.12. Si C es una categora abeliana, se tiene que:

f A i
(i) A
B es un monomorfismo si, y solo si, Coim(f ) = (A A).
f B i
(ii) A
B es un epimorfismo si, y solo si, Im(f ) = (B B).
Demostracion. Al aplicar dualidad, basta probar (i).

): tenemos el diagrama conmutativo

f
A - B
A@ iA f
A @
A @R
gA A h
A
A 61
A g
AU
Y
Puesto que suponemos que h g = f y f es un monomorfismo, tenemos que g

tambien lo es. Ahora, dado que C es balanceada, g es un isomorfismo.
): basta considerar el triangulo superior del diagrama inmediatamente anterior
junto con el corolario 2.2.11.
2.3. Sucesiones exactas

Aunque las sucesiones exactas pueden ser definidas en categoras mas generales,
supondremos en esta seccion que trabajamos en categoras abelianas.
Definicion 2.3.1. Una sucesion de morfismos
fi fi+1
Ai
Ai+1 Ai+2 (2.3.1)
se dice exacta si para cada i, Im(fi ) = ker(fi+1 ).

Esta definicion tambien puede plantearse en terminos de conucleo y coimagen.
El conucleo de fi , Ai+1 coker(fi ), es un epimorfismo, as por las proposiciones
2.2.8 y 2.2.10 tenemos que
coker(fi ) = coker(ker(coker(fi )))

= coker(Im(fi ))
= coker(ker(fi+1 ))
= Coim(fi+1 )
Consideremos ahora algunas sucesiones exactas especiales.

f
Proposicion 2.3.2. (i) 0 A
B es exacta si, y solo si, f es monomorfismo.
f
(ii) A
B 0 es exacta si, y solo si, f es epimorfismo.
f
(iii) 0 A
B 0 es exacta si, y solo si, f es isomorfismo.
2.3. SUCESIONES EXACTAS 65
f g
(iv) 0 A
B
C es exacta si, y solo si, f es el nucleo de g.
f g
(v) A
B
C 0 es exacta si, y solo si, g es el conucleo de f .
f g
(vi) 0 A B C 0 es exacta si, y solo si, f es el nucleo de g y g es
epimorfismo si, y solo si, g es el conucleo de f y f es un monomorfismo.
Demostracion. (i) Segun el corolario 2.2.12, f es un monomorfismo si, y solo si, se
iA iA
cumple que Coim(f ) = A A. Ademas, coker(0 A) = (A A).
(ii) Principio de dualidad.
(iii) Al tener en cuenta que una categora abeliana es balanceada, (iii) es conse-
cuencia de (i) y (ii)
(iv) ): como la sucesion es exacta, f es un monomorfismo e Im(f ) = ker(g).
Ahora, dado que f es un monomorfismo, f coincide con su imagen:
f
A - B
A@ iA f
A @
A @R
A
h A A t
A
A h
AU ?

C
f f
): si (A
B) = ker(g), entonces f es un monomorfismo y, por lo tanto, (A

B) = Im(f ). Esto muestra que la sucesion es exacta.
(v) Principio de dualidad.
(vi) Consecuencia de (i)-(v).
Las sucesiones exactas de la forma
f g
0A
B
C0 (2.3.2)
se denominan exactas cortas. Segun (vi), g es el conucleo de f y f es un monomor-

fismo. En la categora ModA el conucleo de f es precisamente B/Im(f ). Dado que
f es un monomorfismo Im(f ) = A. As, C = B/A. Es por esta razon que en una
categora abeliana se acostumbra a representar el conucleo de un monomorfismo
f
A B por B B/A, y a su objeto por B/A. Por consiguiente, la sucesion exacta
corta se representa usualmente por
0 A B B/A 0.
El corolario 2.1.2 puede complementarse de la siguiente manera.

Proposicion 2.3.3. Sean A1 , A2 , S objetos y pi : S Ai , qi : Ai S, 1 i 2,

morfismos. Las siguientes condiciones son equivalentes:
(i) S = A1 A2 , con proyecciones pi e inyecciones qi , 1 i 2.
(ii) pi qi = iAi , 1 i 2 y las sucesiones

q1 p2
0 A1
S
A2 0 (2.3.3)
q2 p1
0 A2
S
A1 0 (2.3.4)
son exactas.
(iii) qi , q2 son monomorfismos, p1 , p2 son epimorfismos y ademas
q 1 p 1 + q 2 p 2 = iS ; (qi pi )2 = qi pi , 1 i 2.
Demostracion. (i) (ii): por el corolario 2.1.2 basta probar la exactitud de las
sucesiones (2.3.3) y (2.3.4). Por ejemplo, probemos la exactitud de la primera. Dado
que p2 es una retraccion, resulta ser un epimorfismo. Resta ver que q1 es el nucleo de
p2 . Segun (i), p2 q1 = 0. Sea f : C S tal que p2 f = 0. Notese que el morfismo
p1 f hace conmutativo el siguiente diagrama:
q1 p2
A1 - S - A
2
6
p1 f
f
En efecto, q1 p1 f = q1 p1 f + q2 p2 f = (q1 p1 + q2 p2 ) f = f , ya que

segun el corolario 2.1.2, q1 p1 + q2 p2 = iS . Ademas, como q1 es un monomofismo,
se sigue que p1 f es el unico que hace conmutativo el diagrama anterior.
(ii) (i): sean fi : B Ai , i = 1, 2, morfismos, y sea f := q1 f1 + q2 f2 :
B S. Se tiene que pi f = fi , i = 1, 2. Supongase que existe otro morfismo
g : B S tal que pi g = fi , i = 1, 2. Esto implica que pi (f g) = 0, y como
q1 = ker(p2 ), existe un unico morfismo h : B A1 tal que q1 h = f g, es decir,
f g = q1 iA1 h = q1 p1 q1 h = q1 p1 (f g) = 0, con lo cual f = g. Esto
muestra que S junto con p1 y p2 conforman el producto de A1 y A2 . De manera dual
se establece que S con q1 y q2 conforman el coproducto.
(i) (iii) Consecuencia directa del corolario 2.1.2.
(iii) (i) Para aplicar el corolario 2.1.2 basta mostrar que
(
iAi , i = j,
p j qi =
0 i 6= j.
2.4. EJERCICIOS 67
Como q1 p1 q1 p1 = q1 p1 = q1 iA1 p1 , al cancelar obtenemos p1 q1 =

iA1 . Analogamente, p2 q2 = iA2 . Ademas, el hecho q1 p1 + q2 p2 = iS implica
p2 q1 p1 + p2 q2 p2 = p2 , con lo cual, p2 q1 p1 + p2 = p2 , esto es, p2 q1 p1 = 0,
y por tanto, p2 q1 = 0. De manera similar puede verse que p1 q2 = 0.
Tal como dijimos al inicio de la seccion, todos los resultados que hemos probado
son aplicables a la categora ModA .
2.4. Ejercicios
1. Demuestre que el morfismo f0 de la proposicion 2.2.3 es un isomorfismo.
2. Demuestre que si C es una categora con coproductos finitos y coigualadores,

entonces C tiene sumas fibradas. En particular, toda categora abeliana tiene
sumas fibradas.
3. Demuestre que toda categora abeliana tiene imagenes inversas.
4. Demuestre que toda categora abeliana tiene uniones finitas.

Captulo 3
Funtores
3.1. Funtores
Al igual que en anillos y modulos, las categoras adquieren importancia cuando se
les compara o relaciona. Este papel de comparacion e interrelacion lo desempenan
los funtores, los cuales seran el objeto de estudio de este captulo. Si no se advierte
lo contrario, supondremos que las categoras consideradas son arbitrarias.
Definicion 3.1.1. Sean B, C categoras. Un funtor covariante F : B C se
define por:
(i) Una funcion, denotada tambien por F : Ob(B) Ob(C), que asigna a cada
objeto B de B un objeto F (B) de C;
(ii) Para cada par de objetos A, B de B se define una funcion tambien denotada
por
F : MorB (A, B) MorC (F (A), F (B))
f 7 F (f )
que cumple las siguientes condiciones:
(iii) F (f g) = F (f ) F (g)
(iv) F (iB ) = iF (B)
para cualesquiera morfismos f, g de B compatibles para la composicion y para cada
objeto B de B.
Un funtor contravariante de B en C se define como antes pero cambiando
(ii) y (iii) de la siguiente manera:
F : MorB (A, B) MorC (F (B), F (A))
dado por f 7 F (f ), y, F (f g) = F (g) F (f ).
68
3.1. FUNTORES 69
Ejemplo 3.1.2. Algunos ejemplos triviales de funtor son los siguientes:
(i) Funtor identidad iB de una categora B en s misma, tal que iB (B) =

B, iB (f ) = f , para cualesquiera B Ob(B) y f Mor(B).
(ii) Funtor inclusion L de una subcategora A de B en B, definidio de manera

natural, L(A) := A y L(f ) := f , para cada objeto A de A y cada morfismo f
de A.
(iii) Funtor olvido F0 de una categora C cuyos objetos son conjuntos con alguna
estructura (algebraica, topologica, etc) y con morfismos que respetan dicha
estructura, en la categora Conj de conjuntos. F0 asigna a cada objeto C de
C el conjunto C olvidandose de su estructura, y a cada morfismo f de C la
funcion conjuntista subyacente f . Ademas de este funtor, se tienen funtores
que olvidan parcialmentela estructura:
Ani Ab
ModA Ab,
donde Ab es la categora de grupos abelianos.
(iv) A cada funtor covariante F : B C corresponde un funtor contravariante

F : B C, definido por F (B) := F (B), B Ob(B) y F (f ) := F (f ), f :
A B en B . Notese que si F es contravariante, F es covariante.
Analogamente, a cada funtor covariante (contravariante) F : B C correspon-
de un funtor contravariante (covariante) F : B C definido por F (B) :=
F (B), B Ob(B) y F (f ) := F (f ) , f : A B en B.
Es claro que (F ) = (F ) . Esta observacion permite efectuar el estudio de la
teora de funtores por medio de los covariantes.
En adelante, si no se advierte lo contrario, la palabra funtor indicara funtor

covariante.
Definicion 3.1.3. Dados dos funtores F : B C y G : C D se define el funtor

composicion G F : B D de manera natural
G F (B) = G(F (B)), B Ob(B),

G F (f ) = G(F (f )), f Mor(B).
Notese que si F y G son funtores contravariantes, la composicion G F es un

funtor covariante. Si F es covariante (contravariante) y G es contravariante (co-
variante), la composicion G F es contravariante. Es evidente que la composicion
de funtores es asociativa, y ademas F iB = F , iC F = F , para cada funtor F
70 CAPITULO 3. FUNTORES
con iB , iC definidos como en el ejemplo 3.1.2. Notemos que si Cat denota la co-
leccion de categoras pequenas, entonces Cat es una categora cuyos morfismos son
los funtores.
Ejemplo 3.1.4. Sea C una categora y A un objeto fijo de C (denominado en es-
tos casos objeto representante). Se tienen los funtores FA := M orC (A, ) y
F A := M orC (, A), denominados funtor representable covariante y funtor
representable contravariante, y estan definidos por:
FA : C Conj
X 7 FA (X) := Mor(A, X)
f
X
Y 7 FA (f ) : Mor(A, X) Mor(A, Y ), g 7 f g
Denotamos FA (f ) := fA .
F A : C Conj
X 7 F A (X) := Mor(X, A)
f
Y 7 F A (f ) : Mor(Y, A) Mor(X, A), g g f.
X
Denotamos F A (f ) := f A . Notemos que

(FA ) = F A , (F A ) = FA .
Definicion 3.1.5. Sean B y C categoras tales que los conjuntos de morfismos en ca-
da una de ellas tengan estructura de grupos abelianos , y ademas que la composicion
sea bilineal respecto de la adicion en dichos grupos (tales categoras se denominan
preaditivas). Un funtor F : B C covariante (contravariante) se dice aditivo si
F (f + g) = F (f ) + F (g) para cualesquiera morfimos f, g en B compatibles para la
adicion.
Esta condicion es equivalente a que cada una de las funciones
F
MorB (A, B)
MorC (F (A), F (B)),
F
MorB (A, B)
MorC (F (B), F (A))
sea un homomorfismo de grupos. Observese que F (0) = 0 para cada cero morfismo
0 en B. Ademas, FA y F A son funtores aditivos para cada categora preaditiva C y
cada objeto A de C. Se supone en este caso que estos funtores toman sus valores en
Ab.
Al iniciar esta seccion mencionamos que la nocion de funtor en la teora de
categoras juega un papel analogo al de homomorfismo en algebra. As, queremos
definir las nociones de funtor inyectivo, sobreyectivoy biyectivo.
3.1. FUNTORES 71
Definicion 3.1.6. Sean B y C categoras. Un funtor F : B C se dice fiel si cada

F
una de las funciones MorB (A, B) MorC (F (A), F (B)), es inyectiva. El funtor
F
se dice pleno si cada una de las funciones MorB (A, B) MorC (F (A), F (B)) es
sobreyectiva. F se dice representativo si dado C Ob(C) existe B Ob(B) tal
que F (B) = C. Una equivalencia entre B y C es un funtor F : B C que
sea fiel, pleno y representativo. Dos categoras se dicen equivalentes si existe una
equivalencia entre ellas.
Notese que si F es aditivo, ser fiel es equivalente a que para cada f 6= 0 en

Mor(A, B), F (f ) 6= 0 en MorC (F (A), F (B)). De otra parte, la relacion de equi-
valencia entre categoras es claramente reflexiva y transitiva. La proposicion 3.1.8
mostrara que dicha relacion tambien es simetrica.
Definicion 3.1.7. Sean B y C categoras y F, G : B C funtores covariantes. Una

transformacion natural : F G asigna a cada objeto X de B un morfismo
f
X : F (X) G(X) en C, tal que para cada morfismo X Y de B el siguiente
diagrama es conmutativo:
X
F (X) - G(X)
X
f F (f ) G(f )
?
Y ? ?
F (Y ) Y
- G(Y )
Una transformacion natural entre functores contravariantes se define de la siguiente

manera:
X
F (X) - G(X)
X 6 6
f F (f ) G(f )
?
Y
F (Y ) Y
- G(Y )
Un ejemplo trivial de transformacion natural lo constituye la identica de cada

funtor F : B C, iF : F F , que asigna a cada objeto X de B el morfismo
iF (X)
identidad F (X) F (X).
Si para cada objeto X de B, X es un isomorfismo, decimos que es un iso-
morfismo natural o isomorfismo funtorial (en tal caso, tambien se tiene el
isomorfismo funtorial 1 : G F definido por (1 )X = (X )1 , para cada X
de B). Si : F G y : G H son transformaciones naturales se define su
compuesta : F H mediante ( )X = X X , para cada objeto X de B.

Notese que esta composicion es asociativa.
Si B es una categora pequena, la coleccion Func(B, C) de todos los funtores
covariantes de B en C junto con las transformaciones naturales constituyen una
Q dos funtores F, G : B C
categora (la coleccion de transformaciones naturales entre
es un subconjunto del conjunto producto cartesiano XObB MorB (F (X), G(X))).
El contenido de la siguiente proposicion puede tomarse como la definicion de
categoras equivalentes, la cual resulta ser una relacion simetrica, y por la definicion
3.1.6, una relacion de equivalencia.
Proposicion 3.1.8. Un funtor F : B C es una equivalencia si, y solo si, existe

un funtor G : C B e isomorfismos funtoriales G F
iB , F G
iC .
Demostracion. ): sea F : B C un funtor fiel, pleno y representativo. Definimos

G : C B de la siguiente manera: dado C Ob(C) existe B Ob(B) tal que
F (B) = C; consideramos G(C) := B con F (B) = C, B Ob(B) (aqu debemos
hacer uso del axioma de eleccion para escoger un B en B que cumpla la condicion
f
F (B) = C). Sea C C 0 un morfismo en C y hC , hC 0 isomorfismos tal como se
ilustra en el siguiente diagrama:
hC
F (B) - C
(hC 0 )1 f
. hC f
? ?
0 - C0
F (B ) hC 0
Puesto que MorB (B, B 0 ) MorC (F (B), F (B 0 )) es sobreyectiva e inyectiva, existe

un unico fb : B B 0 tal que F (fb) = (hC 0 )1 f hC . Por esta razon se define
G(f ) := fb. Veamos que G es un funtor; podemos esquametizar la prueba de la
3.1. FUNTORES 73
siguiente manera:
f1 f2
C0
C C 00 , F (B)
= C, F (B 0 )
= C 0, F (B 00 )
= C 00
hC
F (B) - C
(hC 0 )1 f1 hC f1
? ?
F (B 0 ) hC
- C0
0
(hC 00 )1 f2 hC 0 f2
? ?
F (B 00 ) hC
- C 00
00
de donde se obtiene
G(f1 ) = fb1 , donde F (fb1 ) = (hC 0 )1 f1 hC , G(f2 ) = fb2 , con F (fb1 ) = (hC 00 )1 f2 hC 0 .
Por tanto, G(f2 f1 ) = fb2 fb1 , ya que F (fb2 fb1 ) = (hC 00 )1 f2 f1 hC . Ahora,
dado que F (iB ) = iC se sigue G(iC ) = iB = iG(C) , con F (B) = C.
Veamos que existe un isomorfismo funtorial entre F G e iC . Sea C Ob(C).
Se tiene que F G(C) = C, con isomorfismo C = hC :
C
F G(C) - C
C
f F G(f ) f (3.1.1)
?
C0 ?
0
?
F G(C ) - C0
C 0
Ahora mostremos la existencia de un isomorfismo funtorial entre G F e iB . Sea

z
B B 0 un morfismo en B y sean F (B) = C, F (B 0 ) = C 0 . Existen B, b Bb 0 en B tales
b
que F (B) = C, F (B b0)
= C 0 , por lo que G(C) := B
b y G(C 0 ) := B
b 0 . Sea f := F (z).
Al aplicar (3.1.1) se obtiene el diagrama conmutativo
F (B)
C = F (B) F [G(F (B))] - F (B)
F (z)=f F [G(f )] f (3.1.2)

? ? ?
C 0 = F (B 0 ) F [G(F (B 0 ))] - F (B 0 )
F (B 0 )

B
Puesto que F es un funtor fiel y pleno, existen isomorfismos (unicos) G(F (B)) B,
0 B 0
0
G(F (B )) B tales que F (B ) = F (B) y F (B 0 ) = F (B 0 ) . Dado que F es pleno,
existe w : G F (B) G F (B 0 ) tal que F (w) = F G(f ). Ahora, por la fidelidad
de F se tiene w = G(f ). Por consiguiente
B
G F (B) - B
B
z w=GF (z) z
?
B0 ? ?
G F (B 0 ) - B0
B 0
La conmutatividad se obtiene de la conmutatividad de (3.1.2) y del hecho que F es

fiel.
): la hipotesis garantiza la conmutatividad de los siguientes diagramas en los
cuales C , C 0 , B , B 0 , son isomorfismos:
C
F G(C) - C
C
f F G(f ) f
?
C0 ? ?
F G(C 0 ) C
- C0
0
B
G F (B) - B
B
z GF (z) z
?
B0 ? ?
G F (B 0 ) - B0
B 0
Veamos que F es representativo: dado C Ob(C) existe G(C) Ob(B) tal que
F [G(C)] = C. Mostremos que F es fiel: sean z1 , z2 : B1 B10 morfismos en B tales
que F (z1 ) = F (z2 ). Se tiene que G F (z1 ) = G F (z2 ), lo cual implica
B10 (G F )(z1 ) = z1 B1 ,
B10 (G F )(z2 ) = z2 B1 ,
de donde z1 B1 = z2 B1 , y as, z1 = z2 . En consecuencia, F es fiel, y por simetra,

G es fiel.
3.2. FUNTORES EXACTOS 75
Finalmente, mostremos que F es pleno. Sea f : F (B) F (B 0 ) un morfismo de

MorC (F (B), F (B 0 )). Al considerar el isomorfismo funtorial se induce z : B B 0
B
G F (B) - B
G(f ) z=0B G(f )(B )1
? ?
0 - B0
G F (B ) B 0
Veamos que F (z) = f . Tenemos

B
G F (B) - B
B
z GF (z) z
?
B0 ? ?
G F (B 0 ) - B0
B 0
0 0
de donde se obtiene B G F (z) = z B = B G(f ), y as, G F (z) = G(f ),
por lo que F (z) = f , ya que G es fiel.
Definicion 3.1.9. Sean F : B C y G : C B un par de funtores covariantes. Se
dice que F y G son conjugados (o que F es adjunto a izquierda para G y G
es adjunto a derecha para F ), si existe un isomorfismo funtorial
: MorC (F , ) MorB (, G)
entre los bifuntores
F := MorC (F , ) : B C Conj (Contr cov)
G := MorB (, G) : B C Conj (Contr cov).
3.2. Funtores exactos

En la seccion anterior se establecio la aditividad de los funtores representables
Mor(A, ) : C Ab y Mor(, A) : C Ab, donde C es una categora abeliana
y A un objeto fijo de C. Cuando C = ModA y N es un A-modulo fijo, los fun-
tores representables se denotan por HomA (N, ) y HomA (, N ), respectivamente.
En esta seccion estudiaremos algunas propiedades de estos funtores relacionadas
con la preservacion de sucesiones exactas. A pesar de que las nociones que intro-
duciremos a continuacion pueden ser tratadas en categoras mas generales, nosotros
supondremos, si no se advierte lo contrario, que las categoras son abelianas.
Definicion 3.2.1. Un funtor F : B C se dice exacto a derecha si la exactitud

de A B C 0 en B, implica la exactitud de F (A) F (B) F (C) 0
en C. F se dice exacto a izquierda si la exactitud de 0 A B C en B en
B, implica la exactitud de 0 F (A) F (B) F (C) en C. Para el caso en que
F sea un funtor contravariante, se tiene lo siguiente: F es exacto a derecha si
la exactitud de 0 A B C en B implica la exactitud de F (C) F (B)
F (A) 0 en C, y, F es exacto a izquierda si la exactitud de A B C 0
en B implica la exactitud de 0 F (C) F (B) F (A) en C. Un funtor covariante
(contravariante) se dice exacto si es exacto a derecha e izquierda.
Como se dijo en la seccion anterior, la palabra funtor indicara funtor covariante.

De la proposicion 2.3.2 obtenemos las siguientes conclusiones:
(i) Un funtor F : B C es exacto a izquierda si, y solo si, preserva nucleos,

es decir, F (ker(f )) = ker(F (f )) para cada morfismo f de B.
(ii) Un funtor F : B C es exacto a derecha si, y solo si, preserva conucleos.
Definicion 3.2.2. Un funtor F : B C se dice semiexacto si la exactitud de

0 A B C 0 en B implica la exactitud de F (A) F (B) F (C) en C.
Evidentemente todo funtor exacto a derecha o a izquierda es semiexacto.
La proposicion 3.2.4 establece que los funtores semiexactos son aditivos. Para la
prueba utilizaremos el siguiente criterio.
Proposicion 3.2.3. Un funtor F : B C es aditivo si, y solo si, preserva sumas

directas finitas con las correspondientes proyecciones e inyecciones.
Demostracion. ): consideremos la suma directa (vease el corolario 2.1.2)

q1 q2
A1 - A 1 A2 A2
@
@ p2
iA1 iA2
p1 @
@
? R
@ ?
A1 A2
donde
(
iAi , i = j,
p j qi =
0, i=6 j
q1 p1 + q2 p2 = iA1 A2 .
3.2. FUNTORES EXACTOS 77
Se tiene que (
iF (Ai ) , i = j,
F (pj ) F (qi ) =
0, i=6 j
y F (q1 ) F (p1 ) + F (q2 ) F (p2 ) = iF (A1 A2 ) . Segun el corolario 2.1.2, F (A1 A2 )
es suma directa de F (A1 ) y F (A2 ) con inyecciones F (qi ) y proyecciones F (pi ) para
i = 1, 2.
): sean f, g : A B. Debemos probar que F (f + g) = F (f ) + f (g). Segun
la observacion 2.1, la suma viene dada por f + g = 5B (f g) A , donde
5B , f g, A estan definidos por las siguientes identidades (veanse la definicion
1.10.10 y (2.1.2)):
5B qiB = iB , pA
i A = iA , i = 1, 2,
f g f g
AA - BB AA - BB
6 6B 6 6B
q1A q1 q2A q2
A f
- B A g
- B
Al aplicar F encontramos
F (B)
F (5B ) qi = iF (B) , i = 1, 2
F (A)
pi F (A ) = iF (A) , i = 1, 2
esto es, F (5B ) = 5F (B) y F (A ) = F (A) . Ademas, F ((f g) q1A ) = F (q1B f )
F (A) F (B)
implica F (f g) q1 = q1 F (f ), y de F ((f g) q2A ) = F (q2B f ), se obtiene
F (A) F (B)
F (f g) q2 = q2 F (g). Por consiguiente, F (f g) = F (f ) F (g), y en
consecuencia F (f )+F (g) = 5F (B) (F (f )F (g))F (A) = F (5B (f g))A ) =
F (f + g).
Proposicion 3.2.4. Todo funtor semiexacto F : B C es aditivo.
Demostracion. Segun la proposicion 3.2.3, basta probar que F preserva las sumas
directas finitas. Sea S = A1 A2 la suma directa de A1 y A2 con inyecciones q1 , q2
y proyecciones p1 , p2 ; de la proposicion 2.3.3 tenemos que pi qi = iAi , i = 1, 2, y la
q1 p2 q2 P1
exactitud de las sucesiones 0 A1 S A2 0, 0 A2 S A1 0. Al
aplicar el funtor F obtenemos las siguientes sucesiones exactas:
F (q1 ) F (p2 )
0 F (A1 ) F (S) F (A2 ) 0
F (q2 ) F (p1 )
0 F (A2 ) F (S) F (A1 ) 0.
En efecto, F (pi ) es un epimorfismo y F (qi ) es un monomorfismo para i = 1, 2, ya
que F (pi ) F (qi ) = iF (Ai ) , i = 1, 2. La semiexactitud completa la prueba.
Ejemplo 3.2.5. Para cada A-modulo fijo N , el funtor covariante representable dado
por HomA (N, ) : ModA Ab, es aditivo y exacto a izquierda. Analogamente,
el funtor contravariante representable HomA (, N ) : ModA Ab, es aditivo y
exacto a izquierda. En efecto, en la definicion 3.1.5 se haba notado que los funtores
representables son aditivos. Esto tambien puede obtenerse de la proposicion 3.2.4
si probamos que dichos funtores son exactos a izquierda. Consideremos el caso co-
f g
variante; el contravariante lo dejamos a cargo del lector. Sea 0 M1 M2 M3
una sucesion exacta de A-modulos. Al aplicar HomA (N, ) se obtiene la sucesion
fN g N
0 HomA (N, M1 ) HomA (N, M2 ) HomA (N, M3 ). Debemos probar que
Im(fN ) = ker(gN ) y que fN es inyectiva (recordemos que Ab = ModZ ). Sea
h : N M1 tal que fN (h) = 0, es decir, f h = 0. Dado que f es un monomorfismo,
h = 0 y as fN es inyectiva. Ahora, sea t : N M2 tal que gN (t) = 0, esto es,
g t = 0. Como f es el nucleo de g existe un A-homomorfismo r : N M1 tal
que f r = t, es decir, fN (r) = t. Esto indica que t Im(fN ). Recprocamente, sea
t Im(fN ). Existe r : N M1 tal que t = f r, y de aqu, g t = g f r = 0 ya que
g f = 0. En conclusion, t ker(gN ) y la igualdad Im(fN ) = ker(gN ) esta probada.
3.3. Lmites y colmites

Presentamos en esta seccion las construcciones de lmite proyectivo y lmite inductivo
de un funtor. Estas construcciones seran en particular aplicadas para calcular el
lmite directo de un sitema dirigido de A-modulos.
Definicion 3.3.1. Sea F : L C un funtor, donde L es una categora pequena y C

una categora cualquiera. Para X Ob(C) y cada i I := Ob(L) supongase dado
un morfismo fi : X Fi , con Fi := F (i). La familia (fi )iI se dice compatible si
para cada morfismo g : i j en L se tiene que fj = F (g) fi :
X
fi fj
i g
- j
@
R
@
Fi - Fj
F (g)
Un lmite (o lmite proyectivo) de F es un objeto Lim F de C junto con una

familia compatible de morfismos pi :
Lim
F Fi , tal que para cualquier otra familia
compatible fi : X Fi existe un unico morfismo f : X Lim F para el cual
3.3. LIMITES Y COLIMITES 79
pi f = fi , esto es,
X
A
fA
? A
fi
Lim A fj
F A
i - j
g
@ A
pj @
A
pi

R
@ AU
Fi - Fj
F (g)
Se dice que C es una categora completa si para cada categora pequena L y cada
funtor F : L C existe el lmite proyectivo.
Debido a la unicidad, el lmite de F es unico salvo isomorfismo. De manera dual

se define el colmite de un funtor covariante F : L C, donde L es nuevamente una
categora pequena y C una categora cualquiera. No sobra en este momento repetir
las ideas duales.
Definicion 3.3.2. Un colmite (o lmite inductivo) de F es un objeto Lim

F de
C con una familia compatible de morfismos qi : Fi Lim
F , tal que para cualquier
otra familia compatible fi : Fi X existe un unico morfismo f : F X para
Lim
el cual f qi = fi :
X
6
AK
f
A
A
fi f
i - j LimF A j
g A
I A
@
qi qj@ A
@A
Fi - Fj
F (g)
Se dice que C es cocompleta si Lim

F existe para cada categora pequena L y cada
funtor F : L C.
El colmite de F es unico salvo isomorfismo. Antes de probar que ModA es

una categora completa y cocompleta, consideraremos algunos casos particulares de
lmites y colmites. Para comenzar, veamos que el producto y el coproducto de un
conjunto no vaco de objetos de una categora son casos particulares de lmite y
colmite, respectivamente.
Ejemplo 3.3.3. Sean C una categora cualquiera, I un conjunto no vaco, {Xi }iI
un conjunto de objetos de C (uno por cada i I), {fij : Xi Xj }iI un conjunto
dado de morfismos en C, donde para cada par i, j de I puede haber mas de un
morfismo o ninguno de Xi en Xj . Ademas, se supone que fii = iXi para cada i I.
Se definen el lmite y el colmite de (Xi )iI de la siguiente manera: sea L la categora
pequena donde Ob(L) := I, y a cada morfismo fij : Xi Xj se asocia un morfismo
f ij : i j. Se define el funtor F : L C, F (i) := Xi , F (f ij ) := fij . As, se define
Lim
Xi := LimF , y, Lim
Xi := Lim F (en caso de que los ultimos lmites existan). En
particular, al tomar como conjunto Q dado de morfismos L(fij : Xi Xj )iI solamente
las identidades, entonces Lim
Xi = Xi y Lim Xi = Xi .
Ejemplo 3.3.4. Un conjunto parcialmente ordenado I se dice dirigido, si para
cada par de elementos i, j de I, existe k I tal que i k y j k. Un caso trivial
de conjunto dirigido es cualquier conjunto totalmente ordenado, por ejemplo, N. Si
I es un conjunto dirigido, es claro que I puede ser considerado como una categora
pequena (la categora Pre), y si C es una categora cualquiera, un funtor F : I C se
denomina sistema directo (o dirigido) de C sobre I; se acostumbra a identificar
a F con sus imagenes: {Fi := F (i), fij }iI , donde fij : Fi Fj es el morfismo
correspondiente a i j. Ademas,
fii = iFi , (i j k fjk fij = fik ).
Un sistema inverso de C sobre I es cualquier funtor F : I C. Sea I un

conjunto dirigido y F : I C un sistema directo de C, {Fi , fij }i,jI ; se llama lmite
directo de F (o de {Fi }iI ) al lmite inductivo Lim
F . El lmite proyectivo Lim F

del sistema inverso F : I C se llama lmite inverso de F .
Ejemplo 3.3.5. En este ejemplo consideraremos a manera de ilustracion el lmite
directo de un sistema dirigido de A-modulos. Sea {Mi , fij }iI un sistema dirigido
de A-modulos. El lmite directo
Lim
Mi existe y se calcula como sigue: formamos la
S
union disyunta Mi de los conjuntos Mi , i I, definimos la relacion en Mi
S
por:
x y (x Mi , y Mj , existe k I con i k, j k y fik (x) = fjk (y) Mk ).
Notese que es de equivalencia. Veamos que

S
Mi = Mi / . Para cada i I
Lim
se tiene la funcion canonica
qi : Mi Lim
Mi
xi 7 qi (xi ) := xi
tal que si i j entonces qj fij = qi . Esto indica que {qi }iI es una familia compatible
de morfismos. Observese que cada elemento x Lim Mi es de la forma x = qi (xi )
para algun i I y xi Mi . Se dice que x es representado por xi . Debemos mostrar

que Mi es un A-modulo y que qi es un A-homomorfismo. Sean x, y Lim
Lim Mi
representados por xi Mi , yj Mj , respectivamente. Sea k I tal que i k, j k.
Definimos x+y como el elemento de Lim Mi representado por fik (xi )+fjk (yj ) Mk .
Para a A se define x.a como el representado por xi .a Mi . Estas operaciones
estan bien definidas y dotan a LimMi de estructura de A-modulo. Ademas, qi es
una A-homomorfismo para cada i I: nos limitaremos a probar que la adicion
esta bien definida; las pruebas de las afirmaciones restantes las encomendamos al
lector. Sean x, y Lim
Mi representados por xi Mi y yj Mj , respectivamente,
de tal manera que x + y = fik (xi ) + fjk (yj ), con i, j k; supongase que x =
xr , y = y s , entonces xr = xi , y s = y j y existen l i, r y w j, s tales que
frl (xr ) = fil (xi ), fsw (ys ) = fjw (yj ). Sea t l, w, se tiene t l i y flt (fil (xi )) =
flt (frl (xr )), es decir, fit (xi ) = frt (xr ). Analogamente, t w j y fjt (yj ) = fst (ys ).
Por consiguiente, t r, s y x + y = frt (xr ) + fst (ys ) = fit (xi ) + fjt (yj ). Sea v t, k.
Tenemos v k i, j y fkv (fik (xi )+fjk (yj )) = fiv (xi )+fjv (yj ). Tambien, v t i, j
con lo cual ftv (fit (xi ) + fjt (yj )) = fiv (xi ) + fjv (yj ). Esto indica que
fik (xi ) + fjk (yj ) = fit (xi ) + fjt (yj ) = frt (xr ) + fst (ys ),
lo cual completa la prueba.

Resta verificar el cumplimiento de la propiedad universal del lmite inductivo:
sea hi : Mi N, i I, una familia compatible de A-homomorfismos. Definimos la
aplicacion h : Mi N como sigue: h(xi ) := hi (xi ). La condicion de compati-
Lim
bilidad garantiza que h es un A-homomorfismo bien definido. Ademas, es claro que

S
h qi = hi para cada i I. Esto completa la prueba de que Mi / es el lmite
inductivo de {Mi , fij }iI .
En el ejemplo 3.3.5 se probo que la existencia de lmite directo de un sistema

directo de A-modulos. La idea ahora es generalizar completamente este resultado
demostrando que ModA es completa y cocompleta. La siguiente proposicion puede
ser demostrada bajo hipotesis mas debiles. Sin embargo, para nuestros propositos es
suficiente el siguiente enunciado.
Proposicion 3.3.6. Si C es una categora abeliana con productos, entonces C es

completa.
Demostracion. En efecto, sea L una categora pequena y g : i j un morfismo en

L. Denotamos
d(g) := dominio de g = i;
c(g) := codominio de g = j.
Sea F : L C un funtor. Para cada g denotamos por kg el morfismo

Y
kg := F (g) pd(g) pc(g) : F (i) F (c(g)),
iI
Q
donde las p son las proyeccionesQdel producto iI F (i) e I := Ob(L). Por la
propiedad universal del producto gMor(L) F (c(g)), se induce un unico morfismo
Y Y
k: F (i) F (c(g))
iI gMor(L)

Y
Fi
Q kg
Q
k Q
? Q
Y Q
s
Q
F (c(g)) - F (c(g))
pr(g)
l Q
donde pr(g) es la proyeccion canonica. Sea ker(k)
F (i) el nucleo de k. Veamos
F = ker(k) con la familia de morfismos {hi := pi l : ker(k) F (i)}iI .
que Lim
Notese en primer lugar que {hi }iI es una familia compatible de morfismos
ker(k)
@
i - j hi @ hj
g @
? @
R
@
F (g)
F (i) - F (j)
F (g) hi = F (g) pi l = (kg + pj ) l = kg l + pj l = 0 + pj l = hj
(k l = 0 pr(g) k l = 0 kg l = 0).
Sea {ti : X F (i)}

Q iI una familia compatible de morfismos. Se induce un unico
morfismo t : X F (i) tal que el siguiente diagrama conmuta
X
@
@ ti
t @
@
? @R
@
Y
F (i) p - F (i)i
g
Q para cada i
Notese que j se cumple que la familia {kg t}g induce un unico
z : X F (c(g)) para el cual se tiene el siguiente diagrama conmutativo:
X
Q
Q kg t
z Q
Q
? Q
Y Q
s
F (c(g)) - F (c(g))
pr(g)
Notemos que kg t = (F (g) pd(g) pc(g) ) t = F (g) ti tj = 0; pero 0 y k t

tambien cumplen esta condicion (pr(g) k t = kg t = 0). As, z = 0 = k t. Existe
un unico morfismo w : X N (k) tal que el siguiente diagrama conmuta
l k
Y Y
ker(k) - F (i) - F (c(g))
6
3 Q
w
Q
Q pr(g)
t kg Q
Q
s ?

X F (c(g))
Obtenemos el diagrama conmutativo
X
A
wA
? A
ti A tj
ker(k) A
A
@ A
@ A
hi hj

@R AU
@
F (i) - F (j)
F (g)
(l w = t pi l w = pi t hi w = ti , para todo i I)
Solo resta mostrar la unicidad de w. Sea w0 tal que para cada i I, hi w0 = ti .

As, hi w = ti = hi w0 , es decir, pi (l w) = pi (l w0 ), para cada i I. La
unicidad en el producto garantiza que l w = l w0 , y dado que l es monomorfismo,
w = w0 .
Ejemplo 3.3.7. Notese que ModA es una categora completa. Mas exactamente,
si L es una categora pequena y F : L ModA un funtor, se tiene
Y
Lim
F = {(x i) Fi | F (g)xi = xj },
iI
donde I := Ob(L). En efecto,

g
Y
ker(k) = (xi ) F (i) | kg [(xi )] = 0, para cada i j de L

g
Y
= (xi ) F (i) | F (g) pi [(xi )] = pj [(xi )], para cada i
j de L

g
Y
= (xi ) F (i) | F (g)xi = xj , para cada i j de L .
De manera dual se obtienen las siguientes conclusiones: si C es una categora abeliana

con coproductos, entonces C es una categora cocompleta. Mas exactamente, si L es
una categora pequena y F : L C es un funtor, entonces
M
u
M
Lim
F = coker F (d(g))
F (i) ,
gMor(L) iI
con I = Ob(L) y u es el morfismo inducido por la coleccion de morfismos

M
ug = qc(g) F (g) qd(g) : F (d(g)) F (i),
iI
L
donde las funciones q son las inyecciones del coproducto iI F (i). En particular,
ModA es una categora cocompleta.
3.4. Ejercicios
1. Sean B y C categoras abelianas y sea F : B C un funtor covariante. De-
muestre que las siguientes condiciones son equivalentes:
a) F es exacto.
b) Si 0 A B C 0 es una sucesion exacta en B, entonces 0
F (A) F (B) F (C) 0 es una sucesion exacta en C.
2. Demuestre que el funtor contravariante representable HomA (, N ) : ModA
Ab es exacto a izquierda.
3. Sea C una categora completa. Demuestre que para cada categora pequena L
se cumple
: Func(L, C) C
Lim
F 7 Lim
F
es un funtor.
3.4. EJERCICIOS 85
4. Sea {Mi , fij }iI un sistema directo de submodulos de un modulo M ,P

donde
fij : Mi Mj son las inclusiones canonicas. Demuestre que Lim
Mi = Mi .
5. Sea (Mi )iI un sistema directo de A-modulos y sea N un A-modulo fijo. De-
muestre los siguientes isomorfismos de grupos abelianos:
HomA (N, Lim

Mi ) = Lim
(HomA (N, Mi )).
HomA (Lim
Mi , N ) = Lim
(HomA (Mi , N )).
Bibliografa
[1] Arbib, M. and Manes, E., Arrows, Structures and Functors: The Categorical
Imperative, Academic Press, 1975.
[2] Anderson, F. and Fuller, K., Rings and Categories of Modules, Springer,
1992.
[3] Faith, C., Algebra I: Rings, Modules and Categories, Springer, 1981.
[4] Lang, S., Algebra, Springer, 2004. iv
[5] Lezama, O. and Villamarn, G., Anillos, Modulos y Categoras, Facultad de

Ciencias, Universidad Nacional de Colombia, 1994. iv
[6] Lezama, O., Cuadernos de Algebra, No. 1: Grupos, SAC2 , Departamen-

to de Matematicas, Universidad Nacional de Colombia, sede de Bogota,
www.matematicas.unal.edu.co/sac2 v, 1
[7] Lezama, O., Cuadernos de Algebra, No. 2: Anillos, SAC2 , Departamen-

www.matematicas.unal.edu.co/sac2 v, 1, 6
[8] Lezama, O., Cuadernos de Algebra, No. 3: Modulos, SAC2 , Departamen-

www.matematicas.unal.edu.co/sac2 v, 1, 26, 39, 42
[9] Lezama, O., Cuadernos de Algebra, No. 6: Anillos y modulos, SAC2 , Depar-
tamento de Matematicas, Universidad Nacional de Colombia, sede de Bogota,
www.matematicas.unal.edu.co/sac2 v, 14
[10] Mac Lane, S., Categories for the Working Mathematician, Springer, 1998.
[11] Pareigis, B., Categories and Functors, Academic Press, 1970.
86

Categorias PDF

Cargado por

Copyright:

Formatos disponibles

Categorias PDF

Cargado por

Información del documento

Título original

Derechos de autor

Formatos disponibles

Compartir este documento

Compartir o incrustar documentos

Opciones para compartir

¿Le pareció útil este documento?

¿Este contenido es inapropiado?

Copyright:

Formatos disponibles

Categorias PDF

Cargado por

Copyright:

Formatos disponibles

CUADERNOS DE ALGEBRA

Cuaderno dedicado a Luis Alberto, mi hermano

La coleccion Cuadernos de algebra consta de 10 publicaciones sobre los principales

1. Grupos 6. Anillos y modulos

Los cuadernos estan dividido en captulos, los cuales a su vez se dividen en

1.1. Concepto de categora

Definicion 1.1.1. Una categora C se define por:

(b) Una coleccion no vaca de conjuntos disyuntos y eventualmente vacos:

{MorC (X, Y )}X,Y Ob(C ) .

Mor(X, Y ) Mor(Y, Z) Mor(X, Z) (1.1.1)

La operacion cumple las siguientes condiciones:

(i) Es asociativa, es decir, dados f Mor(X, Y ), g Mor(Y, Z) y h

(ii) Para cada objeto X en C existe un morfismo identidad iX en Mor(X, X)

Observacion 1.1.2. (i) Es claro a partir de la Definicion 1.1.1 la unicidad del

(iv) Un diagrama se dice conmutativo si para cualesquiera dos objetos X, W en

Ejemplo 1.1.3. El ejemplo mas sencillo de categora es la de los conjuntos, la

Definicion 1.1.4. Dadas dos categoras C, C 0 , se dice que C 0 es una subcategora

(i) Todo objeto de C 0 es tambien un objeto de C. En terminos de contenencia de

(ii) Dados X, Y Ob(C 0 ), todo morfismo f : X Y en C 0 tambien lo es en C,

(iii) La composicion de morfismos en C 0 es la inducida por la composicion de mor-

(iv) Para cada objeto X de C 0 , el morfismo identidad es el mismo morfismo iden-

En cada categora debe tenerse un criterio de igualdad de objetos y morfismos.

La igualdad de morfismos se define mediante la igualdad de funciones. Notese por

Definicion 1.1.6. Una categora C se dice pequena si Ob(C) es un conjunto.

Ejemplo 1.1.7. La categora Nat determinada por el conjunto N0 = {0, 1, 2, 3, . . . }

Ejemplo 1.1.8. Cualquier conjunto pre-ordenado constituye otro ejemplo de cate-

La composicion de morfismos se define por la transitividad de la relacion 4, es decir,

En adelante, si no se advierte lo contrario, se entendera que todos los objetos y

Cerramos esta seccion con el concepto de factorizacion de morfismos.

Definicion 1.1.9. Un morfismo f : X Y se dice factorizable a traves del

1.2. Tipos de morfismos

Definicion 1.2.1. Un morfismo f : X Y se dice que es un epimorfismo, si

En otras palabras, h es un epimorfismo si es cancelable a derecha.

A partir de las definiciones anteriores se obtienen de manera inmediata las si-

(i) La composicion de monomorfismos es un monomorfismo. Si g f es un mono-

(ii) La composicion de epimorfismos es un epimorfismo. Si g f es un epimorfismo,

(iii) El morfismo identico es un bimorfismo.

i, h : P M , inclusion y nulo respectivamente. Se sigue que f i = f h, de donde

Ejemplo 1.2.3. Analogamente a como se probo en la categora ModA , se establece

Definicion 1.2.4. El morfismo f : X Y se dice una retraccion, si existe un

A partir de las definiciones anteriores es evidente que una retraccion es un epi-

(ii) En Ani toda corretraccion es un homomorfismo inyectivo, pero no lo contrario.

1.3. Tipos de objetos y dualidad.

Definicion 1.3.1. Un objeto I se dice inicial si para cada objeto X el conjunto

Definicion 1.3.3. El morfismo f : X Y se llama morfismo cero a izquierda

Si I es un objeto inicial entonces cualquier morfismo I X es morfismo cero a

Ejemplo 1.3.4. En la categora ModA el homomorfismo nulo 0 : M N es un

Demostracion. Existencia. Notese que si f : X Y es un morfismo cero a izquierda

con lo cual g f resulta ser un morfismo cero a derecha. De manera analoga se

Puesto que 0Y Y es morfismo cero se tiene que 0Y Y f = 0Y Y (y x). Tambien,

Ejemplo 1.3.6. En Ani el homomorfismo Z 0 es morfismo cero y no es factori-

(i) f 0XY = 0XZ , para cada objeto Z y cada f Mor(Y, Z);

(ii) 0XY g = 0ZY , para cada objeto Z y cada g Mor(Z, X).

00XY 0XX = 0XY , 00XY 0XX = 00XY .

esto es, f 0XY = f (y x) = (f y) x. Por lo tanto f 0XY es factorizable a

Observacion 1.3.11. La posibilidad de asociar a cada categora C su dual C per-

1.4. Subobjeto y objeto cociente

Definicion 1.4.1. Sea A un objeto de una categora. Se llama subobjeto de A a

Teniendo en cuenta que la compuesta de monomorfismos es un monomorfismo,