CUADERNOS DE ÁLGEBRA

No. 7
Categorı́as

José Oswaldo Lezama Serrano

Departamento de Matemáticas
Facultad de Ciencias
Universidad Nacional de Colombia
Sede de Bogotá

30 de noviembre de 2018
ii

Cuaderno dedicado a Luis Alberto, mi hermano

Contenido

Prólogo iv

1. Categorı́as 1
1.1. Concepto de categorı́a . . . . . . . . . . . . . . . . . . . . . . . . . . 1
1.2. Tipos de morfismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 5
1.3. Tipos de objetos y dualidad. . . . . . . . . . . . . . . . . . . . . . . . 8
1.4. Subobjeto y objeto cociente . . . . . . . . . . . . . . . . . . . . . . . 11
1.5. Intersección y unión . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.6. Imagen y coimagen . . . . . . . . . . . . . . . . . . . . . . . . . . . . 21
1.7. Núcleos y conúcleos . . . . . . . . . . . . . . . . . . . . . . . . . . . . 23
1.8. Producto y suma fibrada . . . . . . . . . . . . . . . . . . . . . . . . . 28
1.9. Imagen inversa . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 32
1.10. Producto y coproducto . . . . . . . . . . . . . . . . . . . . . . . . . . 39
1.11. Las categorı́as ModA y Ani . . . . . . . . . . . . . . . . . . . . . . . . 45
1.12. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 51

2. Categorı́as abelianas 53
2.1. Categorı́as aditivas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 53
2.2. Categorı́as abelianas . . . . . . . . . . . . . . . . . . . . . . . . . . . 57
2.3. Sucesiones exactas . . . . . . . . . . . . . . . . . . . . . . . . . . . . 63
2.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 66

3. Funtores 67
3.1. Funtores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 67
3.2. Funtores exactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 75
3.3. Lı́mites y colı́mites . . . . . . . . . . . . . . . . . . . . . . . . . . . . 77
3.4. Ejercicios . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 83

Bibliografı́a 85

iii
Prólogo

La colección Cuadernos de álgebra consta de 10 publicaciones sobre los principales

temas de esta rama de las matemáticas, y pretende servir de material para preparar
los exámenes de admisión y de candidatura de los programas colombianos de doc-
torado en matemáticas. Los primeros cinco cuadernos cubren el material básico de
los cursos de estructuras algebraicas y álgebra lineal de los programas de maestrı́a;
los cinco cuadernos siguientes contienen algunos de los principales temas de los
exámenes de candidatura, a saber: anillos y módulos; categorı́as; álgebra homológica;
álgebra no conmutativa; álgebra conmutativa y geometrı́a algebraica. Cada cuaderno
es fruto de las clases dictadas por el autor en la Universidad Nacional de Colombia
en los últimos 25 años, y están basados en las fuentes bibliográficas consignadas en
cada uno de ellos, como también en el libro Anillos, Módulos y Categorı́as, publicado
por la Facultad de Ciencias de la Universidad Nacional de Colombia, y cuya edición
está totalmente agotada (véase [5]). Un material similar, pero mucho más completo
que el presentado en estas diez publicaciones, es el excelente libro de Serge Lang, Al-
gebra, cuya tercera edición revisada ha sido publicada por Springer en el 2004 (véase
[4]). Posiblemente el valor de los Cuadernos de álgebra sea su presentación ordenada
y didáctica, ası́ como la inclusión de muchas pruebas omitidas en la literatura y
suficientes ejemplos que ilustran la teorı́a. Los cuadernos son:
1. Grupos 6. Anillos y módulos
2. Anillos 7. Categorı́as
3. Módulos 8. Álgebra homológica
4. Álgebra lineal 9. Álgebra no conmutativa
5. Cuerpos 10. Geometrı́a algebraica
Los cuadernos están divididos en capı́tulos, los cuales a su vez se dividen en
secciones. Para cada capı́tulo se añade al final una lista de ejercicios que deberı́a ser
complementada por los lectores con las amplias listas de problemas que incluyen las
principales monografı́as relacionadas con el respectivo tema.
Cuaderno de categorı́as. Este cuaderno consta de tres partes: en la primera
se presentan las nociones básicas de categorı́as las cuales se ilustran en las categorı́as
de módulos y anillos. Se destacan los diferentes tipos de objetos y morfismos, las
nociones de núcleo y conúcleo, el producto y la suma fibrada de morfismos y el

iv
 PRÓLOGO v

producto y coproducto de familias de objetos. La imagen de un morfismo y la imagen

inversa de un subobjeto a través de un morfismo son también estudiadas, ası́ como
varias de sus propiedades.
En la segunda parte se definen las categorı́as aditivas y abelianas y se introducen
las sucesiones exactas. La caracterización matricial del grupo de morfismos entre dos
sumas directas es presentada. También se demostrará que la categorı́a de módulos
sobre un anillo es una categorı́a abeliana.
La terecera parte está dedicada a los funtores, transformaciones naturales y al
estudio de lı́mites y colı́mites. Se definirán los funtores fieles, plenos y representativos
para dar paso a la noción de categorı́as equivalentes. Se probará en detalle que la
equivalencia entre categorı́as es una relación reflexiva, simétrica y transitiva. Se
demostrará que la categorı́a de módulos es completa y cocompleta indicando de
manera precisa como construir el lı́mite y el colı́mite de un funtor F de una categorı́a
pequeña L en la categorı́a de módulos.
Es importante anotar que la representación gráfica de los morfismos se realizará a
través de diagramas de flechas y objetos, y que en muchas de las demostraciones se
hará amplio uso de estas representaciones. En particular, será muy importante la
noción de diagrama conmutativo, la cual de manera informal podemos ilustrar en
la siguiente figura

f
A - B

p g
? ?
C q
- D

diciendo que el diagrama conmuta si gf = qp.

Otras fuentes fuertemente recomendadas a los lectores para comple-
mentar los temas aquı́ tratados son [1], [2], [11] y [12].
Para una buena compresión del presente cuaderno se recomienda al lector consul-
tar los cuadernos 1, 2, 3 y 6 (véanse [6], [7], [8] y [9]) ya que usaremos los resultados
y la notación consignados en ellos. En particular, A denotará 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 módulos serán considerados a derecha. Si M
es un A-módulo a derecha lo denotaremos también por MA . Si N es un submódulo
de M escribiremos N ≤ M . Para n ≥ 1, Mn (A) es el anillo de matrices cuadradas
de tamaño 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 idéntica de tamaño n × n
se denota por En . An representa el A-módulo libre derecho de vectores columna de
longitud n con entradas en A.
vi PRÓLOGO

El autor desea agradecer a Milton Armando Reyes Villamil, discı́pulo y amigo,

por el trabajo riguroso realizado al digitar el contenido del presente cuaderno. Tam-
bién, el autor desea expresar su agradecimiento a Fabio Alejandro Calderón Mateus
por la lectura cuidadosa y las correcciones finales introducidas al presente cuaderno.

José Oswaldo Lezama Serrano

Departamento de Matemáticas
Universidad Nacional de Colombia
Bogotá, Colombia
jolezamas@unal.edu.co
Capı́tulo 1

Categorı́as

La teorı́a de categorı́as y funtores ha adquirido en los últimos años un desarrollo

tal que se ha convertido en una rama del álgebra y la lógica con metodologı́a y
dinámica propias. Para un buen número de áreas de la matemática, entre ellas el
álgebra, la teorı́a de categorı́as ha jugado un papel importante de lenguaje, a través
del cual se presentan y obtienen resultados de una manera global y elegante. Esta
función del lenguaje fue precisamente la que nos motivó a incluir en esta colección
de cuadernos algunos elementos básicos de teorı́a de categorı́as. En este primer
capı́tulo presentamos la noción de categorı́a junto con los principales tipos de objetos,
subobjetos y morfismos, todas estas definiciones serán ilustradas en la categorı́a de
anillos con unidad y en la categorı́a de módulos sobre un anillo.

1.1. Concepto de categorı́a

Nuestro propósito es presentar los conceptos básicos en categorı́as, ilustrándolos a
través de dos casos particulares: la categorı́a de A-módulos derechos, ModA , y la
categorı́a de anillos con unidad Ani. Las categorı́as permiten generalizar algunas
construcciones y resultados de la teorı́a general de anillos y módulos presentados en
[6], [7] y [8].
Con el fin de evitar caer en los rigores de la lógica, no definimos los conceptos
de objeto y morfismo de una categorı́a. En su lugar definimos una categorı́a como
una colección de objetos y morfismos sujetos a ciertos axiomas.
Definición 1.1.1. Una categorı́a C se define por:
(a) Una colección no vacı́a cuyos elementos se llaman objetos. Esta colección se
denota por Ob(C).
(b) Una colección no vacı́a de conjuntos disyuntos y eventualmente vacı́os:
{MorC (X, Y )}X,Y ∈Ob(C ) .

1
2 CAPÍTULO 1. CATEGORÍAS

Los elementos del conjunto MorC (X, Y ) se denominan morfismos del ob-
jeto X en el objeto Y y se denota también por Mor(X, Y ). Un elemento de
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 reunión de todos los conjuntos de morfismo de C será notada Mor(C), esto
es, [
Mor(C) := Mor(X, Y ).
X,Y ∈Ob(C )

(c) Una operación entre morfismos llamada composición, tal que si X, Y, Z son
objetos de C, f ∈ Mor(X, Y ) y g ∈ Mor(Y, Z), existe un único 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 operación ◦ 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 ).
Observación 1.1.2. (i) Es claro a partir de la definición 1.1.1 la unicidad del
morfismo identidad.
(ii) Si en (1.1.1) Mor(X, Y ) o Mor(Y, Z) son vacı́os, la composición no se define.
(iii) Para representar la composición de morfismos en una categorı́a 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
h◦g @g◦f
? R
@
Y g
- Z

h ◦ (g ◦ f ) = (h ◦ g) ◦ f
 1.1. CONCEPTO DE CATEGORÍA 3

f
Y - X

iX
f =iX ◦f g=g◦iX
? ?
X g
- Y

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

él, todos los caminos de X a W son equivalentes.

Ejemplo 1.1.3. El ejemplo más sencillo de categorı́a es la de los conjuntos, la

cual se denota por Conj. Sus objetos son la colección de todos los conjuntos; las
funciones conforman los morfismos, y la operación entre éstos es la composición
usual de funciones. Dado un conjunto X, el morfismo identidad es la función idéntica
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 ◦ ∅ = ∅.

Definición 1.1.4. Dadas dos categorı́as C, C 0 , se dice que C 0 es una subcategorı́a

de C si se cumplen las siguientes cuatro condiciones:

(i) Todo objeto de C 0 es también un objeto de C. En términos 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 también lo es en C,

esto es, MorC 0 (X, Y ) ⊆ MorC (X, Y ).

(iii) La composición de morfismos en C 0 es la inducida por la composición de mor-

fismos en C.

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

tidad de la categorı́a C.

Ejemplo 1.1.5. Otras categorı́as. La colección de todos los grupos junto con los
homomorfismos constituyen una categorı́a denotada por Grp. La operación entre
morfismos es la composición, 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 categorı́a denotada por Ani. Finalmente,
para un anillo con unidad A, ModA es la categorı́a de todos los A-módulos derechos
cuyos objetos son los A-módulos derechos y los morfismos son los A-homomorfismos.
Tanto la operación como las identidades se definen como en Grp y Ani. Si se
consideran A-módulos izquierdos, la categorı́a se denota por A Mod.

En cada categorı́a debe tenerse un criterio de igualdad de objetos y morfismos.

Ası́, en las categorı́as descritas anteriormente, la igualdad de objetos está carac-
terizada por la igualdad de conjuntos y la igualdad de operaciones definidas en
4 CAPÍTULO 1. CATEGORÍAS

ellos. La igualdad de morfismos se define mediante la igualdad de funciones. Nótese

por ejemplo que el anillo producto ZN y el anillo de sucesiones formales Z[[x]] son
diferentes, a pesar de que sus conjuntos coinciden. De esta manera, ZN y Z[[x]] no
son objetos iguales en la categorı́a Ani.
De otra parte, obsérvese que la colección de conjuntos finitos conforma una sub-
categorı́a de Conj; la colección de grupos abelianos es una subcategorı́a de Grp.

Definición 1.1.6. Una categorı́a C se dice pequeña si Ob(C) es un conjunto.

Ejemplo 1.1.7. La categorı́a Nat determinada por el conjunto N0 = {0, 1, 2, 3, . . . }

n
es pequeña. Su único objeto es el 0, y se define Mor(0, 0) := {0 −
→ 0 | n ∈ N0 }. La
n
composición entre morfismos corresponde a la multiplicación, es decir, si 0 −
→0y
m
0−→ 0 son morfismos, se define m ◦ n := mn. La asociatividad de la mutiplicación
implica la asociatividad de la composición. El morfismo identidad es el entero 1.

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

gorı́a pequeña, denotada Pre. Sea P un conjunto no vacı́o con una relación 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 composición de morfismos se define por la transitividad de la relación 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 entenderá que todos los objetos y

morfismos corresponden a una categorı́a arbitraria C.

Cerramos esta sección con el concepto de factorización de morfismos.

Definición 1.1.9. Un morfismo f : X → Y se dice factorizable a través del

morfismo g : X → Z (se acostumbra a decir que f es factorizable a través 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 caracterización de los conceptos de función sobreyectiva, inyectiva y biyectiva
de la categorı́a Conj conduce a los conceptos de epimorfismo, monomorfismo e
isomorfismo en una categorı́a cualquiera. Estas y otras nociones serán estudiadas
con algún detalle en esta sección.

Definición 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 implicación

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 simultáneamente epimorfismo
y monomorfismo.

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

guientes conclusiones:

(i) La composición de monomorfismos es un monomorfismo. Si g ◦ f es un mono-

morfismo, entonces f es un monomorfismo.

(ii) La composición de epimorfismos es un epimorfismo. Si g ◦ f es un epimorfismo,

entonces g es un epimorfismo.

(iii) El morfismo idéntico es un bimorfismo.

Ejemplo 1.2.2. En la categorı́a ModA los epimorfismos coinciden con los homomor-
fismos sobreyectivos. En efecto, sea f : M → N un homomorfismo sobreyectivo de
A-módulos, 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 módulo 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 categorı́a 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
submódulo cı́clico de M generado por m1 − m2 y considérense los A-homomorfismos
6 CAPÍTULO 1. CATEGORÍAS

i, h : P → M , inclusión 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 categorı́a ModA los bimor-
fismos son los homomorfismos biyectivos.

Ejemplo 1.2.3. Análogamente a como se probó en la categorı́a ModA , se establece

que en Ani todo homomorfismo sobreyectivo de anillos es un epimorfismo. El siguien-
te ejemplo muestra que el recı́proco no es siempre cierto. La inclusión 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 categorı́a Ani los monomorfismos coinciden con los homomorfismos inyec-
tivos: sea f : A → B un monorfismo en Ani y x, z elementos de A tales que f (x) =
f (z). Considérese el subanillo S(x, z) de A generado por los elementos x, z (véase [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 análoga a la
dada en el Ejemplo 1.2.2 para módulos. De lo discutido anteriormente se desprende
que en la categorı́a Ani los bimorfismos no coinciden con los homomorfismos biyec-
tivos, de tal manera que todo homomorfismo biyectivo es bimorfismo pero no lo
contrario.

Definición 1.2.4. El morfismo f : X → Y se dice una retracción, si existe un

morfismo h : Y → X tal que f ◦ h = iY . En otras palabras, f es una retracción
si posee un inverso a derecha. Se dice que f : X → Y es una corretracción, si
tiene inverso a izquierda. Un isomorfismo es un morfismo que es retracción y
corretracción al mismo tiempo.

Nótese que para un isomorfismo el inverso por la derecha coincide con el inverso
por la izquierda y es el único que cumple esta doble condición. Dicho morfismo
será llamado el inverso de f , y será 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 retracción es un epi-

morfismo y que toda corretracción es un monomorfismo. De esto se desprende que
todo isomorfismo es un bimorfismo. Una categorı́a se dice balanceada si todo bi-
morfismo es un isomorfismo.
Ejemplo 1.2.5. Consideremos los Z-módulos 2Z := {2k | k ∈ Z} y Z con el
homomorfismo inclusión 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 canónico j : Z → Z2 es claramente sobreyectivo
y, por ende, un epimorfismo. j no es una retracción ya que el único Z-homomorfismo
de Z2 en Z es nulo.
Ejemplo 1.2.6. En la categorı́a Ani la inclusión canónica i : Z → Q es un
monomorfismo ya que es un homomorfismo inyectivo. Supóngase 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 conclusión, i no es una corretracción.
El mismo ejemplo dado en el ejemplo 1.2.5 ilustra que en Ani no todo epimor-
fismo es retracción.
Ejemplo 1.2.7. De la definición 1.2.4 y de los dos ejemplos anteriores obtenemos:
(i) En ModA toda retracción es un homomorfismo sobreyectivo, pero no lo con-
trario. Toda corretracción es un homomorfismo inyectivo, más no se tiene el
recı́proco.

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

En Ani toda retracción es un homomorfismo sobreyectivo, pero no lo contrario.
En efecto, el homomorfismo canónico j : Z → Z2 es sobreyectivo pero no es
retracción (véase el ejemplo 1.2.6)
Ejemplo 1.2.8. En teorı́a general de anillos y módulos 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 categorı́a balanceada. Ani no
es balanceada: como se observó en los ejemplos anteriores la inclusión i : Z → Q es
un bimorfismo, pero claramente no es biyectivo.
Algunos de los resultados de la presente sección se pueden resumir en la siguiente
tabla, donde C es una categorı́a cualquiera, i = inyectivo, s = sobreyectivo, biy =
biyectivo, m = monomorfismo, e = epimorfismo, bim = bimorfismo, iso = isomorfis-
mo, r = retracción y c = corretracción.
8 CAPÍTULO 1. CATEGORÍAS

C ModA Ani
r⇒e r⇒e⇔s r⇒s⇒e
c⇒m c⇒m⇔i c⇒m⇔i
iso ⇒ bim iso ⇔ bim ⇔ biy iso ⇔ biy ⇒ bim

1.3. Tipos de objetos y dualidad.

En la categorı́a ModA el módulo nulo 0 es tal que para cada A-módulo M los
conjuntos HomA (0, M ) y HomA (M, 0) son unitarios. Los objetos de una categorı́a
con esta propiedad se destacan de manera especial.

Definición 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 simultáneamente 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
categorı́a son necesariamente isomorfos. Tal situación se tiene también para dos
objetos terminales y para dos objetos cero.

Ejemplo 1.3.2. En Conj el conjunto vacı́o es el único objeto inicial, mientras que
cualquier conjunto unitario es objeto terminal. Conj no posee objeto cero. En ModA
el módulo nulo 0 es objeto cero. En Ani el anillo Z de enteros es objeto inicial. El
anillo trivial 0, consistente de un sólo elemento, es objeto terminal. Ani no tiene
objeto cero.

Definición 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 = h◦f , para cualquier objeto Z
y cualesquiera morfismos g, h : Y → Z. Un morfismo que sea cero simultáneamente
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. Análogamente, si T es objeto terminal, entonces todo morfismo con codo-
minio T es morfismo cero a izquierda.

Ejemplo 1.3.4. En la categorı́a ModA el homomorfismo nulo 0 : M → N es un

morfismo cero. En Ani el homomorfismo Z → 0 es morfismo cero. Además, 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.

Proposición 1.3.5. En una categorı́a con objeto 0, para cada par de objetos X, Y
existe un único morfismo cero en Mor(X, Y ), notado 0XY .
 1.3. TIPOS DE OBJETOS Y DUALIDAD. 9

Demostración. Existencia. Nótese 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 análoga se

establece que g ◦ f es morfismo cero a izquierda. Resulta entonces de la definición
1.3.3 que la compuesta 0XY : X → 0 → Y es un morfismo cero.
Unicidad. El morfismo encontrado 0XY es factorizable a través del objeto cero y
se tiene el diagrama conmutativo

0
x y
 @
R
@
X 0XY
- Y

Puesto que x y y son únicos, basta probar que cualquier morfismo cero f : X → Y
es factorizable a través de cero (el recı́proco también 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). También,

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 querı́amos demostrar.

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

zable a través del objeto cero, pues Ani no posee objeto cero.

Definición 1.3.7. Una categorı́a 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).

Nótese que en una categorı́a C con cero morfismos la colección de cero morfismos
{0XY }X,Y ∈Ob(C ) es única:

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

10 CAPÍTULO 1. CATEGORÍAS

Proposición 1.3.8. Una categorı́a C con objeto cero 0 es una categorı́a con cero
morfismos. La colección de cero morfismos es la descrita en la proposición 1.3.5.
Demostración. Sea {0XY }XY ∈Ob(C ) la colección de morfismos estudiada en la pro-
posición 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

través del objeto cero, por lo tanto f ◦ 0XY = 0XZ . De manera similar se establece
la condición (ii) de la definición 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 categorı́a con cero morfismos. Ani no es una categorı́a con
cero morfismos, pues por ejemplo Mor(Z2 , Z) = ∅.
Es posible que una categorı́a tenga cero morfismos sin que posea objeto cero.
Tal es el caso de la categorı́a Nat estudiada en el ejemplo 1.1.7. En efecto, Nat no
posee objeto cero pero el morfismo 0 : 0 → 0 es tal que n0 = 0n = 0 para todo
n ∈ Mor(Nat).
Observación 1.3.10. En teorı́a de categorı́as las ideas vienen en parejas, cada una
de las cuales es dual de la otra, en el sentido de que la definición o afirmación de la una
se obtiene de la otra “invirtiendo el sentido de las flechas en los morfismos”. Ası́ pues,
se habrá 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
observación lleva a la consideración de obtener a partir de una categorı́a arbitraria
C otra categorı́a C ◦ , denominada la categorı́a 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 composición es consecuencia de la asociatividad de la com-
posición en C. Las identidades de C ◦ son las mismas que en C. De la definición
anterior es claro que (C ◦ )◦ = C.
 1.4. SUBOBJETO Y OBJETO COCIENTE 11

Observación 1.3.11. La posibilidad de asociar a cada categorı́a C su dual C ◦ per-

mite obtener para cada concepto o afirmación categórica P un nuevo concepto dual
o afirmación dual P ◦ . Si P es una afirmación demostrada categóricamente (es
decir, válida en cualquier categorı́a), entonces P ◦ se considera también demostrado
categóricamente. Más exactamente, se tiene el siguiente principio de dualidad :
P es un teorema sobre categorı́as si, y sólo si, P ◦ es un teorema sobre categorı́as.
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 verá a continuación, las nociones de submódulo, subanillo, módulo cociente
y anillo cociente admiten una generalización natural en categorı́as arbitrarias.

Definición 1.4.1. Sea A un objeto de una categorı́a. 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 restricción 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)

Definición 1.4.2. Para cada objeto A se denota por Sub(A) la colección de todos los
subobjetos de A. Si (X1 , l1 ) y (X2 , l2 ) son elementos de Sub(A) se dice que (X1 , l1 )
está incluido en (X2 , l2 ), o también, 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

Nótese que f es único y es un monomorfismo, con lo cual X1 es subobjeto de X2 .

Esto justifica la notación introducida para la relación de inclusión entre subobjetos.
Por (1.4.1) y ya que X ≤ X para cada objeto X, (Sub(A), ≤) es un preorden (es
decir, ≤ es una relación reflexiva y transitiva).
12 CAPÍTULO 1. CATEGORÍAS

Definición 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 relación de
equivalencia en Sub(A).
Proposición 1.4.4. Si (X1 , l1 ) ∼
= (X2 , l2 ) entonces X1 ∼
= X2 .
Demostración. 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 . Simétricamente
encontramos g ◦ f = iX2 .
Ejemplo 1.4.5. El recı́proco de la proposición anterior no siempre es cierto. Por
ejemplo, en ModZ , 2Z y 3Z son claramente módulos 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 algún m ∈ Z, lo cual es contradictorio.
Observación 1.4.6. La clase de equivalencia determinada por el subobjeto (X, l)
de A será notada por (X, l), o simplemente X. SUB(A) denotará la colección de
dichas clases de equivalencia. A menudo identificaremos X como un subobjeto de
A. Nótese que si X1 , X2 ∈ SUB(A), la relación definida por

X1 ≤ X2 ⇔ X1 ≤ X2 ,

es un orden en SUB(A).
Ejemplo 1.4.7. Los subobjetos de un A-módulo son, salvo equivalencia, los sub-
módulos con las inclusiones. En efecto, sean l : X → M un subobjeto de M y
N := l(X). Sea l0 : N → M la inclusión. Se tiene (X, l) ∼
= (N, l0 ), como lo muestra
el siguiente diagrama
M
l0  6@ @ l0
I
l @
@
N f
- X
g
- N
 1.4. SUBOBJETO Y OBJETO COCIENTE 13

donde f (n) := x, con l(x) = n y g(x) := l(x), x ∈ X, n ∈ N .

De otra parte, sean N1 y N2 submódulos 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
supóngase 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 contradicción.

De manera análoga se demuestra que los subobjetos de un anillo A son, salvo

equivalencia, los subanillos con las inclusiones.

Un mismo objeto de una categorı́a puede ser subobjeto de diferentes maneras,

es decir, a través 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 inclusión. 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, obteniéndose una contradicción.

Definición 1.4.8. Una categorı́a se dice localmente pequeña, si SUB(A) es un

conjunto para cada objeto A de C.

Son localmente pequeñas las categorı́as Conj, ModA y Ani.

Si C es localmente pequeña, 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 vacı́o 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 vacı́o 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.

Definición 1.4.9. Sea C una categorı́a cualquiera y A un objeto de C. Se dice

que A cumple la condición mı́nima de cadenas, si cada subconjunto no vacı́o
totalmente ordenado de SUB(A) contiene elemento minimal. De manera similar,
mediante elementos maximales, se define la condición máxima de cadenas.
14 CAPÍTULO 1. CATEGORÍAS

Proposición 1.4.10. Si C es una categorı́a localmente pequeña y A es un objeto

de C, entonces A es artiniano (noetheriano) si, y sólo si, A cumple la condición
mı́nima (máxima) de cadenas.
Demostración. ⇒): Evidente.
⇐): Supongase que existe ∅ 6= U ⊆ SUB(A) tal que U no posee subobjeto
minimal. 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 sólo posee un
objeto: el módulo 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-módulo libre con base enumerable A(N) , no es ni noetheriano no artiniano. Basta
considerar las cadenas de submódulos propios
X n  X ∞ 
xi A , xi A ,
i=1 n≥1 i=n n≥1

donde {xi }∞
i=1 es una base de A
(N)
.
La colección de A-módulos noetherianos (artinianos) constituye una subcategorı́a
de ModA . Los anillos y módulos noetherianos (artinianos) fueron estudiados en [9].
La categorı́a 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 ]}n≥1 , {A[xn ,n+1 , . . . ]}n≥1.

Concluimos esta sección discutiendo brevemente el concepto dual de subobjeto.

Definición 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) denotará la
colección de objetos cocientes de A. Por el principio de dualidad se tiene una relación
∼
= 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 recı́proco de la implicación 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 función 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,

 1.4. SUBOBJETO Y OBJETO COCIENTE 15

son homomorfismos sobreyectivos, con lo cual (j1 , A[x1 ]) y (j2 , A[x2 ]) son objetos
cociente de A[x1 ] × A[x2 ]. Supóngase 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 colección de clases de objetos cociente equivalentes, esto es,

COC(A) = Coc(A)/ ∼ =. Se dice que C es colocalmente pequeña si COC(A) es un
conjunto para cada objeto A de C.

Ejemplo 1.4.13. ModA es colocalmente pequeña. Al seguir el razonamiento del

ejemplo 1.4.7 es posible demostrar que los objetos cocientes de un A-módulo son,
salvo equivalencia, los módulos cociente M/N con los homomorfismos canónicos
j : M → M/N, j(m) = m + N, m ∈ M .
Para la categorı́a Ani la situación cambia. Dado un anillo A, los anillos cociente
A/I, con I ideal bilátero propio de A, junto con los homomorfismos canónicos 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 clásico 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.

Nótese 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 categorı́a Ani los epimorfismos no
coinciden con los homomorfismos sobreyectivos. Aún para el caso del anillo Z la
descripción de todos los objetos cociente de Z es un problema interesante (véase el
ejercicio 15 del presente capı́tulo).
16 CAPÍTULO 1. CATEGORÍAS

1.5. Intersección y unión

En esta sección se estudian dos de las operaciones más comunes que se pueden
realizar con subobjetos de un objeto: la intersección y la unión.
i l
Definición 1.5.1. Sea {Xi −→ A}i∈I un conjunto no vacı́o de subobjetos de un objeto
l
A. El subobjeto X −→ A se denomina intersección 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 único 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 i∈I Xi , o sencillamente, Xi .
Según la definición 1.4.2, cada fi es monomorfismo y único. Nótese también que
fi ◦ f = fi0 para cada i ∈ I. En efecto,
li ◦ fi0 = g = l ◦ f = li ◦ (fi ◦ f ).
Obsérvese 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 intersección.
l l l
Proposición 1.5.2. Si X − → A y X0 −
→ A son intersecciones del conjunto {Xi −
→i

A}i∈I de subobjetos de A, entonces

l l 0
→ A) ∼
(X − = (X 0 →
− A),
y en particular, X ∼
= X 0.
 1.5. INTERSECCIÓN Y UNIÓN 17

f f0
Demostración. Existen morfismos X 0 − → X 0 tales que l ◦ f = l0 y,
→ X y, X −
0 0
l ◦ f = l.
l
¿Es cierto el recı́proco de la proposición anterior? Es decir, si X −
→ A es inter-
li 0
0 l
sección del conjunto {Xi −→ A}i∈I y X − → A es subobjeto equivalente a X, entonces
X 0 es también intersección. 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. Nótese que el
diagrama
A
l1 0
 @l
I
@
Xi  fi ◦h
X0
g
es conmutativo, donde fi es como en la definición 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 intersección, existe
00 k t◦k
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 único con la condición anterior.
Definición 1.5.3. Una categorı́a se dice que posee intersecciones, si cada con-
junto no vacı́o de subobjetos de un objeto cualquiera tiene intersección. La categorı́a
se dice que tiene intersecciones finitas, si cada conjunto finito no vacı́o de sub-
objetos tiene intersección.
Ejemplo 1.5.4. Las categorı́as ModA y Ani tienen intersecciones. En efecto, sea
li
M un A-módulo y {Ni − → M }i∈I un conjunto de subobjetos de M . Según el ejemplo
1.4.7 podemos suponer que Ni es submódulo de M y que li es la inclusión. Ası́, la
T T l
intersección conjuntista Ni es claramente un submódulo de M y Ni − → M es
la intersección de la familia dada, donde l es la inclusión. Los detalles de la prueba
completa son rutinarios. Análogamente, en Ani la intersección corresponde a la
intersección conjuntista de subanillos.
f 1 2 l l
Definición 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 través 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}i∈I un conjunto no vacı́o de subobjetos de un objeto A. El subobjeto
l
X−→ A se llama unión del conjunto, si se cumplen las siguientes condiciones:
18 CAPÍTULO 1. CATEGORÍAS

(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 través de f , entonces X puede ser llevado en Y a través 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 i∈I Xi , o, Xi .

Nótese que en la definición anterior h y cada fi en (i) son únicos, además 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
Proposición 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

Demostración. 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. INTERSECCIÓN Y UNIÓN 19

l l l0
Sea X −→ A la unión del conjunto {Xi − →i
A}i∈I 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
también unión 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 condición para la unión.

A
li 0
 @l
I
@
Xi - X0
g◦fi

Para la segunda condición basta observar la siguiente secuencia de diagramas con-

mutativos
mi m- m◦f
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 recı́proco de la proposición 1.5.6.

Definición 1.5.7. Una categorı́a se dice que tiene uniones si cada conjunto no
vacı́o de subobjetos de un objeto cualquiera tiene unión. Si cada conjunto finito no
vacı́o de subobjetos de un objeto tiene unión se dice que la categorı́a tiene uniones
finitas.

Ejemplo 1.5.8. La categorı́a ModA tiene uniones. Para ver esto, sea M un A-
li
Py {Mi −
módulo → M }i∈I un conjunto no vacı́o de submódulos de M . El módulo
suma i∈I Mi junto con la inclusión natural conforman la unión de la familia dada
(la escogencia de los subobjetos de esta manera se apoya en el ejemplo 1.4.7). La
20 CAPÍTULO 1. CATEGORÍAS

primera condición de la unión es consecuencia de la manera como se definen las

inclusiones según el diagrama conmutativo

M
li  @l
@
I
@
X
Mi - Mi
li0 i∈I

f
y, li0 (mi ) = mi . Sea M −
→ N un homomorfismo tal que cada Mi es llevado en el
l0
submódulo N 0 −
→ N a través de f , tal como muestra el siguiente diagrama conmu-
tativo
hi
Mi - N0

li l0
? ?
M f
- N

De esta forma, i∈I Mi también puede ser llevado en N 0 a través de f , lo cual se

P
ilustra mediante el diagrama conmutativo
X
Mi h-
N0
i∈I

l0
l
? ?
M f
- N

donde la función h definida por h(mi1 + · · · + min ) := hi1 (mi1 ) + · · · + hin (min ), es
un homomorfismo de módulos que hace el diagrama anterior conmutativo.
La categorı́a Ani tiene uniones. Para la prueba basta considerar un anillo A con
li
un conjunto no vacı́o {Ai − → A}i∈I de subanillos de A e inclusiones. Si C es la unión
de los conjuntos Ai , i ∈ I, entonces el subanillo S(C) generado por C es la unión con
la inclusión 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 través de f . Como se ilustra en los siguientes diagramas
conmutativos, S(C) es llevado también 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-módulos f : M → N y el cociente M/ ker(f )
admiten una interpretación categórica como veremos a continuación.
f l
Definición 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 través 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 través de otro subobjeto Y 0 −
→ B de B, entonces
existe un único 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

Obsérvese que el morfismo g en (1.6.1) es único. También, en l0 ◦h = l se tiene que

h es un monomorfismo y además h ◦ g = g 0 . El objeto Y de la imagen se acostumbra
l f
denotar por Im(f ), o también, f (A). Escribiremos también 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 dirá que Y −
→ B es imagen epimórfica de f .
22 CAPÍTULO 1. CATEGORÍAS

l l0 f
→B y Y0 −
Proposición 1.6.2. Si Y − → B son imágenes de A −
→ B, entonces
l l 0
→ B) ∼
(Y − = (Y 0 →
− B),

y en particular, Y ∼
= Y 0.

Demostración. 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 l 0 f
0
Y −
→ B. Entonces Y − → B es también imagen de A →
− B. Esta afirmación se sigue
de la definición 1.6.1.

Definición 1.6.3. Se dice que una categorı́a tiene imágenes si todo morfismo tiene
imagen. Se dirá que la categorı́a tiene imágenes epimórficas, si todo morfismo
tiene imagen epimórfica.

Ejemplo 1.6.4. ModA es una categorı́a con imágenes epimórficas. En efecto, si

f
M− → N es un homomorfismo de A-módulos, entonces el conjunto Im(f ) = {f (m) |
m ∈ M }, es un submódulo de N mediante la inclusión l : Im(f ) → N el cual confor-
ma la imagen de f . Nótese 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 verificación de (ii) queda para el lector.

En la misma forma se establece que Ani es una categorı́a con imágenes epimórfi-
cas.

Observación 1.6.5. Al aplicar dualidad obtenemos los conceptos de coimagen y

f
coimagen monomórfica en una categorı́a. La coimagen de un morfismo A − →B
f
será notada Coim(A − → B), o simplemente Coim(f ). Las afirmaciones duales de
las contenidas en la proposición 1.6.2 se cumplen para el caso de la coimagen. Por
analogı́a con la definición 1.6.3 se definen las categorı́as con coimágenes y comiágenes
monomórficas.

Ejemplo 1.6.6. ModA es una categorı́a con coimágenes monomórficas. En efecto,

f
la coimagen del homomorfismo M −
→ N es el módulo cociente M/ ker(f ) junto con
 1.7. NÚCLEOS Y CONÚCLEOS 23

el homomorfismo canónico 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
Obsérverse 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 función
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 está 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 . Además h es evidentemente un A-homomorfismo y cumple la
condición h◦j 0 = j. La unicidad de h se desprende del hecho de ser j 0 un epimorfismo.
La caracterización de las coimágenes en la categorı́a Ani no es conocida por el
autor. Remitimos al lector al ejercicio 15.

1.7. Núcleos y conúcleos

En esta sección formalizamos la noción de núcleo de un homomorfismo. Además,
para ciertas categorı́as se generaliza el teorema de correspondencia de la teorı́a de
módulos (corolario 1.7.14).
Definición 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 único morfismo
k : Z → Z 0 tal que el siguiente diagrama es conmutativo:
f h
X g
- Y - Z
@
@ k
h0
@
R ?
@
Z0
24 CAPÍTULO 1. CATEGORÍAS

En ocasiones simplemente se dice que h, o, Z es el coigualador de f y g y

lo denotaremos por Coig(f, g). Nótese 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 único 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
Proposición 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.
Demostración. Evidente a partir de la definición 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 también 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, cumpliéndose ası́ la primera
h00
condición de coigualador. Si Y −→ Z 00 es tal que h00 ◦ f = h00 ◦ g, entonces existe
k k◦l
un único 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
afirmación está probada.

Observación 1.7.3. Al invertir el sentido de las flechas de los morfismos de la

definición 1.7.1 obtenemos el concepto de igualador de un par de morfismos f, g :
X → Y . El siguiente diagrama ilustra la definición.
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 −
Recı́procamente, si Z − → X es un
h 0
subobjeto de X equivalente a Z, entonces Z 0 −
→ X es también igualador.

Definición 1.7.4. Una categorı́a se dice que posee coigualadores (igualadores),

si cada par de morfismos tiene coigualador (igualador).

Ejemplo 1.7.5. ModA es una categorı́a con coigualadores e igualadores. Sean f, g :

M → N homomorfismos de módulos, y sea C := {m ∈ M | f (m) = g(m)}. C es
 1.7. NÚCLEOS Y CONÚCLEOS 25

l
claramente un submódulo de M y se prueba fácilmente que C − → M es el igualador
de f y g, donde l es la inclusión. 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 canónico.
Ani también es una categorı́a 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 inclusión. Además, B − → B/U ,
con U := hXi, X := {f (a) − g(a) | a ∈ A}, es el coigualador de f y g, con j el
homomorfismo canónico y U el ideal bilátero generado por X.

Les corresponde ahora el turno a un subobjeto y a un objeto cociente muy

importantes dentro del álgebra: el núcleo y el conúcleo de un homomorfismo. La
construcción corresponde a casos particulares de igualador y coigualador respec-
tivamente. Para tal efecto supondremos en adelante en esta sección, salvo que se
advierta lo contrario, que los objetos y morfismos pertenecen a una categorı́a con
cero morfismos.
f
Definición 1.7.6. Se denomina núcleo del morfismo A −
→ B al igualador de f y
0AB :
h- f
Z A 0AB- B
6 
k
h0

Z0
h
Según vimos en la observación 1.7.3, el núcleo Z −
→ A es un monomorfismo, es
h
decir, Z es subobjeto de A. Se utiliza la notación, Z = ker(f ), o también, (Z −
→
f
A) = ker(A − → B). Según se notó en la observación 1.7.3, dos núcleos de f son
subobjetos equivalentes. Además, un subobjeto de A equivalente al núcleo de f es
también núcleo de f .
f
De manera dual se define el conúcleo 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 categorı́a con cero morfismos se dice que posee núcleos (conúcleos), si
cada morfismo tiene núcleo (conúcleo).

Ejemplo 1.7.7. Según el ejemplo 1.7.5, ModA es una categorı́a con núcleos y
f
conúcleos. Más exactamente, si M −
→ N es un homomorfismo de módulos, su núcleo
l
es ker(f ) = {m ∈ M | f (m) = 0}, junto con la inclusión ker(f ) −
→ M . El conúcleo
es coker(f ) = N/Im(f ), junto con el homomorfismo canónico j : N → N/Im(f ).

Puesto que Ani no posee cero morfismos, no definimos núcleos ni conúcleos.

26 CAPÍTULO 1. CATEGORÍAS

f
Definición 1.7.8. Se dice que el monomorfismo A − → B es normal si f es núcleo de
algún morfismo. La categorı́a se dice normal si cada monomorfismo es normal. De
manera dual se definen los epimorfismos conormales y las categorı́as conormales.
f
Ejemplo 1.7.9. ModA es normal y conormal. Si M − → N es un monomorfismo,
entonces f es núcleo del homomorfismo canónico 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 0 (x), para cada x ∈ Z 0 . Nótese
que k está bien definida debido a la inyectividad de f .
f
De otra parte, si M − → N es un epimorfismo, entonces f es el conúcleo del
l0
homomorfismo inclusión 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 (véase [8]) que existe una correspondencia biyectiva entre los sub-
módulos de un módulo dado M y los módulos cociente de M . Esta correspondencia
se presenta en categorı́as más generales como veremos a continuación. Para esto
mostraremos inicialmente un resultado preliminar.

h f h0
Proposición 1.7.10. Si Z − → A es el núcleo de A − → Z 0 es el conúcleo
→B yA−
0
de h, entonces h es el núcleo de h .

h00
Demostración. Por las condiciones dadas se tiene que h ◦ h0 = 0. Sea Z 00 −→ A tal
 1.7. NÚCLEOS Y CONÚCLEOS 27

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 conúcleo de h, existe t1 : Z 0 → B tal que t1 ◦ h0 = f .
Resulta, f ◦ h00 = t1 ◦ h0 ◦ h00 = 0. Como h es conúcleo de f , existe t2 : Z 00 → Z tal
que h ◦ t2 = h00 . Como h es monomorfismo, t2 es el único que cumple la identidad
anterior. Esto completa la prueba de la proposición.

Al aplicar el principio de dualidad tenemos el siguiente resultado.

j f l
Proposición 1.7.11. Si B − → B y B0 −
→ Z es el conúcleo de A − → B es el núcleo
de j, entonces j es el conúcleo de l.

Proposición 1.7.12. Sea C una categorı́a con conúcleos. Para cada objeto A de C
existe una función
ϕ : SUB(A) → COC(A).
Si además C es colocalmente pequeña, C es localmente pequeña. Si suplementaria-
mente C es normal, la función ϕ es inyectiva.

1 l j1
Demostración. Sea A1 − → A un subobjeto de A y A − → B1 su conúcleo. Se define
ϕ(A1 ) = B1 .
l1 l2
(i)Veamos que ϕ está bien definida. Sean A1 −
→ A y A2 −
→ A subobjetos equiv-
j1 j2
alentes de A con conúcleos 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 .

Además, 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 conúcleo de A1 −
→1
A, entonces
B1 = B2 . Estas dos observaciones garantizan que ϕ está bien definida.
(ii) Si COC(A) es un conjunto, entonces SUB(A) también lo es. En otras pala-
bras, si C es colocalmente pequeña, es localmente pequeña.
28 CAPÍTULO 1. CATEGORÍAS

1 l2 l
(iii) ϕ es inyectiva. Sean A1 −→ A y A2 − → A subobjetos de A con conúcleos
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 núcleo de algún morfismo de C, la proposición 1.7.10 garan-

tiza que l1 es núcleo de j1 . Además, 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 proposición.

Proposición 1.7.13. Sea C una categorı́a con núcleos. Para cada objeto A de C exis-
te una función ψ : COC(A) → SUB(A). En particular, si C es localmente pequeña,
entonces es colocalmente pequeña. Además, si C es conormal, la función ψ es inyec-
tiva.

Corolario 1.7.14. Sea C una categorı́a con núcleos y conúcleos, normal y conormal.
Para cada A ∈ Ob(C) existe una correspondencia biyectiva entre SUB(A) y COC(A).
En particular, C es localmente pequeña si, y sólo si, C es colocalmente pequeña.

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 próxima
sección estudiaremos la imágenes inversas, por ahora consideramos los productos y
sumas fibradas.
f1 f2
Definición 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 también morfismos tales que f1 ◦ g10 = f2 ◦ g20 ,
entonces existe un único 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
Nótese que si (X 0 −
→1
X1 , X 0 −
→2
X2 ) es también 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 análoga se
tiene que t ◦ h = i0X .
Al aplicar el principio de dualidad a la definición 1.8.1 obtenemos el concepto de
f1 f2
suma fibrada de un par de morfismos Y − → X1 y Y − → X2 .

g1 g2
Definición 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 también morfismos tales que g10 ◦ f1 = g20 ◦ f2 ,
entonces existe un único morfismo h : X → X 0 tal que h◦g1 = g10 y h◦g2 = g20 ,
30 CAPÍTULO 1. CATEGORÍAS

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 continuación algunas consecuencias de las definicionos anteriores.
g1 g2
Proposición 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 además
g1 g2
n es un monomorfismo, entonces (X −→ X1 , X − → X2 ) es el producto fibrado
m◦f1 n
de X1 −−−→ Z y W −
→ Z.
Demostración. (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 único morfismo h : W → X tal que g2 ◦ h = u y g1 ◦ h = v. Puesto que q

cumple la primera condición, 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 conclusión deseada.
(ii) La demostración es análoga 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 l◦h0 = 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 . Según (ii) g1 es un monomorfismo,

de donde h = h00 .
Al aplicar el principio de dualidad obtenemos la siguiente proposición.
g1 g2 f1
Proposición 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
m◦g1 n f1
epimorfismo, entonces (X1 −−−→ Z, W −
→ Z) es la suma fibrada de Y −
→ X1
l◦f2
y Y −−→ X2 .
Definición 1.8.5. Una categorı́a se dice que tiene productos fibrados si cada par
de morfismos de dominio común posee producto fibrado.
Análogamente se definen las categorı́as de sumas fibradas.
Ejemplo 1.8.6. ModA es una categorı́a 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 )},

32 CAPÍTULO 1. CATEGORÍAS

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 está dado por L := N1 ⊕ N2 /N ,
y N := {(f1 (m), −f2 (m)) | m ∈ M }, y, g1 : N1 → L, g2 : N2 → L están dadas por
g1 (n1 ) := (n1 , 0) y g2 (n2 ) := (0, n2 ), respectivamente.

La categorı́a Ani tiene productos fibrados y su construcción es similar al caso

de módulos.

1.9. Imagen inversa

f l
→ B un morfismo y B 0 −
Definición 1.9.1. Sean A − → B un subobjeto de B. Se
0
denomina imagen inversa de B a través de f al producto fibrado de f y l:
g
X - B0

h l
? ?
A f
- B

Según la proposición 1.8.3, X es un subobjeto de A el cual se denota por f −1 (B 0 ).

Observación 1.9.2. Al aplicar la parte final de la definición 1.8.1 encontramos

h h l f
que si X −→ A y X0 − → A son imágenes inversas de B 0 −
→ B a través de A − → B,
h
entonces X ∼ = X 0 . De otra parte, supóngase 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 esquemática de esta afirmación no evidente por sı́ misma:
q
X0  X
A@ p 6 g◦p
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 único 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@ Hq◦w H g0
A @ HH
A @ HH
R
@ g◦pH
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 . Supóngase 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 afirmación.
Una categorı́a se dice que tiene imágenes 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 imágenes inversas. En efecto, si M →
− N es un ho-
0 l
momorfismo de módulos y N −
→ N es un submódulo de N , entonces

f −1 (N 0 ) = {m ∈ M | f (m) ∈ N 0 }

es un sumbódulo de M , que junto con la inclusión 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 imágenes
inversas.
Consideramos ensequida algunas propiedades de las imágenes y de las imágenes
inversas.
f
Proposición 1.9.4. Sea A −
→ B un morfismo y

A1 ≤ A2 ≤ A, B1 ≤ B2 ≤ B.

Si suponemos que cada una de las siguientes expresiones está definida, obtenemos
las siguientes relaciones:
(i) f (A1 ) ≤ f (A2 ).

(ii) f −1 (B1 ) ≤ f −1 (B2 ).

34 CAPÍTULO 1. CATEGORÍAS

(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 ))).

Demostración. Para esta demostración 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 H
HH
j
H ? 

f (A2 )

Nótese 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 ).
 1.9. IMAGEN INVERSA 35

(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 k◦g1
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 único t tal que h2 ◦ t = h1 ,

esto es, f −1 (B1 ) ≤ f −1 (B2 ).

(iii)

A1 P
QPP
S Q kPPP g◦l1
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 h◦g ◦l1 = f ◦l1 , existe k tal que t◦k = l1 , es decir, A1 ≤ f −1 (f (A1 )).
36 CAPÍTULO 1. CATEGORÍAS

(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 único 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
Proposición 1.9.5. (i) Si A −
→ B es un morfimo en una categorı́a con imágenes
li
y {A1 −
e imágenes inversas S → A}i∈I es una Sfamilia no vacı́a de subobjetos
deSA para los cuales i∈I Ai existe, entonces i∈I f (Ai ) existe y coincide con
f ( i∈I Ai ).

f i l
(ii) Si A −→ B es un morfismo en una categorı́a con imágenes inversas y T
{Bi −
→
B}i∈I es una familia no vacı́a de subobjetoss de B para
T los cuales i∈I Bi
−1 −1
T
existe, entonces i∈I f (Bi ) existe y coincide con f ( i∈I Bi ).
S
Demostración. (i) Probaremos que f ( i∈I Ai ) es la unión de la familia {f (Ai )}. Sea

h
[
Ai −
→A
i∈I
 1.9. IMAGEN INVERSA 37

S
la unión de la familia {Ai } y f ( i∈I Ai ) su imagen por f ◦ h:
[
Ai h f
- A - B
i∈I

@
g@ t
R
@
[ 
f Ai
i∈I
S S
Observemos que f ( i∈I Ai ) ≤ B. Como S A i ≤ i∈I Ai para cada i ∈ I, según la
proposición 1.9.4 se tiene f (Ai ) ≤ f ( i∈I Ai ) :
[ 
fi
f (Ai ) - f Ai
i∈I
@
@
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 ( i∈I 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 través de n

w-
n−1 (C 0 ) C0

z l

? ?
B n
- C
38 CAPÍTULO 1. CATEGORÍAS

Existe un único 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 - n−1 (C 0 )

hi z

? ?
A f
- B

Ai → n−1 (C 0 ) tal que el siguiente diagrama

S
Por la condición de unión existe v : i∈I
conmuta

[
Ai v - n−1 (C 0 )
i∈I

z
h

? ?
A f
- B
 1.10. PRODUCTO Y COPRODUCTO 39

y también obtenemos un morfismo u tal que z ◦ u = t:

[
Ai h f
- A - B
i∈I


A @

A g@ t


A @ R
[ 

A
A f Ai
z


v A
i∈I

A

A

Au

AU ?

n−1 (C 0 )

Ası́, obtenemos el diagrama conmutativo

[ 
w◦u-
f Ai n−1 (C 0 )
i∈I

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 módulos (véase [8], capı́tulo 5) permiten
generalizaciones a categorı́as arbitrarias por medio de los objetos producto y copro-
ducto, respectivamente.

Definición 1.10.1. Sea {Ai }i∈I un conjunto no vacı́o de objetos de una categorı́a
Q
C. Se denomina producto del conjunto {Ai }i∈I a un objeto de C notado por i∈I Ai
y un conjunto Y
{pj : Ai → Aj }j∈I
i∈I

de morfismos llamados proyecciones, tales que para cada objeto C de C y cada

conjunto {fj : C → Aj }j∈I de morfismos existe un único morfismo f , tal que para
40 CAPÍTULO 1. CATEGORÍAS

cada j ∈ I el siguiente diagrama

C
@
f @ fj
? @ (1.10.1)
Y @ R
@
Ai - Aj
p j
i∈I

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 }i∈I son
iguales, Ai = A para cada i ∈ I, el producto se denota por AI . Como es de esperar
dos productos del conjunto {Ai }i∈I son objetos isomorfos.
Una categorı́a se dice que tiene productos si cada conjunto no vacı́o de objetos
tiene producto. Si cada conjunto finito tiene producto la categorı́a se dice que tiene
productos finitos.
A partir de la definición es sencillo probar las siguientes afirmaciones. Su de-
mostración queda a cargo del lector.

(i) Sea {Ai }i∈I un conjunto no vacı́o de objetos y θ : I → I una función biyectiva
del conjunto I de ı́ndices. Entonces

Ai ∼
Y Y
= Aθ(i) .
i∈I i∈I

(ii) Si en una categorı́a cada par de objetos tiene producto, entonces la categorı́a
tiene productos finitos.
Q
Proposición 1.10.2. Sea {pj : i∈I → Aj }j∈I el producto del conjunto {Ai }i∈I .
Para j ∈ I se tiene que pj es retracción si, y sólo si, Mor(Aj , Ai ) 6= ∅ para cada
i ∈ I.
Q
Demostración. Si pj es retracción, existe un morfismo h : Aj → i∈I Ai tal que
pj ◦ h = iQi∈I Ai . Ası́, pi ◦ h ∈ Mor(Aj , Ai ) para cada i ∈ I.
Supóngase que para cada i ∈ I, Mor(Aj , Ai ) 6= ∅. Existe entonces un conjunto de
morfismos Q {fi : Aj → Ai }i∈I , donde tomamos fj = iAj . Encontramos un morfismo
f : Aj → i∈I Ai tal que pi ◦ f = fi para cada i ∈ I. En particular, pj ◦ f = iAj ,
con lo cual pj es retracción.

Corolario 1.10.3. En una categorı́a con cero morfismos las proyecciones del pro-
ducto son retracciones, y por lo tanto epimorfismos.
 1.10. PRODUCTO Y COPRODUCTO 41

Demostración. Consecuencia directa de la proposición anterior.

Proposición 1.10.4. Sean C unaQcategorı́a con cero morfismos, {Ai }i∈I un conjunto
no vacı́o de objetos de C y {pj : i∈I 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 único morfismo qj0 : Aj → i∈I Ai tal que

Q

(
0, i 6= j
pi ◦ qj0 = (1.10.2)
iAj , i = j.

Los morfismos {qj0 : Aj → i∈I Ai }j∈I unı́vocamente determinados por (1.10.2) se

Q
denominan inyecciones del producto.
Proposición 1.10.5. Sean C una categorı́a 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 inyección del
producto, entonces q10 es núcleo de p2 (afirmación análoga se tiene para q20 y p1 ). Si
C es además conormal, entonces p2 es el conúcleo de q10 (p1 es el conúcleo de q20 ).
q0
Demostración. Según (1.10.2), p2 ◦q10 = 0. Además, 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 condición del producto existe un único f : C → A1 × A2 tal que

p1 ◦ f = p1 ◦ h y p2 ◦ f = p2 ◦ h = 0.

Pero los morfismos h y q10 ◦ p1 ◦ h también 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 afirmación es consecuencia de la proposición 1.7.11.
42 CAPÍTULO 1. CATEGORÍAS

Al aplicar el principio de dualidad obtenemos el concepto de coproducto de un

conjunto no vacı́o deL objetos {Ai }i∈I de una categorı́a cualquiera
L C. El objeto en este
caso es notado por i∈I Ai y los morfismos {qj : Aj → i∈I Ai }j∈I 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, también
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 definición 1.10.1 se cumplen. La proposi-
ción 1.10.2 toma ahora la siguiente forma. Para cada j ∈ I, qj es coretracción si, y
sólo si, Mor(Ai , Aj ) 6= ∅, para cada i ∈ I.
Si la categorı́a 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 : i∈I Ai →
L
Aj , j ∈ I, tales que
(
0, i 6= j,
p0j ◦ qi =
iAi i = j.

La colección {p0j } existe y es única. La proposición dual de la proposición 1.10.5 es

válida.

Ejemplo 1.10.6. ModA tiene productos y coproductos, véase [8], capı́tulo 5. Co-
mo ModA tiene objeto cero, las proyecciones del producto son epimorfismos. En
Ani el producto se define por componentes de manera análoga 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
h ◦ pj = g ◦ pj , donde
Q pj es una proyección del producto i∈I Ai . Considérese a ∈ Aj .
Sea f = (fi ) ∈ i∈I Ai definido por

(
0, i 6= j
fi =
a, i = j.

Se cumple que
g ◦ pj (f ) = g(a) = h ◦ pj (f ) = h(a).

Proposición 1.10.7. Sean {Ai }i∈I y {Bi }i∈I conjuntos no Q vacı́os de objetos de
una
Q categorı́a. Supóngase que existen los productos {p i : i∈I Ai → Ai } y {pi :
i∈I Bi → Bi }. Sea {hi : Ai → Bi }i∈I un conjunto de morfismos dado. Existe un
 1.10. PRODUCTO Y COPRODUCTO 43

Q
único morfismo h = i∈I hi tal que el siguiente diagrama conmuta
Y Q Y
hi
Ai - Bi
i∈I i∈I

pi pi

? ?
Ai hi
- B
i

Demostración. La definición de producto y los siguientes diagramas ilustran la de-

mostración:
Y Y
Y
Ai A i h - Bi
i∈I ∈I
i∈I

@ hi ◦pi ⇒ @
pi @ pi
@ hi ◦pi @
? R
@ @R
@ ?
Ai - Bi
hi Bi

Observación 1.10.8. El morfismo de la proposición 1.10.7 se denomina produc-

to del conjunto {hi }. Nótese que dicho morfismo producto cumple las siguientes
relaciones Y Y Y Y
ti ◦ hi = (ti ◦ hi ), iAi = iQi∈I Ai (1.10.3)
i∈I i∈I i∈I i∈I

donde {ti : Bi → Ci }i∈I es otro conjunto no vacı́o de morfismos.

L
De manera dual se define el morfismo coproducto i∈I hi , cumpliendo rela-
ciones análogas a (1.10.3).
Proposición 1.10.9. Sean {Aj }j∈J y {Bi }i∈I conjuntos no
Lvacı́os de objetos de una
Q Supóngase que existen el coproducto {qj : Aj → j∈J Aj }j∈J y el producto
categorı́a.
{pi : i∈I Bi →L Bi }i∈I . Existe
Q una correspondencia biyectiva entre el conjunto de
morfismos Mor( j∈J Aj , i∈I 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( j∈J Aj , i∈I Bi ) y cada i ∈ I, j ∈ J.
Demostración. Dado un morfismo
M Y
f: Aj → Bi
j∈J i∈I
44 CAPÍTULO 1. CATEGORÍAS

se determina unı́vocamente una matriz [fij ] por medio del siguiente diagrama
M Y
Aj f Bi
-
j∈I i∈I

6
qj pi

?
Aj - Bi
fij
fij = pi ◦ f ◦ qj

Recı́procamente, consideremos la matriz [fij ] ∈ M , con fij : Aj → Bi un morfismo.

Fijemos i ∈ I. Se tiene que el conjunto de morfismos {fijL: Aj → Bi }j∈J . Por
la condición del coproducto existe un único morfismo fi0 : j∈J Aj → Bi tal que
fi0 ◦ qj = fij ,Lpara cada Qi ∈ I. Según la condición del producto existe un único
morfismo f : j∈J Aj → i∈I 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( j∈J Aj , i∈I Bi ) son representados también por su co-
rrespondiente matriz f = [fij ].
Si C es una categorı́a con cero morfismos y {Ai }i∈I es un conjunto no vacı́o de
objetos para los cuales existen el producto y el coproducto, entonces de acuerdo con
lo anterior existe un único morfismo
M Y
δ = [δij ] : Ai → Ai
i∈I i∈I

tal que (
0, i 6= j
pi ◦ δ ◦ qj = δij = (1.10.4)
iAi , i = j.
Nótese
L que la matriz de este morfismo es la idéntica. Si δ es un isomorfismo se dice
que i∈I Ai es un biproducto.
Para terminar consideremos los morfismos diagonal y codiagonal.

Definición 1.10.10. Sea {Ai }i∈I un conjunto de objetos idénticos en una categorı́a,
Ai = A para cada i ∈ I. Supóngase que existen el producto AI y el coproducto A(I) .
La familia de morfismos idénticos {iA : A → A} induce el morfismo ∆ : A → AI ,
tal que pi ◦ ∆ = iA para cada i ∈ I. ∆ se denomina morfismo diagonal.

Nótese que ∆ es monomorfismo. De manera dual se induce el morfismo co-

diagonal O : A(I) → A, tal que O ◦ qi = iA para cada i ∈ I. O es epimorfismo.
 1.11. LAS CATEGORÍAS MODA Y ANI 45

Ejemplo 1.10.11. En la categorı́aL ModA el morfismo δ definido por (1.10.4) es

la inclusión del coproducto i∈I 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. Además,

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
i∈If fi , f 6= 0

donde If denota el soporte de f .

En Ani el morfismo diagonal se define como en ModA .

1.11. Las categorı́as ModA y Ani

En esta sección se resumen varios de los resultados encontrados en secciones anteri-
ores relativos a las categorı́as ModA y Ani. Los cuadros que presentaremos deben ser
entendidos de la siguiente manera: una relación de la forma “igualador ⇔ monomor-
fismo”indica que cada igualador es un monomorfismo y que un monomorfismo dado
es igualador de cierto par de morfismos.

Relaciones básicas en una categorı́a C

(i) Un núcleo, una unión, una intersección, una imagen, un igualador, una imagen
inversa y una corretracción son monomorfismos.
l S
(ii) Un monomorfismo en una unión: (A1 −
→ A) = A1 .
l T
(iii) Un monomorfismo es una intersección: (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) = iA−1 (A1 ).
f
(vi) Un núcleo es un igualador: ker(A −
→ B) = Ig(f, 0AB ).
46 CAPÍTULO 1. CATEGORÍAS

(vii) Todo isomorfismo es bimorfismo.

(viii) Un conúcleo, una coimagen, un coigualador y una retracción son epimorfismos.

j j
(ix) Un epimorfismo es una coimagen: (A −
→ B) = Coim(A −
→ B).
f
(x) Un conúcleo es un coigualador: Con(A −
→ B) = Coig(f, 0AB ).
f
(xi) Una corretracción es un coigualador: sea A −
→ B una corretracción y g : B → A
tal que g ◦ f = iA . Se sigue que f = Im(iB , f ◦ g).
f
(xii) Una retracción es un coigualador: sea A − → B retracción y g : B → A tal que
f ◦ g = iB . Se obtiene f = Coig(iA , g ◦ f ).

Observación 1.11.1. Las relaciones anteriores pueden resumirse de la siguiente

forma:

1. Unión ⇔ Monomorfismo ⇔ Imagen.

2. Imagen inversa ⇔ Monomorfismo ⇔ Intersección.

3. Igualador ⇐ Núcleo ⇒ Monomorfismo ⇐ Igualador ⇐ Corretracción.

4. Coimagen ⇔ Epimorfismo ⇐ Conúcleo ⇒ Coigualador ⇐ Retracción.

5. Coigualador ⇒ Epimorfismo ⇐ Retracción.

6. Isomorfismo ⇒ Bimorfismo.

De las relaciones presentadas en la observación 1.11.1 surgen inmediatamente las

siguientes preguntas:

¿Todo igualador es una corretracción?

¿Todo monomorfismo es una corretracción?

¿Todo monomorfismo es un igualador? (Si una categorı́a no posee cero morfis-

mos entonces no todo monomorfismo es núcleo y no todo igualador rd núcleo).

¿Todo epimorfismo es retracción?

¿Todo coigualador es retracción?

¿Todo epimorfismo es coigualador? (Si la categorı́a no tiene cero morfismos

entonces no todo epimorfismo es conúcleo y no todo coigualador es conúcleo).
 1.11. LAS CATEGORÍAS MODA Y ANI 47

Las respuestas a estas preguntas son todas negativas como veremos en el resumen
para anillos y módulos.

Propiedades básicas de la categorı́a ModA

(i) Salvo equivalencia, los subobjetos de un módulo son sus submódulos con las
inclusiones.

(ii) Salvo equivalencia, los objetos cociente de un módulo son los módulos cociente
con los homomorfismos canónicos.

(iii) ModA es localmente y colocalmente pequeña.

(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 imágenes epimórficas y coimágenes monomórficas.

(x) ModA tiene núcleos y conúcleos.

(xi) ModA tiene productos y sumas fibradas.

(xii) ModA tiene imágenes inversas.

(xiii) ModA tiene productos y coproductos.

(xiv) ModA es balanceada.

(xv) ModA es normal y conormal.

(xvi) ModA es completa y cocompleta (véase el capı́tulo siguiente).

(xvii) ModA es abeliana (véase el capı́tulo siguiente).

Consideremos ahora en ModA las relaciones de la observación 1.11.1. Debemos

adicionar los morfismos inyectivos y sobreyectivos.

(a) No todo homomorfismo inyectivo es corretracción: A = Z, f : 2Z → Z;

f (2k) := 2k. f es inyectivo pero no es corretracción.
48 CAPÍTULO 1. CATEGORÍAS

(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 corretracción: de lo contrario, por (b) y la tabla al

final de la sección 1.2, corretracción serı́a lo mismo que monomorfismo. Pero
esto último es falso (el mismo contraejemplo de (a)).

(d) Un monomorfismo es un núcleo: 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 núcleo: f, g : M → N , Ig(f, g) = ker(f − g).

(f) No todo núcleo es corretracción: de lo contrario monomorfismo serı́a equiva-

lente a corretracción.

(g) No toda intersección es corretracción: de lo contrario monomorfismo serı́a

equivalente a corretracción.

(h) No toda unión es corretracción: en otro caso monomorfismo serı́a equivalente

a corretracción.

(i) No toda imagen es corretracción: de lo contrario monomorfismo serı́a corre-

tracción.

(j) No toda imagen inversa es corretracción. Si fuese ası́, un monomorfismo serı́a

una corretracción.

(k) No todo homomorfismo sobreyectivo es retracción: 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 retracción. De lo contrario, por (l) y la tabla al final

de la sección 1.2, retracción serı́a lo mismo que epimorfismo, lo cual es falso
(contrajemplo de (k)).

(n) Un epimorfismo es un conúcleo: f : M → N , f = coker(P → M ), donde

P = {x ∈ M | f (x) = 0} y P → M es la inclusión.

(ñ) Un coigualador es un conúcleo: f, g : M → N , Coig(f, g) = Con(f − g).

(o) No todo conúcleo es retracción; de lo contrario epimorfismo serı́a lo mismo que

retracción.
 1.11. LAS CATEGORÍAS MODA Y ANI 49

(p) No toda coimagen es retracción; de lo contrario epimorfismo serı́a lo mismo

que retracción.

Observación 1.11.2. Con base en lo anterior tenemos en la categorı́a ModA las

siguientes relaciones:

1. Unión ⇔ Monomorfismo ⇔ Imagen.

2. Imagen inversa ⇔ Monomorfismo ⇔ Intersección.

3. Igualador ⇔ Monomorfismo ⇔ Núcleo.

4. Monomorfismo ⇔ Inyección ⇐ Corretracción.

5. Coigualador ⇔ Sobreyectivo ⇔ Epimorfismo ⇔ Coimagen.

6. Conúcleo ⇔ Epimorfismo.

7. Retracción ⇒ Sobreyectivo.

8. Biyectivo ⇔ Isomorfismo ⇔ Bimorfismo.

Propiedades básicas de la categorı́a Ani

(i) Salvo equivalencia, los subobjetos de un anillo son los subanillos con las inclu-
siones.

(ii) Ani es localmente pequeña.

(iii) Cada anillo cociente de un anillo A con el homomorfismo canónico 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 inclusión 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 imágenes epimórficas.

(x) Ani tiene imágenes inversas.

50 CAPÍTULO 1. CATEGORÍAS

(xi) Ani no es balanceada.

(xii) Ani tiene productos fibrados.

(xiii) Ani es completa (véase el siguiente capı́tulo).

Ahora estudiamos la observación 1.11.1 para la categorı́a Ani.
l
(a) No todo homomorfismo inyectivo es una corretracción; Z −
→ Q, donde l es la
inclusión natural.
l
(b) No todo monomorfismo es igualador; Z −
→ Q, donde l es la inclusión natural.
Este mismo contraejemplo muestra que no toda inyección es igualador.

(c) No todo igualador es una corretracción; iC , h : C → C, h(a + bi) = a − bi,

l
lg(iC , h) = (R −
→ C), pero l no es corretracción (l es la inclusión natural).

(d) No toda intersección es corretracción; de lo contrario monomorfismo serı́a

equivalente a corretracción, lo cual es falso (el mismo contrajemplo de 1.11)

(e) No toda unión es corretracción; de lo contrario monomorfismo serı́a equivalente

a corretracción.

(f) No toda imagen es corretracción; si fuese ası́ todo monomorfismo serı́a equiv-
alente a una corretracción.

(g) No toda imagen inversa es corretracción; de lo contrario monomorfismo serı́a

equivalente a corretracción.

(h) No toda imagen es igualador; si fuese ası́, todo monomorfismo serı́a equivalente
a igualador.

(i) No toda intersección, unión o imagen inversa es un igualador: de lo contrario

monomorfismo serı́a equivalente a igualador.
j
(j) No todo homomorfismo sobreyectivo es retracción: 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. Recı́procamente, si (B −
→ C) = Coig(A −
→ B), entonces h
es sobreyectivo.
 1.12. EJERCICIOS 51

(n) No toda coimagen es coigualador; de lo contrario coigualador serı́a equivalente

a epimorfismo.

(ñ) No todo coigualador es retracción; si fuese ası́ retracción serı́a equivalente a

sobreyectivo.

(o) No toda coimagen es retracción; si fuese ası́, epimorfismo serı́a lo mismo que
retracción y epimorfismo que sobreyectivo.

Observación 1.11.3. En Ani tenemos las siguientes relaciones:

1. Imagen inversa ⇔ Monomorfismo ⇔ Intersección.

2. Imagen ⇔ Monomorfismo ⇔ Unión.

3. Monomorfismo ⇔ Inyección ⇐ Corretracción ⇒ Igualador ⇒ Monomorfismo.

4. Retracción ⇒ Sobreyectivo ⇒ Epimorfismo ⇔ Coimagen.

5. Sobreyectivo ⇔ Coigualador ⇒ Epimorfismo.

6. Biyectivo ⇔ Isomorfismo ⇒ Bimorfismo.

1.12. Ejercicios
1. Demuestrar que en la categorı́a Conj los conceptos de monomorfismo, función
inyectiva y corretracción son equivalentes. Establecer también la equivalencia
para epimorfismos, funciones sobreyectivas y retracciones. ¿Es Conj balancea-
da?
f
2. Sea C una categorı́a; si A −
→ B es un morfismo de C tal que f es correctracción
y epimorfismo, demuestre que f es un isomorfismo.
f
3. En una categorı́a cualquiera C con objeto cero, demuestre que X −
→ Y es el
morfismo cero si, y sólo si, es factorizable a través de 0.

4. Si 0 es el objeto cero de una categorı́a C, muestre que para cada X ∈ Ob(C)

se cumple lo siguiente:

(i) X → 0 es epimorfismo.
(ii) 0 → X es monomorfismo.

5. Sea C una categorı́a con cero morfismos. Demuestre que el núcleo del morfismo
0XY iX
X −− → Y es X −→ X. ¿Cuál es el conúcleo?
52 CAPÍTULO 1. CATEGORÍAS

6. Demuestre que Conj es localmente pequeña. Pruebe también que Conj no es

artiniana ni noetheriana.
l l0
7. Sean {Xi −→i
A}i∈I , {Xi0 −
→i
A}i∈I 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) i∈I Xi existe ⇔ i∈I
Xi0 existe.
S S
(ii) i∈I Xi existe ⇔ i∈I

8. Demuestre que en la categorı́a Conj, el igualador de un par de funciones

f, g : X → Y está constituido por el conjunto X 0 := {x ∈ X | f (x) = g(x)}.
Describir además el coigualador.

9. Describa el producto y la suma fibrada de funciones en la categorı́a Conj.

f g
10. Sean A − → B, B − → C morfismos y C 0 → C un subobjeto de C. Demuestre que
f −1 ((g −1 (C)) = (g ◦ f )−1 (C), suponiendo que ambos términos de la igualdad
estén definidos es una cierta categorı́a C.

11. Sean f, g como en el ejercicio 10 y A1 ≤ A. Supóngase que f (A1 ) y g(f (A1 )) son
imágenes epimórficas y que la categorı́a en cuestión es balanceada. Demuestre
que g(f (A1 )) = (g ◦ f )(A1 ).

12. Demuestre que Conj es una categorı́a con imágenes epimórficas y coimágenes
monomórficas.

13. Invitamos al lector a estudiar todos los conceptos introducidos en el presente

capı́tulo para la categorı́a Pre establecida en el ejemplo 1.1.8.

14. Realizar el ejercicio anterior para la categorı́a Grp cuyos objetos son los grupos
y los morfismos son los homomorfismos.

15. Investigar, para la categorı́a Ani, los siguientes problemas:

(i) Caracterizar todos los objetos cociente de un anillo cualquiera.

(ii) ¿Es Ani colocalmente pequeña?
(iii) Describir las coimágenes.
(iv) Describir las sumas fibradas.
(v) Describir los coproductos.
(vi) ¿Es Ani cocompleta? (consultar el siguiente capı́tulo).
(vii) Describir el morfismo 5.
Capı́tulo 2

Categorı́as abelianas

Estudiaremos ahora algunas clases especiales de categorı́as entre las cuales se desta-
can las aditivas y las abelianas. Se debe señalar que la categorı́a ModA es uno de los
mejores ejemplos de este tipo de categorı́as. Las categorı́as abelianas ocupan un lu-
gar muy importante dentro de la geometrı́a algebraica moderna, tanto conmutativa
como no conmutativa.

2.1. Categorı́as aditivas

Definición 2.1.1. Una categorı́a 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 composición de morfismos es bilineal
con respecto a la adición de dichos grupos.

Algunas consecuencias inmediatas de esta definición son las siguientes:

(a) La colección 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 . Análogamente, 0AB ◦ g = 0DB .

53
54 CAPÍTULO 2. CATEGORÍAS ABELIANAS

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

Recordemos que dichas proyecciones son los morfismos definidos unı́vocamente

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 : Pn de los objetos A1 , . . . , An .
En primer lugar, nótese que el morfismo k=1 qk ◦ pk es tal que para cada
1 ≤ i ≤ n, se cumple
X n 
qk ◦ p k ◦ qi = qi .
k=1

Puesto que i⊕Ai también cumple dicha relación, se sigue por unicidad
n
X
qk ◦ pk = i⊕Ai .
k=1

fj
Sea {C − → Aj }nj=1 una colección 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
i⊕Ai ◦ g = qj ◦ fj
j=1
Xn
g= qj ◦ fj .
j=1
 2.1. CATEGORÍAS ADITIVAS 55

Esto completa la prueba de que el coproducto con sus proyecciones conforman

el producto. Según (2.1.1), las inyecciones del coproducto son las inyecciones
de este producto.
Según la proposición 1.10.9, los morfismos {δij : Aj → Ai }, definidos por
(
iAi , i = j
δij :=
0, i 6= j
L Q L
determinan un único morfismo δ : Ai → Ai (= Ai ), tal que pi ◦ δ ◦
qj = δij . Según (2.1.1), iL Ai también 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 categorı́a 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

proposición 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 adición en M está dada por componentes,
(fij ) + (gij ) = (fij + gij ). Además, 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
56 CAPÍTULO 2. CATEGORÍAS ABELIANAS

(El superı́ndice indica la suma directa a la cual se refiere la proyección o

inyección respectiva). En particular se tiene que Mor(A1 ⊕ · · · An , A1 ⊕ · · · An )
y M son anillos isomorfos; nótese que en una categorı́a 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 capı́tulo anterior pueden

fi
L sea {Ai −
representarse matricialmente, y además coinciden: → Bi }ni=1 una
colección finita de morfismos. El coproducto fi se define como el único
morfismo que hace conmutativo el siguiente diagrama:
M L M
fi
Ai - Bi
i∈I i∈I

6 6
(2.1.2)
qiA qiB

Ai fi
- Bi

1 ≤ i ≤ n. Consideremos la colección hij : Aj → Bi dada por

(
fi , i = j
hij := (2.1.3)
0, i = 6 j,

Ai → i∈I Bi (= i∈I Bi ) tal que pB A

L Q L
existe un único morfismo h : i ◦ h ◦ qj =
hij . Sin embargo, nótese que pB A B B
i ◦ ⊕fi ◦ qj = pi ◦ qj ◦ fj , lo cual junto con
(2.1.1) implica que pB A
i ◦⊕fi ◦qj = hij . La unicidad de h garantiza que h = ⊕fi .
De manera
Q análoga, 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 fn−1 0 


0 0 0 0 fn

(e) Con ayuda del lenguaje matricial, se prueba fácilmente que en una categorı́a
aditiva C existe exactamente una forma de definir una estructura de grupo
 2.2. CATEGORÍAS ABELIANAS 57

abeliano sobre los conjuntos de morfismos, tales que la composición sea bilineal.
En efecto, nótese que si + dota de estructura a grupo abeliano a Mor(A, B)
tal que la composición es bilineal, según 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
(véase la definición 1.10.10).
Al repetir algunas de las ideas expuestas anteriormente, obtenemos el siguiente
resultado.
qi
Corolario 2.1.2. Sea C una categorı́a 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. Categorı́as abelianas

Definición 2.2.1. Una categorı́a C es exacta si posee núcleos y conúcleos, es nor-
mal y conormal. C es abeliana si es aditiva y exacta.

Ejemplo 2.2.2. Según los resultados del capı́tulo anterior, la categorı́a ModA es
abeliana.

Consideramos a continuación algunas propiedades de las categorı́as abelianas que

serán utilizadas en el estudio de las sucesiones exactas.
58 CAPÍTULO 2. CATEGORÍAS ABELIANAS

f
Proposición 2.2.3. Si C es una categorı́a abeliana y A −
→ B un morfismo en C,
existe un único isomorfismo

f0 : coker(ker(f )) → ker(coker(f ))

tal que el siguiente diagrama conmuta

l k0 -
ker(f ) - A coker(ker(f ))

f f0 (2.2.1)
? 0
?
k l
coker(f )  B  ker(coker(f ))

Demostración. Puesto que f ◦ l = 0, existe un único 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 k◦t = 0 y, teniendo en cuenta que l0 es núcelo de k, existe un único morfismo
f0 : coker(ker(f )) → ker(coker(f )) tal que l0 ◦f0 = t. Por tanto, l0 ◦f0 ◦k 0 = t◦k 0 = f .
Como l0 es monomorfismo y k 0 es epimorfismo, f0 es único. Se puede probar que f0
es un isomorfismo (véase el ejercicio 1).
f
Corolario 2.2.4. Cada morfismo A − → B en una categorı́a abeliana C se factoriza
a través de un epimorfismo p y un monomorfismo q
f
A - B
@ 
p@
R q
C

Demostración. En la prueba de la proposición anterior k 0 es un epimorfismo y l0 f0

es un monomorfismo.
Observación 2.2.5. A partir de la definición 2.2.1 podemos concluir que toda
categorı́a abeliana tiene objeto cero, productos y coproductos finitos, núcleos y
conúcleos, es normal y conormal. Además, es fácil verificar que toda categorı́a
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).
Proposición 2.2.6. Si C es una categorı́a con productos finitos e igualadores, en-
tonces C tiene productos fibrados. En particular, toda categorı́a abeliana tiene pro-
ductos fibrados.
f1 f2
Demostración. Sean A1 −
→ A y A2 −
→ A morfismos y

{p1 : A1 × A2 → A1 , p2 : A1 × A2 → A2 }
 2.2. CATEGORÍAS ABELIANAS 59

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 único 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
único morfismo m : B → C tal que k ◦ m = h. Nótese 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.

Proposición 2.2.7. Una categorı́a con productos fibrados tiene intersecciones fini-
tas. En particular, toda categorı́a abeliana tiene intersecciones finitas.

1 l 2 l
Demostración. Sean A1 −
→ A y A2 −
→ A subobjetos de A y su producto fibrado el
siguiente diagrama:
g2
C - A2

g1 l2
? ?
A1 l1
- A

Según la proposición 1.8.3 del capı́tulo anterior, C precede tanto a A1 como a A2 .

g
Sea X −→ A un morfismo factorizable a través de A1 y A2 : l1 ◦ k1 = g = l2 ◦ k2 . Por
la condición del producto fibrado existe un único morfismo m : X → C tal que los
60 CAPÍTULO 2. CATEGORÍAS ABELIANAS

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 único.
f
Proposición 2.2.8. Si A −
→ B es un morfismo en una categorı́a abeliana C, en-
tonces:

(i) f es un monomorfismo si, y sólo si, f es el núcleo de su conúcleo. En parti-

cular, A ∼
= ker(coker(f )).

(ii) f es un epimorfismo si, y sólo si, f es el conúcleo de su núcleo. De aquı́,

B∼= coker(ker(f )).

Demostración. Si tenemos en cuenta que por definición cada núcleo es un monomor-

fismo, basta probar (i) en la dirección ⇒. Para (ii) aplicamos el principio de dualidad.
f A i
Si A −
→ B es un monomorfismo, su núcleo es 0 → A. Además, (A −→ A) =
coker(0 → A). Por tanto, se tiene el siguiente diagrama conmutativo, donde f0 es
un isomorfismo (proposición 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 también núcleo de B − =
ker(coker(f )).

Corolario 2.2.9. Toda categorı́a abeliana es balanceada.

f 0
Demostración. Sea A − → B un bimorfismo. Nótese que B − → B es el conúcleo de f .
0
Según la proposición 2.2.8, f es el núcleo de B −
→ B. Puesto que 0 ◦ iB = 0, existe
 2.2. CATEGORÍAS ABELIANAS 61

un morfismo t : B → A tal que f ◦ t = iB .

f 0
A - B - B
6 
t
iB

Además, f ◦ (t ◦ f ) = iB ◦ f = f = f ◦ iB , y dado que f es un monomorfismo,

t ◦ f = iB . Por tanto, f es un isomorfismo.
Proposición 2.2.10. Toda categorı́a abeliana C tiene imágenes y coimágenes. Más
f
exactamente, si A −
→ B es un morfismo en C, entonces Im(f ) = ker(coker(f )) y
Coim(f ) = coker(ker(f )).
Demostración. Dado que la categorı́a 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 través 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
Según la proposición 2.2.7, C tiene intersecciones finitas. Sea ker(coker(f)) Y −
→B
l0 h0
la intersección de ker(coker(f )) −
→B yY −
→ B,

m m-
A - ker(coker(f )) ∩ Y A ker(coker(f )) ∩ Y
HH Q 
HHf l1  Q
f l2 
z H l t0
Q  l
 HH QQ
?  
 
Hj ?
H 
? Q
s ?
ker(coker(f )) - B
Y
+ Q
- B
l0 0 h
62 CAPÍTULO 2. CATEGORÍAS ABELIANAS

La existencia de m y la conmutatividad de los diagramas anteriores están garanti-

zados por la condición de intersección. 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
t0 A
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 también lo
es, con lo cual l1 es un isomorfismo (recuérdese 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 único. Lo anterior
muestra que ker(coker(f )) = Im(f ). Al aplicar dualidad, completamos la prueba de
la proposición.

Corolario 2.2.11. Toda categorı́a abeliana tiene imágenes epimórficas y coimágenes

monomórficas.

Demostración. En la prueba anterior se mostró que z es un epimorfismo. La segunda

afirmación se sigue por dualidad.

Corolario 2.2.12. Si C es una categorı́a abeliana, se tiene que:

f A i
(i) A −
→ B es un monomorfismo si, y sólo si, Coim(f ) = (A −→ A).

f B i
(ii) A −
→ B es un epimorfismo si, y sólo si, Im(f ) = (B −→ B).

Demostración. Al aplicar dualidad, basta probar (i).

 2.3. SUCESIONES EXACTAS 63

⇒): Tenemos el diagrama conmutativo

f
A - B
A@ iA f 

A @

A @R

gA A
h

A
A 6−1

A g

AU

Y

Puesto que suponemos que h ◦ g = f y f es un monomorfismo, tenemos que g

también lo es. Ahora, dado que C es balanceada, g es un isomorfismo.
⇐): Basta considerar el triángulo superior del diagrama inmediatamente anterior
junto con el corolario 2.2.11.

2.3. Sucesiones exactas

Aunque las sucesiones exactas pueden ser definidas en categorı́as más generales,
supondremos en esta sección que trabajamos en categorı́as abelianas.
Definición 2.3.1. Una sucesión 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 definición también puede plantearse en términos de conúcleo y coimagen.
El conúcleo 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
Proposición 2.3.2. (i) 0 → A −
→ B es exacta si, y sólo si, f es monomorfismo.
f
(ii) A −
→ B → 0 es exacta si, y sólo si, f es epimorfismo.
f
(iii) 0 → A −
→ B → 0 es exacta si, y sólo si, f es isomorfismo.
64 CAPÍTULO 2. CATEGORÍAS ABELIANAS

f g
(iv) 0 → A −
→B−
→ C es exacta si, y sólo si, f es el núcleo de g.
f g
(v) A −
→B−
→ C → 0 es exacta si, y sólo si, g es el conúcleo de f .
f g
(vi) 0 → A − → B − → C → 0 es exacta si, y sólo si, f es el núcleo de g y g es
epimorfismo si, y sólo si, g es el conúcleo de f y f es un monomorfismo.
Demostración. (i) Según el corolario 2.2.12, f es un monomorfismo si, y sólo si, se
iA iA
cumple que Coim(f ) = A −→ A. Además, coker(0 → A) = (A −→ A).
(ii) Principio de dualidad.
(iii) Al tener en cuenta que una categorı́a abeliana es balanceada, (iii) es conse-
cuencia de (i) y (ii)
(iv) ⇒): Como la sucesión 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 sucesión es exacta.
(v) Principio de dualidad.
(vi) Consecuencia de (i)-(v).
Las sucesiones exactas de la forma
f g
0→A−
→B−
→C→0 (2.3.2)

se denominan exactas cortas. Según (vi), g es el conúcleo de f y f es un monomor-

fismo. En la categorı́a ModA el conúcleo de f es precisamente B/Im(f ). Dado que
f es un monomorfismo Im(f ) ∼ = A. Ası́, C ∼= B/A. Es por esta razón que en una
categorı́a abeliana se acostumbra a representar el conúcleo de un monomorfismo
f
A− → B por B → B/A, y a su objeto por B/A. Por consiguiente, la sucesión exacta
corta se representa usualmente por

0 → A → B → B/A → 0.

El corolario 2.1.2 puede complementarse de la siguiente manera.

 2.3. SUCESIONES EXACTAS 65

Proposición 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 además

q 1 ◦ p 1 + q 2 ◦ p 2 = iS ; (qi ◦ pi )2 = qi ◦ pi , 1 ≤ i ≤ 2.

Demostración. (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 retracción, resulta ser un epimorfismo. Resta ver que q1 es el núcleo de
p2 . Según (i), p2 ◦ q1 = 0. Sea f : C → S tal que p2 ◦ f = 0. Nótese 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

según el corolario 2.1.2, q1 ◦ p1 + q2 ◦ p2 = iS . Además, como q1 es un monomofismo,
se sigue que p1 ◦ f es el único 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. Supóngase 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 único 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.
66 CAPÍTULO 2. CATEGORÍAS ABELIANAS

Como q1 ◦ p1 ◦ q1 ◦ p1 = q1 ◦ p1 = q1 ◦ iA1 ◦ p1 , al cancelar obtenemos p1 ◦ q1 =

iA1 . Análogamente, p2 ◦ q2 = iA2 . Además, 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 sección, todos los resultados que hemos probado
son aplicables a la categorı́a ModA .

2.4. Ejercicios
1. Demuestre que el morfismo f0 de la proposición 2.2.3 es un isomorfismo.

2. Demuestre que si C es una categorı́a con coproductos finitos y coigualadores,

entonces C tiene sumas fibradas. En particular, toda categorı́a abeliana tiene
sumas fibradas.

3. Demuestre que toda categorı́a abeliana tiene imágenes inversas.

4. Demuestre que toda categorı́a abeliana tiene uniones finitas.

Capı́tulo 3

Funtores

Al igual que en anillos y módulos, las categorı́as adquieren importancia cuando se les
compara o relaciona. Este papel de comparación e interrelación lo desempeñan los
funtores, los cuales serán el objeto de estudio en el presente capı́tulo. Por ejemplo,
la noción de categorı́as equivalentes es expresable a través del lenguaje funtorial, en
forma análoga a la manera como la noción de módulos isomorfos es expresable a
través de los homomorfismos (véase [8], capı́tulo 3). Los funtores además permiten
establecer conexiones muy interesantes y útiles entre categorı́as algebraicas y cate-
gorı́as de tipo geométrico, en forma tal que ciertos problemas del álgebra pueden ser
investigados con técnicas geométricas y topológicas. Si no se advierte lo contrario,
supondremos que las categorı́as consideradas son arbitrarias.

3.1. Funtores
Definición 3.1.1. Sean B, C categorı́as. Un funtor covariante F : B → C se
define por:
(i) Una función, denotada también 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 función también 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)

67
68 CAPÍTULO 3. FUNTORES

para cualesquiera morfismos f, g de B compatibles para la composición 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 ).

Ejemplo 3.1.2. Algunos ejemplos triviales de funtor son los siguientes:

(i) Funtor identidad iB de una categorı́a B en sı́ misma, tal que iB (B) =
B, iB (f ) = f , para cualesquiera B ∈ Ob(B) y f ∈ Mor(B).

(ii) Funtor inclusión L de una subcategorı́a 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 categorı́a C cuyos objetos son conjuntos con alguna
estructura (algebraica, topológica, etc) y con morfismos que respetan dicha
estructura, en la categorı́a Conj de conjuntos. F0 asigna a cada objeto C de
C el conjunto C olvidándose de su estructura, y a cada morfismo f de C la
función conjuntista subyacente f . Además de este funtor, se tienen funtores
que olvidan “parcialmente”la estructura:

Ani → Ab
ModA → Ab,

donde Ab es la categorı́a 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 ◦ . Nótese que si F es contravariante, F∗ es covariante.
Análogamente, 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 observación permite efectuar el estudio de la
teorı́a de funtores por medio de los covariantes.

En adelante, si no se advierte lo contrario, la palabra funtor indicará funtor

covariante.
 3.1. FUNTORES 69

Definición 3.1.3. Dados dos funtores F : B → C y G : C → D se define el funtor

composición 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).
Nótese que si F y G son funtores contravariantes, la composición G ◦ F es un
funtor covariante. Si F es covariante (contravariante) y G es contravariante (co-
variante), la composición G ◦ F es contravariante. Es evidente que la composición
de funtores es asociativa, y además F ◦ iB = F , iC ◦ F = F , para cada funtor F
con iB , iC definidos como en el ejemplo 3.1.2. Notemos que si Cat denota la co-
lección de categorı́as pequeñas, entonces Cat es una categorı́a cuyos morfismos son
los funtores.
Ejemplo 3.1.4. Sea C una categorı́a 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 están 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◦ .
Definición 3.1.5. Sean B y C categorı́as tales que los conjuntos de morfismos en
cada una de ellas tengan estructura de grupos abelianos, y además que la composición
sea bilineal respecto de la adición en dichos grupos (tales categorı́as 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
adición.
Esta condición 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))
70 CAPÍTULO 3. FUNTORES

sea un homomorfismo de grupos. Obsérvese que F (0) = 0 para cada cero morfismo
0 en B. Además, FA y F A son funtores aditivos para cada categorı́a preaditiva C y
cada objeto A de C. Se supone en este caso que estos funtores toman sus valores en
Ab.
Al iniciar esta sección mencionamos que la noción de funtor en la teorı́a de
categorı́as juega un papel análogo al de homomorfismo en álgebra. Ası́, queremos
definir las nociones de funtor “inyectivo”, “sobreyectivo”y “biyectivo”.

Definición 3.1.6. Sean B y C categorı́as. 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 categorı́as se dicen equivalentes si existe una
equivalencia entre ellas.

Nótese 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 relación de equi-
valencia entre categorı́as es claramente reflexiva y transitiva. La proposición 3.1.8
mostrará que dicha relación también es simétrica.

Definición 3.1.7. Sean B y C categorı́as y F, G : B → C funtores covariantes. Una

transformación 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 transformación 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 )
 3.1. FUNTORES 71

Un ejemplo trivial de transformación natural lo constituye la idéntica 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, también 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.
Nótese que esta composición es asociativa.
Si B es una categorı́a pequeña, la colección 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
categorı́a (la colección de transformaciones naturales entre
es un subconjunto del conjunto producto cartesiano X∈ObB MorB (F (X), G(X))).
El contenido de la siguiente proposición puede tomarse como la definición de
categorı́as equivalentes, la cual resulta ser una relación simétrica, y por la definición
3.1.6, una relación de equivalencia.

Proposición 3.1.8. Un funtor F : B → C es una equivalencia si, y sólo si, existe

α β
un funtor G : C → B e isomorfismos funtoriales G ◦ F −
→ iB , F ◦ G −
→ iC .

Demostración. ⇒): 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
F (B) ∼
= C; consideramos G(C) := B con F (B) ∼ = C, B ∈ Ob(B). 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

? ?
F (B 0 ) hC
- C0
0

Puesto que MorB (B, B 0 ) → MorC (F (B), F (B 0 )) es sobreyectiva e inyectiva, existe

un único fb : B → B 0 tal que F (fb) = (hC 0 )−1 ◦ f ◦ hC . Por esta razón se define
G(f ) := fb. Veamos que G es un funtor; podemos esquametizar la prueba de la
72 CAPÍTULO 3. FUNTORES

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 (fb2 ) = (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 ) = iF (B) 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 )
 3.1. FUNTORES 73

α
B
Puesto que F es un funtor fiel y pleno, existen isomorfismos (únicos) 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=G◦F (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 hipótesis 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 ⇒ G◦F (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 simetrı́a,

G es fiel.
74 CAPÍTULO 3. FUNTORES

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

? ?
G ◦ F (B 0 ) - B0
αB 0

Veamos que F (z) = f . Tenemos

αB
G ◦ F (B) - B
B
z ⇒ G◦F (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.
Definición 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).
Ejemplo 3.1.10. La colección de los monoides (véase [6], capı́tulo 1) constituye
una categorı́a la cual denotamos por Mono; sea F : Mono → Ani el funtor que
asigna a cada monoide J el anillo Z[J] (anillo de un monoide, véase [9], capı́tulo 3),
es decir, F (J) := Z[J]; y consideremos el funtor G : Ani → Mono que asigna a
cada anillo A su monoide multiplicativo, es decir, G(A) := (A, ·, 1). La propiedad
universal que caracteriza al anillo de un monoide implica que F y G son funtores
conjudados, es decir,
M orAni (Z[J], A) ∼
= M orMono (J, A),
para cada monoide J y cada anillo A.
 3.2. FUNTORES EXACTOS 75

3.2. Funtores exactos

En la sección anterior se estableció la aditividad de los funtores representables
Mor(A, −) : C → Ab y Mor(−, A) : C → Ab, donde C es una categorı́a abeliana
y A un objeto fijo de C. Cuando C = ModA y N es un A-módulo fijo, los fun-
tores representables se denotan por HomA (N, −) y HomA (−, N ), respectivamente.
En esta sección estudiaremos algunas propiedades de estos funtores relacionadas
con la preservación de sucesiones exactas. A pesar de que las nociones que intro-
duciremos a continuación pueden ser tratadas en categorı́as más generales, nosotros
supondremos, si no se advierte lo contrario, que las categorı́as son abelianas.

Definición 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. Si F es un
funtor contravariante, 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 sección anterior, la palabra funtor indicará funtor covariante.

De la proposición 2.3.2 obtenemos las siguientes conclusiones:

(i) Un funtor F : B → C es exacto a izquierda si, y sólo si, preserva núcleos,

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 sólo si, preserva conúcleos.

Definición 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 proposición 3.2.4 establece que los funtores semiexactos son aditivos. Para la
prueba utilizaremos el siguiente criterio.

Proposición 3.2.3. Un funtor F : B → C es aditivo si, y sólo si, preserva sumas

directas finitas con las correspondientes proyecciones e inyecciones.
76 CAPÍTULO 3. FUNTORES

Demostración. ⇒): Consideremos la suma directa (véase el corolario 2.1.2)

q1 q2
A1 - A ⊕A  A2
1 2
@
@ p2
iA1 iA2
p1 @
@
? R
@ ?
A1 A2

donde
(
iAi , i = j
p j ◦ qi =
0, i=6 j
q1 ◦ p1 + q2 ◦ p2 = iA1 ⊕A2 .
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 ) . Según 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). Según la
observación (e) de la sección 2.1, la suma viene dada por f + g = 5B ◦ (f ⊕ g) ◦
∆A , donde 5B , f ⊕ g, ∆A están definidos por las siguientes identidades (véanse la
definición 1.10.10 y (2.1.2)):
5B ◦ qiB = iB , pA
i ◦ ∆A = iA , i = 1, 2,
f ⊕g f ⊕g
A⊕A - B⊕B A⊕A - B⊕B
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) . Además, 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).
 3.3. LÍMITES Y COLÍMITES 77

Proposición 3.2.4. Todo funtor semiexacto F : B → C es aditivo.

Demostración. Según la proposición 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 proposición 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-módulo fijo N , el funtor covariante representable dado
por HomA (N, −) : ModA → Ab, es aditivo y exacto a izquierda. Análogamente,
el funtor contravariante representable HomA (−, N ) : ModA → Ab, es aditivo y
exacto a izquierda. En efecto, en la definición 3.1.5 se habı́a notado que los funtores
representables son aditivos. Esto también puede obtenerse de la proposición 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 sucesión exacta de A-módulos. Al aplicar HomA (N, −) se obtiene la sucesión
f
N 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 núcleo 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 ). Recı́procamente, 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 conclusión, t ∈ ker(gN ) y la igualdad Im(fN ) = ker(gN ) está probada.

3.3. Lı́mites y colı́mites

Presentamos en esta sección las construcciones de lı́mite proyectivo y lı́mite inductivo
de un funtor. Estas construcciones serán en particular aplicadas para calcular el
lı́mite directo de un sitema dirigido de A-módulos.

Definición 3.3.1. Sea F : L → C un funtor, donde L es una categorı́a pequeña y

C una categorı́a cualquiera. Para X ∈ Ob(C) y cada i ∈ I := Ob(L), sea Fi := F (i)
78 CAPÍTULO 3. FUNTORES

y fi : X → Fi un morfismo. La familia (fi )i∈I 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 lı́mite (o lı́mite proyectivo) de F es un objeto Lim ←−−F de C junto con una

familia compatible de morfismos pi : ←−−F → Fi , tal que para cualquier otra familia
Lim
compatible fi : X → Fi existe un único morfismo f : X → Lim ←−−F para el cual
pi ◦ f = fi , esto es,

X

A

fA

? A
fi

Lim A fj
⇒ −−F A
i - j
g
←

@ A

pj @
A
pi


RAU
@
Fi - Fj
F (g)

Se dice que C es una categorı́a completa si para cada categorı́a pequeña L y cada
funtor F : L → C existe el lı́mite proyectivo.
Debido a la unicidad, el lı́mite de F es único salvo isomorfismo. De manera dual
se define el colı́mite de un funtor covariante F : L → C, donde L es nuevamente una
categorı́a pequeña y C una categorı́a cualquiera. No sobra en este momento repetir
las ideas duales.
Definición 3.3.2. Un colı́mite (o lı́mite 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 único 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)
 3.3. LÍMITES Y COLÍMITES 79

Se dice que C es cocompleta si Lim

−−→F existe para cada categorı́a pequeña L y cada
funtor F : L → C.

El colı́mite de F es único salvo isomorfismo. Antes de probar que ModA es

una categorı́a completa y cocompleta, consideraremos algunos casos particulares de
lı́mites y colı́mites. Para comenzar, veamos que el producto y el coproducto de un
conjunto no vacı́o de objetos de una categorı́a son casos particulares de lı́mite y
colı́mite, respectivamente.

Ejemplo 3.3.3. Sean C una categorı́a cualquiera, I un conjunto no vacı́o, {Xi }i∈I
un conjunto de objetos de C (uno por cada i ∈ I), {fij : Xi → Xj }i∈I un conjunto
dado de morfismos en C, donde para cada par i, j de I puede haber más de un
morfismo o ninguno de Xi en Xj . Además, se supone que fii = iXi para cada i ∈ I.
Se definen el lı́mite y el colı́mite de (Xi )i∈I de la siguiente manera: sea L la categorı́a
pequeña 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 := Lim←−−F , y, Lim
−−→Xi := Lim −−→F (en caso de que los últimos lı́mites existan). En
particular, al tomar como conjunto Q dado de morfismos L(fij : Xi → Xj )i∈I 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 categorı́a
pequeña (la categorı́a Pre), y si C es una categorı́a cualquiera, un funtor F : I → C
se denomina sistema directo (dirigido) de C sobre I; se acostumbra a identificar
a F con sus imágenes: {Fi := F (i), fij }i∈I , donde fij : Fi → Fj es el morfismo
correspondiente a i ≤ j. Además,

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,j∈I ; se llama lı́mite directo
de F (o de {Fi }i∈I ) al lı́mite inductivo Lim
−−→F . El lı́mite proyectivo Lim
←−−F del sistema
inverso F : I ◦ → C se llama lı́mite inverso de F .

Ejemplo 3.3.5. En este ejemplo consideraremos a manera de ilustración el lı́mite

directo de un sistema dirigido de A-módulos. Sea {Mi , fij }i∈I un sistema dirigido
de A-módulos. El lı́mite directo −
Lim
−→Mi existe y se calcula como sigue: formamos la
S˙
unión disyunta Mi de los conjuntos Mi , i ∈ I, definimos la relación ∼ en Mi
S˙
por:

x ∼ y ⇔ (x ∈ Mi , y ∈ Mj , existe k ∈ I con i ≤ k, j ≤ k y fik (x) = fjk (y) ∈ Mk ).

80 CAPÍTULO 3. FUNTORES

Nótese que ∼ es de equivalencia. Veamos que −

S˙
−→Mi = Mi / ∼. Para cada i ∈ I
Lim
se tiene la función canónica
qi : Mi → Lim
−−→Mi
xi 7→ qi (xi ) := xi
tal que si i ≤ j entonces qj ◦fij = qi . Esto indica que {qi }i∈I es una familia compatible
de morfismos. Obsérvese que cada elemento x ∈ Lim −−→Mi es de la forma x = qi (xi )
para algún i ∈ I y xi ∈ Mi . Se dice que x es representado por xi . Debemos mostrar
que − −→Mi es un A-módulo 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
están bien definidas y dotan a Lim−−→Mi de estructura de A-módulo. Además, qi es
una A-homomorfismo para cada i ∈ I: nos limitaremos a probar que la adición
está 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; supóngase 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 ). Análogamente, 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 ). También, 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 lı́mite inductivo:
sea hi : Mi → N, i ∈ I, una familia compatible de A-homomorfismos. Definimos la
aplicación h : −−→Mi → N como sigue: h(xi ) := hi (xi ). La condición de compati-
Lim
bilidad garantiza que h es un A-homomorfismo bien definido. Además, es claro que
h ◦ qi = hi para cada i ∈ I. Esto completa la prueba de que ˙ Mi / ∼ es el lı́mite
S
inductivo de {Mi , fij }i∈I .
En el ejemplo 3.3.5 se probó que la existencia de lı́mite directo de un sistema
directo de A-módulos. La idea ahora es generalizar completamente este resultado
demostrando que ModA es completa y cocompleta. La siguiente proposición puede
ser demostrada bajo hipótesis más débiles. Sin embargo, para nuestros propósitos es
suficiente el siguiente enunciado.
Proposición 3.3.6. Si C es una categorı́a abeliana con productos, entonces C es
completa.
 3.3. LÍMITES Y COLÍMITES 81

Demostración. En efecto, sea L una categorı́a pequeña 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)),
i∈I

Q
donde las p son las proyeccionesQdel producto i∈I F (i) e I := Ob(L). Por la
propiedad universal del producto g∈Mor(L) F (c(g)), se induce un único morfismo
Y Y
k: F (i) → F (c(g))
i∈I g∈Mor(L)

tal que el siguiente diagrama conmuta

Y
Fi
Q
Q kg
k Q
? Q
Y Q
s
Q
F (c(g)) - F (c(g))
pr(g)

l Q
donde pr(g) es la proyección canónica. Sea ker(k) →
− F (i) el núcleo de k. Veamos
←−−F = ker(k) con la familia de morfismos {hi := pi ◦ l : ker(k) → F (i)}i∈I .
que Lim
Nótese en primer lugar que {hi }i∈I 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)}i∈I una familia compatible de morfismos. Se induce un único

82 CAPÍTULO 3. FUNTORES

Q
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 →
Nótese que − j se cumple que la familia {kg ◦ t}g induce un único
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

también cumplen esta condición (pr(g) ◦ k ◦ t = kg ◦ t = 0). Ası́, z = 0 = k ◦ t. Existe
un único morfismo w : X → ker(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).
 3.4. EJERCICIOS 83

Sólo 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. Nótese que ModA es una categorı́a completa. Más exactamente,
si L es una categorı́a pequeña y F : L → ModA un funtor, se tiene
Y
Lim
←−−F = {(x i) ∈ Fi | F (g)xi = xj },
i∈I

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 categorı́a abeliana

con coproductos, entonces C es una categorı́a cocompleta. Más exactamente, si L es
una categorı́a pequeña y F : L → C es un funtor, entonces
 M 
u
M
Lim
−−→F = coker F (d(g)) −
→ F (i) ,
g∈Mor(L) i∈I

con I = Ob(L) y u es el morfismo inducido por la colección de morfismos

M
ug = qc(g) ◦ F (g) − qd(g) : F (d(g)) → F (i),
i∈I
L
donde las funciones q son las inyecciones del coproducto i∈I F (i). En particular,
ModA es una categorı́a cocompleta.

3.4. Ejercicios
1. Demuestre que Gn : Ani → Grp definido por Gn (A) := GLn (A), con GLn (A)
el grupo lineal de orden n ≥ 1 sobre el anillo A, es un funtor covariante.

2. Demuestre que C : Gr → Ab definido por C(G) := G/[G, G], con [G, G] el

subgrupo derivado del grupo G generado por todos los conmutadores [a, b] :=
a−1 b−1 ab, a, b ∈ G (véase [6], capı́tulo 11), es un funtor covariante.
84 CAPÍTULO 3. FUNTORES

3. (Lema de Yoneda) Sean C una categorı́a, A ∈ Ob(C), F := M orC (A, −)

el funtor covariante representable y G : C → Conj un funtor covariante.
Demuestre que existe una correspondencia biyectiva

ρ : N → G(A), dada por α 7→ αA (iA ),

donde N es la colección de todas las transformaciones naturales de F en G.

4. Sean B y C categorı́as 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 sucesión exacta en B, entonces 0 →
F (A) → F (B) → F (C) → 0 es una sucesión exacta en C.

5. Demuestre que el funtor contravariante representable HomA (−, N ) : ModA →

Ab es exacto a izquierda.

6. Complete todos los detalles del ejemplo 3.1.10.

7. Sea C una categorı́a completa. Demuestre que para cada categorı́a pequeña L
se cumple

←−− : Func(L, C) → C
Lim
F 7→ Lim
←−−F
es un funtor.

8. Sea {Mi , fij }i∈I un sistema directo de submódulos de un módulo M ,P

donde
fij : Mi → Mj son las inclusiones canónicas. Demuestre que Lim
−−→Mi = Mi .
9. Sea (Mi )i∈I un sistema directo de A-módulos y sea N un A-módulo 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 )).
Bibliografı́a

[1] Anderson, F. and Fuller, K., Rings and Categories of Modules, Springer,
1992. v

[2] Arbib, M. and Manes, E., Arrows, Structures and Functors: The Categorical
Imperative, Academic Press, 1975. v

[3] Faith, C., Algebra I: Rings, Modules and Categories, Springer, 1981.

[4] Lang, S., Algebra, Graduate Texts in Mathematics 211, Springer, 2004. iv

[5] Lezama, O. & Villamarı́n, G., Anillos, Módulos y Categorı́as, Universidad

Nacional de Colombia, 1994. iv

[6] Lezama, O., Cuadernos de Álgebra, No. 1: Grupos, SAC2 , Departamen-

to de Matemáticas, Universidad Nacional de Colombia, sede de Bogotá,
sites.google.com/a/unal.edu.co/sac2 v, 1, 74, 83

[7] Lezama, O., Cuadernos de Álgebra, No. 2: Anillos, SAC2 , Departamen-

to de Matemáticas, Universidad Nacional de Colombia, sede de Bogotá,
sites.google.com/a/unal.edu.co/sac2 v, 1, 6

[8] Lezama, O., Cuadernos de Álgebra, No. 3: Módulos, SAC2 , Departamen-

to de Matemáticas, Universidad Nacional de Colombia, sede de Bogotá,
sites.google.com/a/unal.edu.co/sac2 v, 1, 26, 39, 42, 67

[9] Lezama, O., Cuadernos de Álgebra, No. 6: Anillos y módulos, SAC2 , Depar-
tamento de Matemáticas, Universidad Nacional de Colombia, sede de Bogotá,
sites.google.com/a/unal.edu.co/sac2 v, 14, 74

[10] Mac Lane, S., Categories for the Working Mathematician, Springer, 1998.

[11] Mitchell, B., Theory of Categories, Academic Press, 1965. v

[12] Pareigis, B., Categories and Functors, Academic Press, 1970. v

85