Facultad de Ciencias

Categorías abelianas
(Abelian categories)

Trabajo de Fin de Grado

para acceder al

Grado en Matemáticas

Autor: Ángel Ríos San Nicolás

Director: Luis Felipe Tabera Alonso

Octubre - 2019
 Resumen

El teorema de Mitchell afirma esencialmente que toda categorı́a abeliana se puede ver como una
categorı́a de módulos. El objetivo principal de este trabajo es demostrar una versión débil de este
teorema. Comenzamos introduciendo las nociones fundamentales de teorı́a de categorı́as: categorı́a,
funtor y transformación natural. Estudiamos las categorı́as abelianas y construimos explı́citamente la
estructura de grupo abeliano en los conjuntos de morfismos que las caracteriza. La demostración del
teorema débil se basa en la aplicación del funtor Hom definido por un objeto proyectivo y generador.
Palabras clave: teorı́a de categorı́as, categorı́as abelianas, teorema de Mitchell

Abstract
Mitchell’s Theorem essentially states that every abelian category can be seen as a category of modu-
les. The main objective of this project is to prove a weak version of this theorem. We start introducing
fundamental notions of Category Theory: category, functor and natural transformation. We study
abelian categories and we explicitly construct the abelian group structure in the sets of morphisms
that characterizes these categories. The proof of the weak theorem is based on the application of the
Hom functor given an object which is both projective and generator.
Key words: Category Theory, abelian categories, Mitchell’s Theorem
II
Índice general

Introducción 1

1. Introducción a la teorı́a de categorı́as 3

1.1. Categorı́as y funtores . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 3
1.2. Tipos de objetos y morfismos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 13
1.3. Construcciones universales . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 16
1.4. Normalidad . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 22

2. Categorı́as abelianas 25
2.1. Definición y propiedades . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 25
2.2. Estructura aditiva . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 29

3. Teorema débil de Mitchell y categorı́as de funtores 33

3.1. Funtores exactos . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 33
3.2. Objetos proyectivos y generadores . . . . . . . . . . . . . . . . . . . . . . . . . . . . 36
3.3. Teorema débil de Mitchell . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . . 40

Bibliografı́a 49
IV ÍNDICE GENERAL
Introducción

La teorı́a de categorı́as fue introducida en 1945 por Samuel Eilenberg y Saunders Mac Lane
en su artı́culo conjunto General Theory of Natural Equivalences [4] con el objetivo de formalizar
matemáticamente los conceptos que hoy se conocen como funtor y transformación natural. Los
elementos que componen una categorı́a son objetos sin un significado matemático detrás y una
colección de “flechas”, llamadas morfismos, que pretenden capturar la idea de transformación o
relación entre objetos. Ejemplos de categorı́as son: los conjuntos con las aplicaciones, los módulos
con los homomorfismos de módulos o los espacios topológicos con las aplicaciones continuas. El
resultado es una teorı́a muy abstracta, tanto que era conocida como “general abstract nonsense”
incluso por sus cofundadores (ver [7]). La teorı́a de categorı́as centra su atención en la relación que
tiene un objeto con todos los demás de la categorı́a en lugar de en el propio objeto. Por ejemplo,
en la categorı́a de espacios vectoriales sobre un cuerpo, el espacio vectorial 0 se puede caracterizar
por ser el único objeto (salvo isomorfismo) tal que, para cualquier otro objeto V , existe una única
aplicación lineal 0 −→ V .
Una de las herramientas más potentes de la teorı́a de categorı́as es el concepto de funtor, que
estudia cómo se relacionan unas categorı́as con otras. Conocemos varios ejemplos de funtores, como
el primer grupo fundamental, que a cada espacio topológico le asocia un grupo en un punto y a
cada aplicación continua le asocia un morfismo de grupos. Esto permite aplicar técnicas de teorı́a
de grupos para estudiar, por ejemplo, si dos espacios topológicos son homeomorfos. Otro ejemplo
de funtor es el que asocia a cada variedad diferenciable su espacio tangente en un punto y a cada
aplicación diferenciable la correspondiente aplicación diferencial, que es una aplicación lineal entre
los espacios tangentes.
El primer objetivo de este trabajo es introducir nociones elementales como categorı́a, morfismo,
funtor o transformación natural y ver cómo abstrae el lenguaje y conceptos conocidos de diferentes
ramas. Una vez vistas estas nociones, nos centramos en las categorı́as abelianas, que son un tipo
concreto de categorı́a.
Henri Cartan y S. Eilenberg logran en su trabajo clásico [3] unificar las diferentes teorı́as de
homologı́a y cohomologı́a que se venı́an estudiando desde finales del siglo XIX y establecen el álgebra
homológica como una rama independiente de las matemáticas. A partir de [3], David Buchsbaum se
da cuenta de que muchos de los resultados sobre diagramas de módulos se pueden probar también
en un contexto más general y es él quien trata por primera vez las categorı́as exactas, que son
el precedente de las categorı́as abelianas. Ası́, Buchsbaum prueba en [2] muchos resultados sobre
categorı́as abelianas.
Posteriormente, Alexander Grothendieck, en su artı́culo [6], conocido como su Tohoku paper,
reescribe los fundamentos del álgebra homológica en el lenguaje de las categorı́as abelianas. En
la actualidad, las categorı́as abelianas siguen siendo fundamentales en álgebra homológica y, como
consecuencia, se aplican en muchas áreas como álgebra conmutativa, geometrı́a algebraica y topologı́a
algebraica. Existen numerosas definiciones equivalentes de categorı́a abeliana en la bibliografı́a. La
mayorı́a de ellas exige que los conjuntos de morfismos tengan una estructura de grupo como [9]. Sin
embargo, introducimos la teorı́a basándonos en [5], donde se construye esta estructura de grupo a
partir de una definición, a simple vista, más sencilla.
Para entender mejor en qué sentido las categorı́as abelianas generalizan resultados de la teorı́a
de módulos, Barry Mitchell demostró el que hoy conocemos como teorema de Mitchell o teorema del

1
2 ÍNDICE GENERAL

embebimiento de Freyd-Mitchell cuya consecuencia principal es que ciertos teoremas sobre diagramas
son ciertos en las categorı́as abelianas por ser ciertos en las categorı́as de módulos. El teorema permite
ası́ razonar en los diagramas finitos en una categorı́a abeliana como si fueran diagramas de módulos.
De esta manera, se tiene un resultado metamatemático que permite transferir los teoremas de una
teorı́a a la otra.

Teorema de Mitchell. Para toda categorı́a abeliana pequeña C , existe un anillo R no

necesariamente conmutativo y un funtor covariante F : C −→ ModR plenamente fiel y
exacto.

En este trabajo no seremos tan ambiciosos por falta de espacio y porque deberı́amos introdu-
cir muchos conceptos como cogenerador inyectivo, categorı́a de Grothendieck o extensión esencial.
Veremos una versión débil que es, además, un resultado previo en una de las demostraciones del
teorema de Mitchell.

Teorema débil de Mitchell. Sea C una categorı́a abeliana con un generador proyectivo
y coproductos pequeños. Para toda subcategorı́a plena pequeña y exacta D, existe un
anillo R, no necesariamente conmutativo, y un funtor covariante F : D −→ ModR
plenamente fiel y exacto.

Una de las tareas principales será definir todos los conceptos necesarios para entender los enun-
ciados de ambos teoremas, demostrar el segundo y comprobar que es, efectivamente, más débil que
el primero. También justificaremos las consecuencias metamatemáticas de estos teoremas y veremos
un ejemplo en el lema de la serpiente que es uno de los resultados clásicos más relevantes del álgebra
homológica.
En el Capı́tulo 1 introducimos las nociones elementales de la teorı́a de categorı́as como categorı́a,
funtor o transformación natural. También explicamos el principio de dualidad categórica que aplica-
mos durante todo el trabajo y que es especialmente importante en las categorı́as abelianas. Además,
introducimos los diferentes tipos elementales de morfismos (retracción, monomorfismo, isomorfismo,
morfismo cero...), objetos (objeto inicial, final y cero) y construcciones universales (producto, inter-
sección, núcleo... ). Durante todo el capı́tulo, ponemos ejemplos que hemos construido, especialmente
en el contexto de la teorı́a de módulos, que usaremos para probar que la categorı́a de módulos es
abeliana.
En el Capı́tulo 2 definimos la noción de categorı́a abeliana y vemos que, efectivamente, algunos
de los teoremas de módulos se reproducen en esta teorı́a. Entre las propiedades que estudiaremos
estará la existencia y unicidad de la estructura de grupo en el conjunto de morfismos entre dos
objetos.
En el Capı́tulo 3 estudiamos los objetos proyectivos y generadores que nos permiten definir
funtores exactos y fieles. Con ello demostramos el teorema débil. Además, construimos, a la Yoneda,
un funtor contravariante plenamente fiel de una categorı́a abeliana cualquiera en una categorı́a
abeliana de funtores con un generador que es uno de los pasos de la demostración del teorema de
Mitchell.
Para las primeras secciones del primer capı́tulo, nos hemos basado principalmente en [11]. Para el
resto del trabajo, hemos seguido [5] completando, detallando y añadiendo demostraciones, algunas,
en parte, inspiradas en [9].
Capı́tulo 1

Introducción a la teorı́a de
categorı́as

Comenzamos introduciendo los conceptos fundamentales de categorı́a, funtor y transformación

natural. Con ellos enunciamos y probamos el lema de Yoneda que es de los primeros resultados
no triviales que se prueban en teorı́a de categorı́as y que vamos a necesitar más adelante cuando
veamos categorı́as de funtores. Además, iremos introduciendo las nociones necesarias para definir
las categorı́as abelianas y pondremos como ejemplo principal las categorı́as de módulos. Con esto
probaremos que son abelianas.

1.1. Categorı́as y funtores

Cuando definimos una cierta estructura como los grupos en álgebra, los espacios topológicos en
topologı́a o las a variedades diferenciables en geometrı́a diferencial siempre se estudian distintos tipos
de transformaciones admisibles entre los objetos como los homomorfismos de grupos, las aplicaciones
continuas o las aplicaciones diferenciables. La noción de categorı́a abstrae y generaliza todos estos
conceptos.

Definición 1.1.1. Una categorı́a C consiste en:

Una clase |C | cuyos elementos llamamos objetos de la categorı́a.

Una familia de conjuntos {HomC (A, B)}A,B∈|C | disjuntos dos a dos.

Si f ∈ HomC (A, B) con A, B objetos, decimos que f es un morfismo con dominio A y
codominio B y lo denotamos f : A −→ B.

Una familia de aplicaciones

{HomC (A, B) × HomC (B, C) −→ HomC (A, C), (f, g) 7−→ gf }A,B,C∈|C |

llamadas composiciones que satisfacen

Asociatividad. Para todos A, B, C, D objetos y todos f : A −→ B, g : B −→ C, h : C −→ D
morfismos se cumple
h(gf ) = (hg)f.
Denotamos el morfismo composición simplemente como hgf : A −→ D.
Morfismo identidad. Para todo objeto A existe un morfismo 1A : A −→ A llamado identi-
dad en A tal que para todos B, C objetos y f : A −→ B y g : B −→ A se cumplen f 1A = f y
1B g = g.

3
4 CAPÍTULO 1. INTRODUCCIÓN A LA TEORÍA DE CATEGORÍAS

Notamos que es necesario definir la colección de objetos como una clase y no como un conjunto ya
que, de lo contrario, ni siquiera podrı́amos hablar de la categorı́a de conjuntos. Esto requiere trabajar
con una teorı́a axiomática que permita definir clases. No entraremos en detalles sobre la diferencia
de conjuntos y clases propias porque no es uno de los objetivos del trabajo, pero lo tendremos en
cuenta como en el Apartado 4 del Ejemplo 1.1.6.
Probamos el primer resultado. Como era de esperar, los morfismos identidad son únicos.
Proposición 1.1.2. Dado un objeto A en una categorı́a, el morfismo identidad 1A es único.
Demostración. Si 1A , 10A : A −→ A son dos morfismos identidad, entonces se tiene por definición
que
1A = 1A 10A = 10A .

Damos ahora una serie de ejemplos de objetos matemáticos que se pueden realizar como cate-
gorı́as.
Ejemplo 1.1.3.
1. El conjunto vacı́o
El vacı́o es una categorı́a cuya clase de objetos es el conjunto vacı́o.
A partir de ahora suponemos que las categorı́as no son vacı́as.
2. Clase no vacı́a
Dada una clase no vacı́a, podemos considerar la categorı́a cuyos objetos son los elementos de la
clase y que cada objeto solo tiene un morfismo de él en si mismo, necesariamente el morfismo
identidad.
En particular, los conjuntos se pueden ver como categorı́as.
Recı́procamente, una categorı́a que solo tiene morfismos identidad determina una clase.
3. Conjunto parcialmente ordenado
Un conjunto parcialmente ordenado (X, ≤) se puede ver como la categorı́a X cuyos objetos
son los elementos de X y dados dos objetos x, y ∈ X,

(x, y) si x ≤ y
HomX (x, y) = .
∅ si x  y

Si x, y, z ∈ X son tales que x ≤ y e y ≤ z, se cumple, por transitividad, que x ≤ z y la

composición de los únicos morfismos dados por x ≤ y e y ≤ z es el único morfismo dado por
x ≤ z.
Si x ∈ X, por la propiedad reflexiva x ≤ x y el morfismo asociado es la identidad en x.
4. Monoide
Dado un monoide (G, ·), definimos una categorı́a C con un solo objeto A y para cada g ∈ G un
morfismo g : A −→ A. Si g, h ∈ G, g · h ∈ G y definimos la composición gh como el morfismo
determinado por g · h.
Ejemplo 1.1.4. Categorı́as de conjuntos con estructura junto con las aplicaciones que preservan
la estructura. En estos ejemplos describimos solo los objetos que serán siempre conjuntos y los
morfismos que serán siempre aplicaciones. La composición es la composición como aplicaciones con
lo que morfismos identidad son las aplicaciones identidad.
1. La categorı́a de conjuntos Set
Los objetos son los conjuntos. Los morfismos son las aplicaciones entre conjuntos. La compo-
sición de morfismos es la composición usual de aplicaciones. Si f : A −→ B y g : B −→ C
son aplicaciones entre conjuntos, definimos gf : A −→ C como gf = g ◦ f . Sabemos que la
composición de aplicaciones está bien definida y es asociativa.
1.1. CATEGORÍAS Y FUNTORES 5

2. La categorı́a de anillos Ring

Los objetos son los anillos asociativos con unidad no necesariamente conmutativos y los mor-
fismos son los homomorfismos unitarios de anillos.
Si consideramos como objetos solo los anillos conmutativos, tenemos la categorı́a CRing.
3. La categorı́a de R-módulos R Mod
Fijado un anillo R, la categorı́a R Mod tiene como objetos los R-módulos izquierdos y como
morfismos los homomorfismos de R-módulos. Si R = K es un cuerpo, obtenemos la categorı́a
VectK de los K-espacios vectoriales con las aplicaciones lineales. Si R = Z, obtenemos la
categorı́a Ab de grupos abelianos con los morfismos de grupos. Análogamente se construye la
categorı́a ModR de los R-módulos derechos.
4. La categorı́a de espacios topológicos Top
Los objetos son los espacios topológicos y los morfismos son las aplicaciones continuas.
5. La categorı́a de espacios topológicos punteados Top∗
Los objetos son los espacios topológicos con un punto distinguido, es decir, las ternas (X, τ, x0 )
donde (X, τ ) es un espacio topológico y x0 ∈ X. Los morfismos son las aplicaciones continuas
que transforman el primer elemento distinguido en el segundo.
6. La categorı́a de variedades diferenciables M
Los objetos son las variedades diferenciables de clase C ∞ y los morfismos son las aplicaciones
diferenciables de clase C ∞ .

Si pretendemos estudiar las categorı́as como objetos de una categorı́a, necesitamos morfismos
entre categorı́as. Estos morfismos son los funtores.
Definición 1.1.5. Un funtor covariante F : C −→ D de la categorı́a C en la categorı́a D consiste
en:
Una aplicación entre las clases de objetos
F : |C | −→ |D|
.
A − 7 → F (A)

Para cada A, B ∈ C , una aplicación entre los conjuntos de morfismos

F : HomC (A, B) −→ HomD (F (A), F (B))
f : A −→ B 7−→ F (f ) : F (A) −→ F (B)
tal que cumple
• F (1A ) = 1F (A) para todo A ∈ |C |.
• F (f g) = F (f )F (g) para todos f ∈ HomC (A, B), g ∈ HomC (B, C) y A, B, C ∈ |C |.
Un funtor contravariante F : C −→ D de la categorı́a C en la categorı́a D consiste en:
Una aplicación entre las clases de objetos
F : |C | −→ |D|
.
A 7 →
− F (A)

Para cada A, B ∈ C , una aplicación entre los conjuntos de morfismos

F : HomC (A, B) −→ HomD (F (B), F (A))
f : A −→ B 7−→ F (f ) : F (B) −→ F (A)
tal que cumple
6 CAPÍTULO 1. INTRODUCCIÓN A LA TEORÍA DE CATEGORÍAS

• F (1A ) = 1F (A) para todo A ∈ |C |.

• F (f g) = F (g)F (f ) para todos f ∈ HomC (A, B), g ∈ HomC (B, C) y A, B, C ∈ |C |.

Los funtores covariantes son los que preservan el sentido de los morfismos y el orden de la
composición mientras que los funtores contravariantes son los que los invierten.

Ejemplo 1.1.6.

1. Funtor identidad
Dada una categorı́a C , definimos 1C : C −→ C que manda cada objeto y cada morfismo en
sı́ mismos. 1C (A) = A para todo A objeto de C y si f : A −→ B es un morfismo en C ,
1C (f ) = f . Claramente, 1C es un funtor covariante.

2. Funtor constante
Dada una categorı́a C y un objeto A ∈ |C |, definimos CA : C −→ C tal que manda cada
objeto en A y cada morfismo en la identidad 1A . F es un funtor covariante y contravariante.

3. Funtores olvido
En el Ejemplo 1.1.4 tenemos una colección de categorı́as de conjuntos con una cierta estruc-
tura adicional donde los morfismos son tipos especiales de aplicaciones entre conjuntos. La
composición de morfismos es la composición como aplicaciones. Si para una categorı́a de este
tipo transformamos cada objeto en su conjunto subyacente y cada morfismo en su aplicación
subyacente, obtenemos un funtor a Set que se conoce como funtor olvido ya que, en cierto
sentido, olvida toda la estructura adicional. Por ejemplo, tenemos los funtores olvido

Group −→ Set Top −→ Set R Mod −→ Set.

Si en lugar de olvidar completamente la estructura se olvida parte de ella, tenemos también

funtores olvido como

Ab −→ Group R Mod −→ Ab Ring −→ Ab.

4. Grupo de las unidades −∗ : Ring −→ Group

El funtor −∗ transforma cada anillo en su grupo de unidades R∗ y cada morfismo de anillos
f : R −→ S en el morfismo de grupos

f ∗ : R∗ −→ S∗
.
r 7−→ f (r)

Se prueba fácilmente que es un funtor covariante.

5. Grupo general lineal GLn (−) : Ring −→ Group

El funtor covariante GLn (−) asocia a cada anillo R el grupo general lineal

GLn (R) = {M ∈ Mn (R) : det(M ) ∈ R∗ }

como subgrupo de (Mn (R), ·), el grupo multiplicativo de las matrices cuadradas de orden n,
y a cada morfismo de anillos f : R −→ S el morfismo de grupos

GLn (f ) : GLn −→ GLn (S)

.
(aij )ij 7−→ (f (aij ))ij

Se prueba fácilmente que es un funtor covariante.

1.1. CATEGORÍAS Y FUNTORES 7

6. Grupo fundamental π1 : Top∗ −→ Group

Este ejemplo es conocido. Si (X, τ, x0 ) es un espacio topológico con un punto distinguido
x0 ∈ X, sabemos que la concatenación de lazos induce una estructura de grupo en el conjunto
de clases de equivalencia por homotopı́a de lazos de base x0 , el grupo fundamental o primer
grupo de homotopı́a π1 (X, τ, x0). Además, para cada morfismo en Top∗ , tenemos un morfismo
de grupos entre los grupos fundamentales correspondientes.
Sabemos que esta construcción es funtorial.
7. Funtores Hom(A, −) y Hom(−, A)
Sea A un objeto de una categorı́a C . Tenemos dos funtores muy importantes a la categorı́a de
conjuntos.
Definimos el funtor Hom covariante Hom (A, −) : C −→ Set que transforma cada objeto
B en el conjunto Hom(A, B) = HomC (A, B) y cada morfismo f : B −→ C en la aplicación
Hom(A, f ) = hA (f ) siguiente definida componiendo f a derecha diagramáticamente

hA (f ) : Hom(A, B) −→ Hom(A, C)
.
α : A −→ B 7−→ f α : A −→ C
Veamos que Hom(A, −) es un funtor covariante. Si B es un objeto de C y f ∈ Hom(A, B), se
tiene que hA (1B )(f ) = 1B f = f . Por tanto, hA (1B ) es, efectivamente, la aplicación identidad
en Hom(A, B). Y si f : B −→ C, g : C −→ D y h : A −→ B, entonces
 
hA (f g)(h) = (f g)h = f (gh) = hA (f ) hA (g)(h) .

Por tanto, hA (f g) = hA (f )hA (g) como querı́amos probar.

Análogamente, definimos el funtor Hom contravariante Hom(−, A) : C −→ Set que trans-
forma cada objeto B en el conjunto HomC (B, A) y cada morfismo f : B −→ C en la aplicación
definida componiendo f a izquierda diagramáticamente, hA (f )(h) = hf : B −→ A para todo
h : C −→ A.
8. Composición de funtores
Dados dos funtores covariantes F : C −→ D, G : D −→ E , definimos el funtor composición
GF : C −→ E como las composiciones tanto en objetos como en morfismos, es decir, transforma
cada objeto A en el objeto GF (A) = G(F (A)) y cada morfismo f : A −→ B en el morfismo
GF (f ) = G(F (f )) : GF (A) −→ GF (B).
Vemos que, efectivamente, es un funtor covariante. Para todo A objeto de C ,
GF (1A )) = G(F (1A )) = G(1F (A ) = 1GF (A) .
Sean f : A −→ B y g : B −→ C, se cumple
GF (gf ) = G(F (gf )) = G(F (g)F (f )) = G(F (g))G(F (f )) = GF (g)GF (f ).
Observamos que la composición de funtores es asociativa por serlo la composición de aplica-
ciones.
Análogamente se tienen la composición de funtores contravariantes, la composición de funto-
res covariantes con funtores contravariantes y la composición de funtores contravariantes con
funtores covariantes.
9. La categorı́a de categorı́as pequeñas Cat
Cat es una categorı́a cuyos objetos son las categorı́as pequeñas (categorı́as cuya clase de
objetos es un conjunto) y, si C y D son categorı́as pequeñas, el conjunto de morfismos es
HomCat (C , D) = Func(C , D), el conjunto de todos los funtores covariantes. La composición
de morfismos es la composición de funtores.
Es claro que es una categorı́a porque la composición de funtores es asociativa y los morfismos
identidad son los funtores identidad.
8 CAPÍTULO 1. INTRODUCCIÓN A LA TEORÍA DE CATEGORÍAS

Definición 1.1.7. Decimos que una categorı́a D es una subcategorı́a de una categorı́a C si |D| ⊆
|C | y para cada A, B ∈ |D|, se tiene HomD (A, B) ⊆ HomC (A, B). Dada una subcategorı́a D de
una categorı́a C , definimos el funtor inclusión

i: D −→ C
A 7−→ A .
f : A −→ B 7−→ f : A −→ B

Definición 1.1.8. Decimos que un funtor covariante F : C −→ D es fiel si para todos A, B ∈ |C |,

la aplicación HomC (A, B) −→ HomD (F (A), F (B)) es inyectiva y que es pleno si es sobreyectiva.
Se dice que un funtor es plenamente fiel si es a la vez pleno y fiel. Se dice que una subcategorı́a
D es una subcategorı́a plena de una categorı́a C si el funtor inclusión i : D −→ C es pleno, es
decir, para todo par de objetos A, B de D, HomD (A, B) = HomC (A, B).
Se definen también fiel, pleno y plenamente fiel para funtores contravariantes de manera análoga.

Ejemplo 1.1.9. Claramente, toda categorı́a es subcategorı́a de sı́ misma. Además, Ab es una
subcategorı́a plena de Group y CRing es una subcategorı́a plena de Ring. En general, restringiendo
en objetos se pueden construir numerosas subcategorı́as plenas.

Vemos ahora una caracterización de los funtores covariantes fieles que será clave para aplicar el
teorema de Mitchell.

Proposición 1.1.10. Si F : C −→ D es un funtor fiel si y solo si F transforma diagramas no

conmutativos en diagramas no conmutativos.

Demostración.
=⇒ Supongamos que tenemos f : A −→ C y g : B −→ C y h : A −→ B morfismos en C de
manera que f 6= gh, entonces, como F es fiel, F (f ) 6= F (gh) 6= F (g)F (h) con lo que las imágenes
no conmutan.
⇐= Suponemos f, g : A −→ B morfismos en C tales que F (f ) = F (g), se tiene que F (f ) = 1F (B) F (g)
con lo que si F transforma diagramas no conmutativos en diagramas no conmutativos, debe ser
f = 1B g = g y F es fiel.

Con esto tenemos que si F : C −→ D es un funtor covariante fiel, la conmutatividad de un

diagrama en C es equivalente a la conmutatividad de su imagen en D por F .
Ligado al concepto de funtor, tenemos el de transformación natural entre funtores. Podemos
construir categorı́as cuyos objetos son funtores y cuyos morfismos son transformaciones naturales.

Definición 1.1.11. Una transformación natural η : F −→ G de un funtor covariante F : C −→

D en un funtor covariante G : C −→ D es una colección de morfismos en D

{ηA : F (A) −→ G(A)}A∈|C |

tal que para cada morfismo f : A −→ B en C , el diagrama

ηA
F (A) G(A)
F (f ) G(f )

F (B) ηB G(B)

conmuta, es decir, ηB F (f ) = G(f )ηA .

Una transformación natural η : F −→ G de un funtor contravariante F : C −→ D en un funtor
contravariante G : C −→ D es una familia de morfismos en D

{ηA : F (A) −→ G(A)}A∈|C |

1.1. CATEGORÍAS Y FUNTORES 9

tal que para cada morfismo f : A −→ B en C , el diagrama

ηB
F (B) G(B)
F (f ) G(f )

F (A) ηA G(A)

conmuta, es decir, ηA F (f ) = G(f )ηB .

En ambos casos, para cada A objeto de C , al morfismo ηA lo denominamos la componente de η
en A.

Ejemplo 1.1.12.

1. Transformación natural identidad

Dado un funtor covariante o contravariante F : C −→ D, se define la transformación natural
identidad 1F : F −→ F dada por (1F )A = 1F (A) para todo objeto A de C .
Es claramente una transformación natural.

2. El determinante det : GLn (−) −→ −∗ (véase el Ejemplo 1.1.6)

Dado un anillo R y A = (aij )ij ∈ GLn (R), el determinante nos da un morfismo de grupos

detR : GLn (R) −→ R∗

A 7−→ detR (A)

Estos morfismos constituyen una transformación natural det : GLn (−) −→ −∗ ya que para
todo morfismo de anillos f : R −→ S, el diagrama

detR
GLn (R) R∗
GLn (f ) f∗

GLn (S) detS

S∗

conmuta, es decir, dado A = (aij )ij ∈ GLn (R), tenemos

f ∗ (detR (A)) = det((f (aij ))ij ) = detS (GLn (f )(A))

porque f es un morfismo de anillos y detR (A) es la evaluación de un polinomio en los coeficientes

de la matriz.

3. Composición de transformaciones naturales

Si α : F −→ G, β : G −→ H son transformaciones naturales entre funtores covariantes
F, G, H : C −→ D, definimos la transformación natural composición βα : F −→ H dada
por el morfismo composición (βα)A = βA αA : F (A) −→ H(A) en la categorı́a D para todo A
objeto de C .
La composición de transformaciones naturales es claramente una transformación natural por-
que para todo morfismo f : A −→ B en C , el diagrama

αA βA
F (A) G(A) H(A)
F (f ) G(f ) H(f )

F (B) αB G(B) βB
H(B)

conmuta por ser α y β transformaciones naturales.

10 CAPÍTULO 1. INTRODUCCIÓN A LA TEORÍA DE CATEGORÍAS

4. Categorı́as de funtores
Dadas C una categorı́a pequeña y D una categorı́a cualquiera, se puede considerar una nueva
categorı́a Func(C , D), también denotada D C , cuya clase de objetos es la colección de todos los
funtores covariantes de C en D

|Func(C , D)| = {F : C −→ D : F funtor covariante}.

Y dados dos objetos F, G : C −→ D, el conjunto de morfismos es el conjunto

HomD C (F, G) = Nat(F, G)

de todas las transformaciones naturales de F en G, también denotado GF .

Dados dos funtores F, G : C −→ D, como las transformaciones naturales de F en G son
colecciones de morfismos en D podemos ver Nat(F, G) como una subclase de
Y
Nat(F, G) ⊆ HomC (F (A), G(A)),
A∈|C |

que es un conjunto por ser un producto cartesiano de conjuntos indexados por un conjunto.
Por tanto, Nat(F, G) también es un conjunto.
Sabemos, por el ejemplo inmediatamente anterior, que dadas dos transformaciones naturales
α : F −→ G y β : G −→ H, podemos definir una composición de transformaciones naturales
βα : F −→ H, que esta composición es asociativa y que para toda α : F −→ G transformación
natural, las transformaciones naturales identidad 1F y 1G cumplen α1F = α y 1G β = β, es
decir, se cumple la existencia del morfismo identidad para cada objeto.

Con lo visto hasta ahora estamos en condiciones de enunciar y demostrar el lema de Yoneda,
uno de los resultados clave en teorı́a de categorı́as. Dado un objeto A, tenemos el funtor covariante
Hom(A, −) : C −→ Set. Dado cualquier funtor covariante F : C −→ Set, F (A) es un conjunto. El
lema de Yoneda nos indica que las transformaciones naturales de Hom(A, −) en el funtor F están
en biyección con el conjunto F (A).
Lema 1.1.13. Lema de Yoneda. Dado un funtor covariante F : C −→ Set, para todo objeto A
de C , existe una biyección Φ entre el conjunto de transformaciones naturales del funtor Hom(A, −)
en el funtor F y el conjunto F (A) dada por

Φ : Nat(Hom (A, −) , F ) −→ F (A)

.
α 7−→ αA (1A )

Demostración. Veamos de dónde surge la definición de Φ. Sea α una transformación natural α :

Hom(A, −) −→ F , queremos definir su imagen por Φ. Por definición, para cada objeto B de C ,
tenemos un morfismo componente αB : Hom(A, B) −→ F (B) que es una aplicación entre con-
juntos. Como buscamos definir un elemento en F (A) como imagen de α, tomamos el morfismo
αA : Hom(A, A) −→ F (A). Ahora, por la definición de categorı́a, el único morfismo que siempre
existe es el morfismo identidad 1A : A −→ A con lo que αA (1A ) ∈ F (A), por lo que Φ(α) = αA (1A )
nos define una aplicación.
Probemos que Φ es biyectiva. Para ello, vamos a construir su inversa. Sea x ∈ F (A), veamos
que existe una única transformación natural α : Hom(A, −) −→ F (A) tal que αA (1A ) = x. Para
definir una transformación natural, tenemos que definir, para cada objeto B, el morfismo componente
αB : Hom(A, B) −→ F (B). Dado un morfismo f : A −→ B, el siguiente diagrama debe conmutar
αA
Hom(A, A) F (A)
hA (f ) F (f ) .

Hom(A, B) αB F (B)
1.1. CATEGORÍAS Y FUNTORES 11
 
Debe ser αB (f ) = αB hA (f )(1A ) = F (f )(αA (1A )) = F (f )(x). Por tanto, debemos tomar αB (f ) =
F (f )(x). Veamos que esto, efectivamente, define una transformación natural. Si f : B −→ C es un
morfismo en C , tenemos que ver que el diagrama
αB
Hom(A, B) F (B)
hA (f ) F (f )

Hom(A, C) αC F (C)

conmuta, es decir, F (f )αB = αC hA (f ).

Sea pues g : A −→ B, tenemos que
   
F (f )(αB (g)) = F (f )(F (g)(x)) = F (f g)(x) = F hA (f )(g) (x) = αC hA (f )(g)

Por tanto, α es transformación natural y αA (1A ) = F (1A )(x) = x como querı́amos probar.
En particular, si tomamos un par de funtores Hom covariantes Hom(A, −), Hom(B, −), el lema
de Yoneda nos dice que hay tantas transformaciones naturales Hom(A, −) −→ Hom(B, −) como
morfismos en HomC (B, A) y nos da una manera de escribirlas.
Como consecuencia del lema de Yoneda, tenemos el siguiente resultado.
Teorema 1.1.14. Embebimiento de Yoneda contravariante. Dada una categorı́a C , existe un
funtor contravariante plenamente fiel Y : C −→ Func(C , Set).
Demostración. Definimos Y : C −→ Func(C , Set) tal que transforma cada objeto A, en el funtor
covariante Hom (A, −) y cada morfismo f : A −→ B, en la transformación natural

Hom(f, −) : Hom(B, −) −→ Hom(A, −)

dada por el morfismo Hom(f, C) = hC (f )

hC (f ) : Hom(B, C) −→ Hom(A, C)
α 7−→ αf

para todo C objeto de C .

Y es un funtor contravariante
Tenemos que ver que está bien definido, es decir, que para todo f : A −→ B, la colección de
morfismos Hom(f, −) es, efectivamente, una transformación natural.
Sea un morfismo f : A −→ B y sea g : B −→ C. Se cumple que el diagrama
hC (f )
Hom(B, C) Hom(A, C)
B
h (g) hA (g)

Hom(B, D) Hom(A, D)
hD (f )

conmuta porque para todo h : B −→ C,

 
hA (g)(hC (f )(h)) = ghf = hD (f ) hB (g)(h) .

Falta ver que conserva los morfismos identidad e invierte la composición. Dado un objeto A
de C ,
Y(1A ) = Hom(1A , −)
12 CAPÍTULO 1. INTRODUCCIÓN A LA TEORÍA DE CATEGORÍAS

que, para todo objeto B de C , cumple que hB (1A ) es la aplicación identidad en Hom(A, B)
porque compone cada morfismo con la identidad y, por tanto, Y(1A ) = 1Hom(A,−) es la trans-
formación natural identidad.
Dados dos morfismos f : A −→ B, g : B −→ C, tenemos que ver que

Hom(gf, −) = Hom(f, −)Hom(g, −).

Sea D un objeto de C , y sea h : C −→ D. Se cumple

hD (gf )(h) = h(gf ) = h(g(f )) = (hD (f )hD (g)) (h)

con lo que Y es un funtor contravariante.

Y es plenamente fiel
Observamos que esto es consecuencia del lema de Yoneda. Si A, B son objetos de C , aplicando
el lema de Yoneda para el funtor Hom(A, −) y el objeto B, sabemos que existe una biyección

Φ−1 : Hom(A, B) −→ Nat(Hom(B, −), Hom(A, −))

f 7−→ Φ−1 (f ) = α

donde para todo C objeto de C ,

αC : Hom(B, C) −→ Hom(A, C)
.
g 7−→ gf

Es decir, Φ−1 (f ) = Hom(f, −) = Y(f ).

Lo que hemos probado es que las aplicaciones en morfismos que definen Y son sobreyectivas,
con lo que el funtor es pleno, e inyectivas, con lo que el funtor es fiel.

Por tanto, existe un funtor contravariante Y : C −→ Func(C , Set) plenamente fiel como querı́amos
probar.

Sabemos que si tenemos un teorema en geometrı́a proyectiva, tenemos un resultado dual obtenido
dualizando tanto hipótesis como tesis y una demostración aplicando el principio de dualidad. Vamos
a justificar que existe un principio de dualidad análogo en el contexto de la teorı́a de categorı́as.

Definición 1.1.15. Dada una categorı́a C , construimos una categorı́a C 0 llamada categorı́a
opuesta o dual de C cuya clase de objetos es la misma que la de C y para cada A, B objetos
de C , definimos HomC 0 (A, B) = HomC (B, A), es decir, cada morfismo f : A −→ B en C es un
morfismo B −→ A en C 0 . La composición está definida por

HomC 0 (A, B) × HomC 0 (B, C) −→ HomC 0 (A, C)

.
(f, g) 7−→ fg

0
Claramente se tiene por definición C = C 0 .
Cuando un objeto A ∈ |C | se considera como objeto de C 0 , lo denotamos como A0 y, análoga-
mente, para cada morfismo f , denotamos f 0 al correspondiente en la categorı́a opuesta.
Consideramos
C −→ C0 C0 −→ C
A 7−→ A0 A0 7−→ A .
f : A −→ B 7−→ f : B 0 −→ A0
0
f : B −→ A0
0
7−→ f : A −→ B

Con esta notación, tenemos, por definición, f 0 g 0 = (gf )0 . Son, entonces, dos funtores contrava-
riantes llamados funtores dualizantes. Además, la composición en ambos sentidos da la identidad
1.2. TIPOS DE OBJETOS Y MORFISMOS 13

en C y en C 0 . Ambos funtores invierten el sentido de los morfismos y, con ello, el orden de la com-
posición. Esto implica que cada vez que definamos un concepto categórico, tendremos también el
correspondiente concepto dual invirtiendo los morfismos y sus composiciones, es decir, girando las
flechas.
Además, para cada afirmación sobre una categorı́a tenemos también una afirmación dual con los
morfismos invertidos. Si una afirmación es cierta para una categorı́as C , entonces la afirmación dual
es cierta para la categorı́a dual C 0 . Ahora, si una afirmación es cierta para cada categorı́a C , enton-

0
ces la afirmación dual es cierta para cada correspondiente categorı́a dual C 0 , pero como C = C 0 ,
el resultado dual es cierto para todas las categorı́as. Con eso tenemos el siguiente resultado.

Principio de dualidad. Si un teorema es cierto para todas las categorı́as, entonces el

teorema dual también es cierto para todas las categorı́as.

Gracias a esto solo tenemos que demostrar la mitad de los resultados sobre categorı́as y aplicar
el principio de dualidad.

1.2. Tipos de objetos y morfismos

Introducimos diferentes definiciones de tipos de morfismos y objetos y sus propiedades que mues-
tran que el lenguaje común en muchos contextos matemáticos es el propio de la teorı́a de categorı́as.

Definición 1.2.1. Dado un morfismo f : A −→ B en una categorı́a. Se dice que f es una retracción
si existe un morfismo f 0 : B −→ A tal que f f 0 = 1B . Dualmente, se dice que f es una sección o
coretracción si existe un morfismo f 00 : B −→ A tal que f 00 f = 1A . Se dice que un morfismo es
isomorfismo si es sección y retracción. En este caso se tiene

f 0 = 1A f 0 = f 00 f f 0 = f 00 1B = f 00 .

Decimos que f 0 = f 00 es un inverso de f y lo denotamos f −1 .

Dados dos objetos A y B en una categorı́a, decimos que A es isomorfo a B si existe un isomorfismo
f : A −→ B. En este caso el inverso es único y es isomorfismo.

Ejemplo 1.2.2. Sabemos que los isomorfismos en las categorı́as Group, Ring y R Mod son los mor-
fismos biyectivos porque la aplicación inversa también es morfismo. Además, es claro por definición
que los homeomorfismos son los isomorfismos en Top.

Definición 1.2.3. Dado un morfismo f : A −→ B en una categorı́a. Se dice que f es endomorfismo

si A = B. Se dice que f es monomorfismo si f α = f β implica α = β para todos α, β morfismos
con codominio A. Dualmente, se dice que f es epimorfismo si αf = βf implica α = β para todos
αβ morfismos con dominio B. Una categorı́a C es equilibrada si todo morfismo que es a la vez
monomorfismo y epimorfismo es isomorfismo.

Lema 1.2.4. Sean f : A −→ B, g : C −→ A morfismos en una categorı́a. Se cumplen

1. Si f y g son monomorfismos, f g es monomorfismo. Dualmente, si f y g son epimorfismos,

f g es epimorfismo.

2. Si f g es monomorfismo, g es monomorfismo. Dualmente, si f g es epimorfismo, f es epimor-

fismo.

3. Si f y g son isomorfismos, f g es isomorfismo.

Demostración. Inmediata.

Teorema 1.2.5. El ser isomorfos es una relación de equivalencia en la clase de objetos de una
categorı́a.
14 CAPÍTULO 1. INTRODUCCIÓN A LA TEORÍA DE CATEGORÍAS

Demostración. Inmediata

En vista del resultado anterior, un problema recurrente en matemáticas es dar diferentes ca-
racterizaciones de cuándo dos objetos son isomorfos en una cierta categorı́a concreta. Por ejemplo,
sabemos que para todo cuerpo K, dos K-espacios vectoriales de dimensión finita son isomorfos si y
solo si tienen la misma dimensión. El siguiente resultado es útil para determinar que dos objetos en
una categorı́a no son isomorfos.

Teorema 1.2.6. Los funtores entre categorı́as conservan los isomorfismos. Si F : C −→ D es un

funtor covariante o contravariante y f es un isomorfismo, entonces F (f ) también es un isomorfismo
en D. Más aún, se cumple que F (f )−1 = F f −1 .

Demostración. Sea F : C −→ D un funtor covariante y sea f : A −→ B isomorfismo. Tenemos que

ver que F (f ) : F (A) −→ F (B) es isomorfismo.
Por definición de isomorfismo, existe f −1 el inverso de f y, por definición de funtor,

F (f ) F f −1 = F f f −1 = F (1B ) = 1F (B) .

Y F (f ) es isomorfismo con inverso F f −1 .

El caso contravariante es análogo ya que F (f ) F f −1 = F f −1 f = F (1A ) = 1F (A) .

Ejemplo 1.2.7. En Set, los monomorfismos son las aplicaciones inyectivas y los epimorfismos las
sobreyectivas.

Si dos objetos no son isomorfos bajo un funtor, entonces no son isomorfos en la categorı́a ori-
ginal. Por ejemplo, sabemos que si dos espacios topológicos conexos por caminos tienen grupos
fundamentales no isomorfos, entonces no pueden ser homeomorfos.
Vamos aplicar el teorema anterior para probar la existencia de una categorı́a no equilibrada.

Ejemplo 1.2.8. No es cierto, en general, que un morfismo que sea a la vez monomorfismo y epi-
morfismo es isomorfismo, es decir, no toda categorı́a es equilibrada. La categorı́a de anillos Ring no
es equilibrada. Vamos a ver que el morfismo inclusión ι : Z −→ Q es monomorfismo y epimorfismo,
pero no isomorfismo en la categorı́a de anillos.
ι es monomorfismo. Como ι es inyectivo, es cancelable a izquierda para toda aplicación y, en parti-
cular, para todo morfismo en Ring.
ι es epimorfismo. Sea R un anillo cualquiera y f, g : Q −→ R morfismos de anillos tales que f ι = gι.
Veamos que f = g, es decir, f (x) = g(x) para todo x ∈ Q. Dado x ∈ Q, x = pq con p, q ∈ Z,
   
f (x) = f pq = f (p)f (q)−1 = g(p)g(q)−1 = g pq = g(x).
ι no es isomorfismo. Sabemos que Z y Q no son isomorfos como anillos porque, por ejemplo, Z no es
un cuerpo y Q sı́, pero lo podemos argumentar de manera categórica. Consideramos el funtor olvido
F : Ring −→ Set. Como todo funtor, F conserva isomorfismos. Sabemos que los isomorfismos en
la categorı́a de conjuntos son las aplicaciones biyectivas.
Como F (ι) = ι no es una aplicación sobreyectiva, ι no es un isomorfismo de anillos.

Como observación de lo anterior, tenemos que en categorı́as concretas de conjuntos con estruc-
tura cuyos morfismos son aplicaciones, como las del Ejemplo 1.1.4, los isomorfismos son siempre
biyecciones porque los funtores olvido a Set mandan los isomorfismos en biyecciones. Es decir, los
isomorfismos son siempre morfismos biyectivos. Un contraejemplo del recı́proco es Top ya que po-
demos tener una aplicación continua biyectiva cuya inversa no es continua con lo que no es un
homeomorfismo.
Usaremos el siguiente resultado para probar que ciertos morfismos son isomorfismos.

Proposición 1.2.9. Si un morfismo en una categorı́a es retracción y monomorfismo, es isomorfis-

mo. Dualmente, si un morfismo es sección y epimorfismo, es isomorfismo.
1.2. TIPOS DE OBJETOS Y MORFISMOS 15

Demostración. Por dualidad, basta probarlo para el caso de retracción y monomorfismo. Si f : A −→

B es retracción, existe f 0 : B −→ A tal que f f 0 = 1B . Veamos que f 0 f = 1A .

f (f 0 f ) = (f f 0 )f = 1B f = f = f 1A .

Como f es monomorfismo, f 0 f = 1A y f es isomorfismo.

Vamos a definir ahora lo que son los objetos iniciales, finales y cero que se distinguen esencial-
mente del resto de objetos en una categorı́a por la manera en que se relacionan mediante morfismos.
Uno de las propiedades que deberá cumplir una categorı́a para ser abeliana es que tenga un objeto
cero.
Definición 1.2.10. Un objeto A es un objeto inicial si para todo objeto B existe un único
morfismo f : A −→ B. Dualmente, un objeto A es un objeto final si para todo objeto B existe un
único morfismo f : B −→ A. Un objeto es un objeto cero si es inicial y final.
Ejemplo 1.2.11. En Set el vacı́o es inicial porque para todo conjunto X existe una única aplicación
∅ −→ X, la aplicación vacı́a. Además, los conjuntos unipuntuales {a} son finales porque para cada
conjunto X, se puede definir una única aplicación X −→ {a}.
El módulo cero 0 = {0} es claramente un R-módulo izquierdo sobre cualquier anillo R y objeto cero
en R Mod.
Z con su estructura habitual de anillo es inicial en Ring porque para todo anillo R, si f : Z −→ R
es un morfismo de anillos, entonces debe ser f (n) = n · f (1) = n · 1 con lo que es único. Además, el
anillo cero 0 es final en Ring.
Con la siguiente proposición, podemos comprobar que los objetos iniciales, finales y cero son
esencialmente únicos. En este sentido, si una categorı́a tiene objetos cero, denotaremos como 0 a
uno de ellos.
Proposición 1.2.12. Si en una categorı́a existe objeto inicial, entonces es único salvo isomorfismo
único. Por dualidad, dada la existencia se tiene también la unicidad salvo isomorfismo único para
objetos finales y objetos cero.
Demostración. Sea C una categorı́a y suponemos A, B ∈ |C | objetos iniciales. Por definición, existen
unos únicos morfismos f : A −→ B y g : B −→ A. Si X es un objeto inicial, el único morfismo
h : X −→ X que existe debe ser la identidad 1X . Como f g : A −→ A y gf : B −→ B, debe ser
f g = 1A y gf = 1B y f es isomorfismo (único). Por dualidad, obtenemos el resultado para objetos
finales. El resultado se sigue para el objeto cero.
Con esto vemos, por ejemplo, que el módulo cero en R Mod se distingue desde el punto de vista
categórico del resto de R-módulos no por tener un único elemento, sino por ser esencialmente el
único R-módulo del que llegan y salen morfismos únicos para cada R-módulo.
Aplicando el resultado anterior, vemos que Set no tiene objetos cero porque los unipuntuales
son no vacı́os y que Ring tampoco tiene objetos cero porque Z no es isomorfo al anillo cero 0.
Introducimos ahora una noción relacionada con la de objeto cero.
Definición 1.2.13. Sea C una categorı́a con morfismos cero. Dados dos objetos X, Y , al único
morfismo que factoriza por el objeto cero 0XY : X −→ 0 −→ Y lo llamamos morfismo cero. Para
todos X, Y, Z ∈ |C | y todos f : X −→ Y , g : Y −→ Z, se cumple 0Y Z f = 0XZ = g0XY .
A veces escribiremos los morfismos cero simplemente como 0 cuando no haya confusión.
Ejemplo 1.2.14. Morfismos cero en R Mod. Los morfismos cero son los morfismos de R-módulos
que mandan cada elemento en el elemento neutro.
Introducimos ahora una relación de equivalencia que nos permitirá definir subobjetos y objetos
cociente.
16 CAPÍTULO 1. INTRODUCCIÓN A LA TEORÍA DE CATEGORÍAS

Definición 1.2.15. Dados dos monomorfismos f : A −→ B y g : C −→ B con el mismo codominio,

decimos que f y g son monomorfismos equivalentes si existe un isomorfismo h : A −→ C tal que
f = gh.
Proposición 1.2.16. La relación de ser equivalentes es una relación de equivalencia en la clase de
todos los monomorfismos de C con codominio B.
Demostración. Se sigue de que el inverso y la composición de isomorfismos es isomorfismo.
Definición 1.2.17. Sea B un objeto en una categorı́a. Un subobjeto de B es una clase de equi-
valencia de monomorfismos tal que sus representantes tienen codominio B, es decir, es la clase [f ]
de un monomorfismo f : A −→ B.
Decimos que un subobjeto [f ] de B es menor que otro subobjeto [g] y se denota [f ] ≤ [g] si f
factoriza por g, es decir, si existe h tal que f = gh.
Observamos que en la definición anterior h es único por ser g monomorfismo.
Debemos probar que la definición de ser menor no depende del representante del subobjeto. Una
vez visto esto, en la práctica trabajaremos con los representantes de las clases de equivalencia, es
decir, con los monomorfismos con lo que denotaremos [f ] = f .
Teorema 1.2.18. La relación de ser menor está bien definida y es una relación de orden
Demostración. Inmediata de la definición.
Por dualidad definimos los conceptos de epimorfismos equivalentes, objeto cociente y la
relación de orden dual para los epimorfismos.

1.3. Construcciones universales

En esta sección vamos a dar las definiciones de unas construcciones universales: productos, in-
tersecciones y núcleos. Para explicar intuitivamente qué se entiende por construcción universal,
introducimos ahora las nociones de producto y coproducto en una categorı́a cualquiera que genera-
lizan el producto cartesiano y la unión disjunta de conjuntos respectivamente. Para ello, vamos a
ver que el producto cartesiano cumple una propiedad de existencia y unicidad de un cierto morfismo
que conocemos como propiedad universal del producto.
Dados dos conjuntos X, Y , consideramos el producto cartesiano X × Y y las proyecciones

πX : X × Y −→ X πY : X × Y −→ Y
.
(x, y) 7−→ x (x, y) 7−→ y

Se cumple la siguiente propiedad universal: Si Z es un conjunto y f : Z −→ X y g : Z −→ Y son

dos aplicaciones, existe una única aplicación ϕ : Z −→ X × Y que cumple f = πX ◦ ϕ y g = πY ◦ ϕ.
Es precisamente la aplicación dada por ϕ(z) = (f (z), g(z)) ∈ X × Y para todo z ∈ Z.

(πX ◦ ϕ)(z) = (πX ϕ(z)) = πX (f (z), g(z)) = f (z) ∀z ∈ Z.

(πY ◦ ϕ)(z) = (πY ϕ(z)) = πX (f (z), g(z)) = g(z) ∀z ∈ Z.
La aplicación es única porque está determinada por f y g. Se tiene el siguiente diagrama conmu-
tativo
Z z
f !ϕ g
f !ϕ g

X ×Y (f (z), g(z)) .

πY πX πY πX

X Y f (z) g(z)
1.3. CONSTRUCCIONES UNIVERSALES 17

Podemos generalizar al caso de producto cartesiano de un conjunto infinito de conjuntos. Sea

IQun conjunto y {Xi }i∈I una familia de conjuntos no Q vacı́os. Consideramos el producto cartesiano
Xi y, para cada i ∈ I, la proyección i-ésima πi : Xi −→ Xi , (xi )i∈I 7−→ xi .
i∈I i∈I
Observamos que si Z es un conjunto y para Q cada i ∈ I tenemos una aplicación fi : Q
Z −→ Xi ,
entonces existe una única aplicación ϕ : Z −→ Xi , la dada por ϕ(z) = (fi (z))i∈I ∈ Xi para
i∈I i∈I
todo z ∈ Z, que cumple fj = πj ◦ ϕ para todo j ∈ I.


(πj ◦ ϕ) (z) = πj (ϕ(z)) = πj (fi (z))i∈I = fj (z) ∀j ∈ I, ∀z ∈ Z.
Vamos a generalizar esto definiendo productos en una categorı́a cualquiera de manera que se
cumpla una propiedad universal análoga para los morfismos. Obtenemos la noción de coproducto
por dualidad.
Definición 1.3.1. Sea C una categorı́a
Q y sea {Xi }i∈I una familia de objetos en C . Q
Un producto de {Xi }i∈I es un objeto Xi ∈ |C | y, para cada i ∈ I, un morfismo πi : Xi −→ Xi
i∈I i∈I
tal que si Z es un objeto de Q C y pi : Z −→ Xi es un morfismo para cada i ∈ I, entonces existe un
único morfismo ϕ : Z −→ Xi tal que pi = πi ϕ para todo i ∈ I.
i∈I `
Dualmente, un coproducto de {Xi }i∈I es un objeto Xi ∈ |C | y, para cada i ∈ I, un morfismo
i∈I
Xi tal que si Z es un objeto de C y qi : Xi −→ Z es un morfismo para cada i ∈ I,
`
ui : Xi −→
i∈I `
entonces existe un único morfismo ψ : Xi −→ Z tal que qi = ψui para todo i ∈ I.
i∈I
Los morfismos {πi }i∈I se llaman proyecciones y los {ui }i∈I inyecciones.
Se dice que una categorı́a es una categorı́a con productos pequeños si existe un producto para
cada conjunto de objetos. Se dice que una categorı́a es una categorı́a con coproductos pequeños
si existe un coproducto para cada conjunto de objetos.
Vemos ahora una colección de ejemplos en los que se construyen productos y coproductos en
categorı́as conocidas.
Ejemplo 1.3.2.
1. En la categorı́a de conjuntos, los productos cartesianos son productos y las uniones disjuntas
son coproductos.
Hemos definido producto precisamente de manera que el producto cartesiano con las proyec-
ciones sea un producto. Vamos a ver ahora que la unión disjunta es el concepto dual. Dado un
conjunto {Xi }i∈I ⊂ |Set|, definimos la unión disjunta como el conjunto
( ! )
a [
Xi = (x, i) ∈ Xi × I : i ∈ I, x ∈ Xi .
i∈I i∈I
`
Consideramos para cada i ∈ I, la aplicación ui : Xi −→ Xi , x 7−→ (x, i). Tenemos que ver
i∈I
que es un coproducto en la categorı́a de conjuntos. Suponemos un conjunto
` Z y para cada
i ∈ I, un morfismo fi : Xi −→ Z. Queremos encontrar una aplicación ψ : Xi −→ Z tal que
i∈I
fi = ψ ◦ ui para todo i ∈ I. Dado (x, i) ∈ Xi × {i} , se tiene que cumplir

fi (x) = ψ(ui (x)) = ψ((x, i)).

`
Claramente, debemos definir ψ dada por ψ((x, i)) = fi (x) para todo (x, i) ∈ Xi . Es claro
i∈I
que es aplicación, que es única porque está determinada por {fi }i∈I y que cumple la propiedad
por construcción.
18 CAPÍTULO 1. INTRODUCCIÓN A LA TEORÍA DE CATEGORÍAS

2. Productos en Group
Sean (X, ×), (Y, ) grupos, recordamos que se induce en el producto cartesiano una estructura
de grupo (X × Y, +) operando coordenada a coordenada. Repitiendo lo hecho en el ejemplo
anterior en la categorı́a Set, veamos que el producto cartesiano X × Y con las proyecciones

ιX : X −→ X ×Y ιY : Y −→ X ×Y
x 7−→ (x, 0) y 7−→ (0, y)

es un producto en Group. Si (x, y), (z, t) ∈ X × Y , comprobemos la propiedad universal.

Si (Z, ?) es un grupo y f : Z −→ X y g : Z −→ Y son morfismos de grupos, el morfismo
ϕ : Z −→ X × Y dado por la propiedad universal del producto en Set también es un morfismo
de grupos. Si z, w ∈ Z, entonces

ϕ(z ? w) = (f (z) × f (w), g(z)  g(w)) = (f (z), g(z)) + (f (w), g(w)) = ϕ(z) + ϕ(w).

Además, si X e Y son R-módulos izquierdos, entonces X × Y hereda también una estructura

de R-módulo izquierdo definida coordenada a coordenada que cumple la propiedad universal.

3. Coproductos en Group
Vamos a ver que se pueden construir inyecciones en el producto cartesiano de manera que
también es coproducto en la categorı́a de grupos. Sean (X, ×) , (Y, ) grupos. Definimos

ιX : X −→ X ×Y ιY : Y −→ X ×Y
.
x 7−→ (x, 0) y 7−→ (0, y)

Veamos que X × Y con ιX y ιY es un coproducto en Group. Supongamos que existe un grupo

W y morfismos de grupos wX : X −→ W , wY : Y −→ W cualesquiera. Tenemos que ver que
existe un único morfismo de grupos ψ : X × Y −→ W tal que wX = ψιX y wY = ψιB .
Es fácil comprobar que el morfismo buscado es:

ψ(x, y) = ψ((x, 0) + (0, y)) = ψ(x, 0) + ψ(0, y) = ψ(ιX (x)) + ψ(ιY (y)) = wX (x) + wY (y).

Como en el ejemplo anterior, podemos construir coproductos en R Mod.

Una de las caracterı́sticas principales de las propiedades universales es que dotan de unicidad a
las construcciones salvo un isomorfismo único que, en cierto sentido, determina la construcción. Lo
vemos en el caso de productos y coproductos con la siguiente proposición.

Proposición 1.3.3. Sea C una categorı́a y sea {Xi }i∈I un conjunto de objetos de C . Si tenemos
dos productos de {Xi }i∈I , {πi : X −→ Xi }i∈I y {πi0 : X 0 −→ Xi }i∈I , entonces existe un único iso-
morfismo ϕ : X −→ X 0 tal que πi = ϕπi0 para todo i ∈ I. Es decir, el producto es único salvo
isomorfismo y además existe un único isomorfismo que determina las proyecciones.
Dualmente, si existe un coproducto de {Xi }i∈I , entonces es único salvo isomorfismo y dados dos
coproductos existe un único isomorfismo que determina las inyecciones.

Demostración. Vamos a ver que el resultado está garantizado por la propiedad universal del pro-
ducto.
Sean (X, {pi : X −→ Xi }i∈I ) y (X 0 , {p0i : X 0 −→ Xi }i∈I ) dos productos de {Xi }i∈I . Para cada i ∈ I,
tenemos pi : X −→ Xi y como X 0 es producto, existe un único morfismo ϕ : X −→ X 0 tal que
pi = p0i ϕ para todo i ∈ I. Veamos a ver que ϕ es el isomorfismo único que querı́amos. Para cada
i ∈ I, tenemos p0i : X 0 −→ Xi y como X es producto, existe un único morfismo ϕ0 : X 0 −→ X tal
que p0i = pi ϕ0 para todo i ∈ I. Como ϕ y ϕ0 son únicos, también lo son sus composiciones ϕ y ϕ0 que
cumplen pi = pi ϕ0 ϕ y p0i = p0i ϕϕ0 con lo que deben ser ϕ0 ϕ = 1X y ϕϕ0 = 1X 0 . ϕ es un isomorfismo.
Por dualidad, tenemos el caso para coproductos.
1.3. CONSTRUCCIONES UNIVERSALES 19

A partir de ahora dotamos de unicidad a los productos y a los coproductos en el sentido del
resultado anterior.
En las categorı́as abelianas trabajaremos con morfismos de coproductos finitos en productos
finitos. Para simplificar la notación, vamos a ver que podemos representar estos morfismos como
matrices cuyos elementos son morfismos entre los factores.

Observación 1.3.4.
` Sean {Aj }j∈J , {B
Qi }i∈I dos familias de objetos
`de una categorı́a
Q tal que existen
el coproducto Aj y el producto Bi . Todo morfismo F : Aj −→ Bi determina una
j∈J i∈I j∈J i∈I
única familia de morfismos {fij : Aj −→ Bi }i∈I,j∈J y, recı́procamente, toda tal familia de morfismos
determina un único morfismo del coproducto al producto.
Con las notaciones anteriores, si fijamos i ∈ I, tenemos la familia de morfismos {fij : Aj −→ Bi }j∈J .
Entonces, por la propiedad universal del conúcleo, para cada i ∈ I, existe un único morfismo
a
ψi : Aj −→ Bi
j∈J

tal que para todo j ∈ J, se tiene fij = ψi ι(

j. )
`
Ahora, a partir de la familia de morfismos ψi : Aj −→ Bi existe, por la propiedad universal
j∈J
i∈I
del producto, un único morfismo
a Y
F : Aj −→ Bi
j∈J i∈I

tal que πi F = ψi para todo i ∈ I.

Además, se tiene el recı́proco porque F es el único morfismo tal que πi F ιj = fij para todos i ∈ I y
j ∈ J, es decir, podemos obtener los fij componiendo con las proyecciones y las inyecciones.
Observamos que si n, m ∈ N e I = {1, ! . . . , n} y J = {1, . . . , m} son conjuntos finitos, existe una
` Q
biyección entre HomC Aj , Bi y el conjunto de matrices de dimensión n × m de la forma
j∈J i∈I


fij ij con fij ∈ HomC (Aj , Bi ) con lo que tenemos una representación matricial de los morfismos
de coproductos en productos.
Como abuso de notación en la representación matricial, a veces escribiremos los morfismos identidad
como 1 y los morfismos cero como 0.

Introducimos la definición de intersección que nos permitirá probar que en una categorı́a abeliana
los productos y los coproductos de dos objetos son isomorfos.

Definición 1.3.5. Sea {ui : Ai −→ A}i∈I una familia de subobjetos de un objeto A de una categorı́a.
Una intersección de la familia, es un objeto A0 y un morfismo u : A0 −→ A tal que para cada i ∈ I
existe vi : A0 −→ Ai de manera que u = ui vi y es universal, es decir, todo morfismo B −→ A que
factorice por cada ui con i ∈ I factoriza de manera única por u.

Observamos que el subobjeto dado por una intersección es el mayor subobjeto que es menor que
todos los subobjetos de la familia. De la misma manera que con los productos y los coproductos,
tenemos unicidad salvo isomorfismo único dada por la propiedad universal.
Definimos ahora núcleo y conúcleo que generalizan los conocidos de morfismos de R-módulos,
pero pasarán de ser objetos a ser morfismos. Se requerirá por definición que las categorı́as abelianas
tengan núcleos y conúcleos.

Definición 1.3.6. Sea C una categorı́a con objeto cero 0.

Un núcleo de un morfismo f : A −→ B es un morfismo Ker(f ) : Ker f −→ A tal que f Ker(f ) = 0 y
es universal respecto a esta propiedad. Es decir, si existe g : Z −→ A tal que f g = 0, entonces existe
20 CAPÍTULO 1. INTRODUCCIÓN A LA TEORÍA DE CATEGORÍAS

un único morfismo ϕ : Z −→ Ker f tal que g = Ker(f )ϕ.

Z 0
g
!ϕ
f
Ker f A B
0

Dualmente, un conúcleo de un morfismo f : A −→ B es un morfismo Coker(f ) : B −→ Coker f tal

que Coker(f )f = 0 y es universal respecto a esta propiedad. Es decir, si existe g : B −→ Z tal que
gf = 0, entonces existe un único morfismo ψ : Coker f −→ Z tal que g = ψCoker(f ).

0 Z
g
!ψ
f
A B Coker f
0

Ejemplo 1.3.7.

1. Núcleos en R Mod
Sea R un anillo y sea f : M −→ N un morfismo de R-módulos. Vamos a ver que el submódulo
núcleo Ker f = f −1 (0) con el monomorfismo inclusión ι : Ker f −→ N son un núcleo de f en
R Mod.
Claramente, la composición es el morfismo cero f ι = 0 porque para todo x ∈ Ker f ,

(f ι)(x) = f (ι(x)) = f (x) = 0.

Suponemos que existe un morfismo de R-módulos g : Z −→ M tal que f g = 0, esto es,

f (g(z)) = 0 para todo z ∈ Z, es decir, g(z) ∈ Ker f para todo z ∈ Z. Esto nos permite definir
la aplicación ϕ : Z −→ Ker f , z 7−→ ϕ(z) = g(z). ϕ es trivialmente un morfismo de R-módulos
por serlo g y f . Se cumple que g = ιϕ ya que g(z) = ι(g(z)) para todo z ∈ Z y, además, ϕ es
el único tal morfismo con esa propiedad ya que si existe otro ϕ0 : Z −→ Ker f tal que g = ιϕ0 ,
entonces se tiene ϕ0 (z) = ι(ϕ0 (z)) = g(z) = ι(ϕ(z)) = ϕ(z) para todo z ∈ Z y ϕ0 = ϕ.

2. Conúcleos en R Mod
Sea R un anillo y sea f : M −→ N un morfismo de R-módulos. Vamos a ver que el R-módulo
cociente conúcleo Coker f = N/f (M ) con el epimorfismo proyección π : N −→ N/f (M ) es un
conúcleo de f en R Mod.
Claramente, la composición es el morfismo cero πf = 0 porque para todo m ∈ M ,

π(f (m)) = f (m) + f (M ) = 0 + f (M ).

Suponemos ahora que existe un morfismo de R-módulos g : N −→ Z tal que gf = 0, es decir,

g(f (n)) = 0 para todo n ∈ N . Definimos la aplicación ψ : N/f (M ) −→ Z, n + f (M ) 7−→ g(n)
que está bien definida, es decir, las imágenes no dependen del cambio de representante. Si
n, n0 ∈ N tales que n + f (M ) = n0 + f (M ) ←→ n − n0 ∈ f (M ), existe m ∈ M tal que
f (m) = n − n0 y como gf = 0,

0 = g(f (m)) = g(n − n0 ) = g(n) − g(n0 ) = ψ (n + f (M )) − ψ (n0 + f (M ))

ψ es trivialmente un morfismo de R-módulos por serlo g. Además, se cumple g = ψπ por la

definición de g y ψ es el único tal morfismo con esta propiedad.

Usaremos el siguiente lema recurrentemente.

1.3. CONSTRUCCIONES UNIVERSALES 21

Lema 1.3.8. Sea C una categorı́a con objeto cero 0. Se cumplen:

1. Todo núcleo es monomorfismo y todo conúcleo es epimorfismo.

2. Dado un morfismo f : A −→ B, dos núcleos de f definen el mismo subobjeto de A y dos

conúcleos de f definen el mismo objeto cociente de B. Además, los núcleos y conúcleos son
únicos salvo isomorfismo único.

3. Para todo A objeto de C , el morfismo identidad 1A es un núcleo del único morfismo cero
0A0 : A −→ 0 y, por dualidad, conúcleo del único morfismo cero 00A : 0 −→ A.

4. Si f : A −→ B es monomorfismo, Ker(f ) = 0. Dualmente, si f es epimorfismo, Coker(f ) = 0.

5. Si f : A −→ B es un morfismo con núcleo y g : B −→ C es un monomorfismo, entonces

Ker(f ) también es núcleo de la composición gf . Dualmente, si g es un morfismo con conúcleo
y f es un epimorfismo, entonces Coker(g) también es conúcleo de la composición gf .

Demostración.

1. Sea f : A −→ B un morfismo con núcleo Ker(f ) : Ker f −→ A. Sean α, β : C −→ Ker f tales que
Ker(f )α = Ker(f )β. Tenemos que probar que α = β. Componiendo con f tenemos f Ker(f )α =
0 = f Ker(f )β. Por la propiedad universal del núcleo aplicada a Ker(f )α = Ker(f )β, existe
un único morfismo ϕ : C −→ Ker f tal que se cumplen Ker(f )α = Ker(f )ϕ = Ker(f )β. Como
ϕ es único tal que Ker(f )α = Ker(f )ϕ y tanto α como β lo cumplen, α = β y el núcleo es
monomorfismo.
Por dualidad, todo conúcleo es epimorfismo.

2. Sean k : K −→ A y k1 : K 0 −→ A dos núcleos de un mismo morfismo f : A −→ B. Tenemos

que ver que k factoriza por k 0 y que k 0 factoriza por k. Por definición de núcleo, kf = 0 y
k 0 f = 0. Aplicando la propiedad universal de k 0 como núcleo de f , existe un único morfismo
ϕ : K −→ K 0 tal que k = k 0 ϕ. Simétricamente, existe un único morfismo ψ : K 0 −→ K tal que
k 0 = kψ. Por tanto, k y k 0 son monomorfismos equivalentes. Además, k = kψϕ y k 0 = k 0 ϕψ.
Por unicidad y dada la existencia de los morfismos identidad, debe ser ψϕ = 1K y ϕψ = 10K
con lo que ϕ es isomorfismo y los núcleos son únicos salvo isomorfismo único.
Por dualidad, se tiene el resultado para conúcleos.

3. Sea 0A0 : A −→ 0. Veamos que 0A0 tiene núcleo y es Ker(0A0 ) = 1A . Claramente, 0A0 1A = 0A0 .
Suponemos que existe h : C −→ A tal que 0A0 h = 0C0 . Por la definición de morfismo identidad,
h es el único morfismo tal que 1A h = h con lo que 1A es núcleo de 0A0 .
Por dualidad, 1B es conúcleo de 00B : 0 −→ B.

4. Por dualidad, es suficiente con probar que f : A −→ B monomorfismo implica Ker(f ) = 00A .
Es claro que f 00A = 00B . Suponemos ahora que existe un morfismo g : C −→ A tal que
f g = 0C0 . Por definición de objeto cero, existe un único morfismo 0C0 : C −→ 0. Vemos que
este morfismo nos da la propiedad universal del núcleo, es decir, que g = 00A 0C0 . porque f.
Tenemos que f g = 0CB = f 00A 0C0 y como f es monomorfismo, g = 00A 0C0 .

5. Por dualidad, es suficiente con probarlo para f morfismo con núcleo y g monomorfismo. Es claro
que gf Ker(f ) = 0. Suponemos ahora que existe un morfismo h : Z −→ A tal que gf h = 0ZC .
Entonces tenemos gf h = 0CZ = g0ZB y como g es monomorfismo se anula a izquierda,
f h = 0. Por la propiedad universal del núcleo, existe un único morfismo ϕ : Z −→ Ker f tal
que h = Ker(f )ϕ con lo que se tiene la propiedad universal y Ker(f ) es núcleo de gf .
22 CAPÍTULO 1. INTRODUCCIÓN A LA TEORÍA DE CATEGORÍAS

Gracias al lema anterior, obtenemos una cierta unicidad para los núcleos y conúcleos porque
determinan un único subobjeto. A partir de ahora nos referiremos al núcleo de un morfismo como
único siempre que exista entendiendo que cualquier otro núcleo sera un monomorfismo equivalente.
De la misma manera trataremos a los conúcleos y al resto de construcciones dadas por subobjetos
u objetos cociente.
Recuperamos un resultado conocido en álgebra a partir del lema anterior y que también aplica-
remos más adelante.
Proposición 1.3.9. Sea un anillo R y f : M −→ N un morfismo de R-módulos. Se cumplen en la
categorı́a R Mod:
1. f es monomorfismo si y solo si f es morfismo inyectivo.
2. f es epimorfismo si y solo si f es morfismo sobreyectivo.
Demostración.
1. ⇐= Si es morfismo inyectivo, entonces es morfismo y se cancela a izquierda para toda aplicación,
en particular, también para todo morfismo y, por definición, es monomorfismo.
=⇒ Suponemos f : M −→ N monomorfismo. Por la proposición anterior, su núcleo es el
morfismo cero 0 : Ker f −→ M , en particular, Ker f = 0 y, claramente, f es inyectiva porque
si m, n ∈ M tales que f (m) = f (n), entonces f (m − n) = f (m) − f (n) = 0 y m − n = 0.
2. =⇒ Si es morfismo sobreyectivo, entonces es morfismo y se cancela a derecha por toda aplica-
ción y, en particular, también para todo morfismo con lo que es epimorfismo por definición.
⇐= Suponemos f : M −→ N epimorfismo. Por la proposición anterior, su conúcleo es el mor-
fismo cero 0 : N −→ Coker f , en particular, Coker f = N/f (M ) = 0 con lo que N = f (M ) y f
es sobreyectiva.

Definición 1.3.10. Sea f : A −→ B un morfismo en una categorı́a C .

La imagen de f es el menor subobjeto Im(f ) : Im f −→ B de B por el que factoriza f . Dualmente,
la coimagen de f es el mayor objeto cociente Coim(f ) : A −→ Coim f de A por el que factoriza f .
En la siguiente sección daremos ejemplos de imágenes y coimágenes en las categorı́as de R-
módulos.

1.4. Normalidad
En esta sección relacionamos los conceptos de monomorfismo y epimorfismo con los de núcleo y
conúcleo lo que da lugar a la normalidad y conormalidad, propiedades de toda categorı́a abeliana.
Proposición 1.4.1. Sea α : K −→ A un morfismo en una categorı́a con objeto cero 0. Si α es
núcleo de algún morfismo y tiene conúcleo, α es núcleo de su conúcleo. Dualmente, si α : B −→ C
es conúcleo de un morfismo y tiene núcleo, α es conúcleo de su núcleo.
Demostración. Sea f : A −→ B morfismo y Ker(f ) : Ker f −→ A un núcleo de f con conúcleo
Coker(Ker(f )) : A −→ C. Por definición de conúcleo, Coker(Ker(f ))Ker(f ) = 0. Falta probar la
propiedad universal. Suponemos que existe un morfismo v : Z −→ A con Coker(Ker(f ))v = 0.
Tenemos que ver que existe un único morfismo s : Ker f −→ Z tal que Ker(f ) = vs. Por la propiedad
universal del conúcleo, existe un único morfismo q : C −→ B tal que f = qCoker(Ker(f )).
Tenemos el siguiente diagrama
f
Ker f A B
.
v !q
Z C
1.4. NORMALIDAD 23

Se cumple que f v = qCoker(Ker(f ))v = q0 = 0. Por la propiedad universal del núcleo de f , existe
un único morfismo s : Ker f −→ Z tal que Ker(f ) = vs y Ker(f ) es núcleo de su conúcleo.
El caso del núcleo se tiene por dualidad.
Definición 1.4.2. Sea una categorı́a C con objeto cero. Decimos que C es normal si todo mono-
morfismo es núcleo de algún morfismo. Dualmente, decimos que C es conormal si todo epimorfismo
es conúcleo de algún morfismo.
Aplicando la proposición anterior tenemos que, equivalentemente, una categorı́a es normal si y
solo si todo monomorfismo es núcleo de su conúcleo y que una categorı́a es conormal si y solo si todo
epimorfismo es conúcleo de su núcleo. Visto esto, probamos que R Mod es normal y conormal para
todo anillo R.
Ejemplo 1.4.3.
1. R Mod es normal
Sea R un anillo y f : M −→ N un monomorfismo de R-módulos. Sabemos por la Proposición
1.4.1 que si es núcleo, entonces lo es de su conúcleo. Veamos entonces que f = Ker(Coker(f )).
Sabemos que Coker(f ) = N/f (M ) y el morfismo es la proyección. Claramente, Coker(f )f = 0.
Tenemos que ver que se cumple la propiedad universal. Suponemos que existe un morfismo
g : Z −→ Coker f tal que Coker(f )g = 0, es decir, que se tiene π(g(z)) = g(z) + f (M ) = 0
para todo z ∈ Z. Como f es monomorfismo, para cada z ∈ Z, existe un único mz ∈ M tal que
f (mz ) = g(z). Con esto podemos definir una única aplicación ϕ : Z −→ M , z 7−→ ϕ(z) = mz
que cumple g = f ϕ. Claramente ϕ es un morfismo de R-módulos. y se cumple entonces la
propiedad universal. Por tanto, f es el núcleo de su conúcleo y R Mod es normal.

2. R Mod es conormal
Como en el apartado anterior, sea R un anillo y f : M −→ N un epimorfismo de R-módulos.
Sabemos por la Proposición 1.4.1 que si es conúcleo, entonces lo es de su núcleo. Tenemos que
ver que f = Coker(Ker(f )). Por construcción, Ker f = f −1 (0) y el morfismo es la inclusión.
Sabemos que f Ker(f ) = 0. Falta comprobar la propiedad universal. Suponemos que existe un
morfismo de R-módulos g : M −→ Z tal que gKer(f ) = 0, es decir, g(ι(x)) = g(x) = 0 para
todo x ∈ Ker f . Como f es epimorfismo de R-módulos, f es sobreyectiva y, para todo n ∈ N ,
podemos escoger por el axioma de elección un elemento mn ∈ M tal que f (mn ) = n. Esto
nos permite definir la aplicación ψ : N −→ Z, n 7−→ g(mn ) que es morfismo de R-módulos.
Además, g = ψf por construcción y está bien definida, pues si f (a) = f (b) = x, entonces
a − b ∈ Ker f y g(a − b) = 0, por lo que ψ(x) = g(a) = g(b). La unicidad del morfismo
se deduce de las ecuaciones o usando que f es epimorfismo porque si existe otro ψ 0 tal que
g = ψ 0 f , entonces ψf = g = ψ 0 f y ψ = ψ 0 .
El siguiente resultado nos permitirá probar que las categorı́as abelianas son equilibradas.
Proposición 1.4.4. Sea f : A −→ B un morfismo en una categorı́a C con objeto cero 0.
Si C es normal y f es un monomorfismo con conúcleo cero Coker f = 0, entonces f es isomorfismo.
En particular, toda categorı́a normal es equilibrada.
Si C es conormal y f es un epimorfismo con núcleo cero Ker f = 0, entonces f es isomorfismo. En
particular, toda categorı́a conormal es equilibrada.
Demostración. Como C es normal y f es monomorfismo, f es núcleo de algún morfismo. Por la
proposición anterior, f es núcleo de su conúcleo. Pero Coker(f ) : B −→ 0 es conúcleo de la identidad
1B .
f
A B 0
1B
!g
B
24 CAPÍTULO 1. INTRODUCCIÓN A LA TEORÍA DE CATEGORÍAS

La identidad también es núcleo del conúcleo de f por ser monomorfismo y, por la propiedad universal
del núcleo, existe un único morfismo g : B −→ A tal que f g = 1B . Por tanto, f es retracción y
monomorfismo por lo que es isomorfismo.
El resto de la demostración se sigue por dualidad.

Teorema 1.4.5. Sea f : A −→ B un morfismo en una categorı́a con objeto cero, núcleos, conúcleos,
normal y conormal. Se cumplen

Im (f ) = Ker (Coker (f )) Coim (f ) = Coker (Ker (f ))

Demostración. Sea f : A −→ B un morfismo en una categorı́a abeliana. Veamos que la imagen de

f es el núcleo de su conúcleo. Por definición de imagen, tenemos que probar que Ker (Coker (f )) es
el menor subobjeto de B por el que factoriza f .
Sabemos por definición que Coker (f ) Ker (Coker (f )) = 0 y también Coker (f ) f = 0. Por la propiedad
universal del núcleo, existe un único morfismo η : A −→ K tal que f = Ker (Coker (f )) η. Por tanto,
f factoriza por Coker (Ker(f )).
Suponemos ahora que existe α : S −→ B subobjeto de B por el que f factoriza, es decir, existe
β : A −→ B tal que f = αβ. Tenemos que probar que Ker (Coker (f )) ≤ α, es decir, Ker(Coker(f ))
factoriza por α. Se cumple que Coker (f ) f = 0 y también Coker (α) f = Coker (α) αβ = 0β = 0.
Por la propiedad universal del conúcleo, existe un único ψ : Coker f −→ Coker α tal que Coker (α) =
ψCoker (f ). Ahora, como α : S −→ B es un subobjeto, α = Ker (Coker (α)) por ser monomorfismo.
Tenemos que Coker (α) Ker (Coker (f )) = ψCoker (f ) Ker (Coker (f )) = ψ0 = 0. Por la propiedad
universal del núcleo, existe un único ϕ : K −→ S tal que Ker (Coker (f )) = αϕ.

Coker α
!ψ

f
A B Coker f

β α

S
η
!ϕ

Por tanto, Im (f ) = Ker (Coker (f )) y, por dualidad, Coim (f ) = Coker (Ker (f )).

Como aplicación del teorema anterior y, damos las construcciones de las imágenes y coimágenes
de morfismos de R-módulos.
Ejemplo 1.4.6. Sea f : A −→ B un morfismo de R-módulos para un cierto anillo R. Podemos
calcular las imágenes y las coimágenes de f a partir de las construcciones conocidas de los núcleos
y conúcleos

1. Imágenes en R Mod
Sabemos que la proyección π : B −→ B/f (A) es el conúcleo de f . Ahora, el núcleo de π es la
contraimagen del cero

π −1 (0) = {b ∈ B : b + f (A) = 0} = {b ∈ B : b ∈ f (A)} = f (A)

y el morfismo es la inclusión con lo que Im(f ) : f (A) −→ B como era de esperar.

2. Coimágenes en R Mod
Sabemos que la inclusión ι : f −1 (0) −→
A es el núcleo de f . Ahora, el conúcleo de ι es la
proyección Coker(ι) : A −→ A/ ι(f −1 (0) = A/f −1 (0) = A/Ker f como era de esperar.
Capı́tulo 2

Categorı́as abelianas

Con la teorı́a introducida en el capı́tulo anterior podemos definir y estudiar las categorı́as abelia-
nas. Existen numerosas definiciones equivalentes en la bibliografı́a. La mayorı́a de ellas exige que los
conjuntos de morfismos tengan una estructura de grupo de manera que la composición de morfismos
sea bilineal respecto a la operación de grupo lo que se conoce como estructura aditiva. Sin embargo,
hemos escogido una definición que, a simple vista, es más sencilla porque no requiere esta estructura.
Veremos en este capı́tulo que R Mod es una categorı́a abeliana para cada anillo R y que las cate-
gorı́as abelianas generalizan propiedades de esta categorı́a. Por ejemplo, veremos una generalización
del primer teorema de isomorfı́a. Además, construiremos la estructura aditiva a partir de nuestra
definición y probaremos que es única.

2.1. Definición y propiedades

Definición 2.1.1. Decimos que una categorı́a C es abeliana si cumple:
1. Tiene objeto cero 0.
Q `
2. Para cada X, Y ∈ |C |, existen X Y yX Y.
3. Todo morfismo tiene núcleo y conúcleo.
4. Es normal y conormal.
Observamos que la definición de categorı́a abeliana es autodual, es decir, si una categorı́a es
abeliana, entonces su dual también es abeliana. Esto es consecuencia de que cada condición se sigue
cumpliendo al dualizar. El dual del objeto cero es el objeto cero, el dual del producto es el coproducto,
el del núcleo es el conúcleo y el de normal es conormal.
Como la definición de categorı́a abeliana es autodual, si un teorema es cierto para todas las
categorı́as abelianas, entonces el teorema dual es cierto también para todas las categorı́as abelianas.
Ejemplo 2.1.2. R Mod es una categorı́a abeliana para todo anillo R. En particular, VectK para
todo cuerpo K y Ab son abelianas y también lo son las duales R Mod0 , Vect0K y Ab0 .
En el Ejemplo 1.2.11 hemos visto que tiene objeto cero, en el Ejemplo 1.3.2 que tiene productos
y coproductos de todos los pares de objetos, en el Ejemplo 1.3.7 que todos los morfismos tienen
núcleos y conúcleos y en el Ejemplo 1.4.3 que es normal y conormal.
La categorı́a ModR también es una categorı́a abeliana.
Ejemplo 2.1.3. A partir del Ejemplo 1.2.11, vimos que las categorı́as Set, Ring y Top no tienen
objeto cero por lo que no son abelianas y tampoco lo pueden ser sus duales.
El primer resultado que probamos es una generalización del primer de isomorfı́a en R Mod. Lo
necesitaremos más adelante.

25
26 CAPÍTULO 2. CATEGORÍAS ABELIANAS

Teorema 2.1.4. Primer teorema de isomorfı́a. Sea f : A −→ B un morfismo en una categorı́a

abeliana C . Sabemos que f factoriza por su imagen, es decir, que existe un morfismo ϕ : A −→ Im f
tal que f = Im(f )ϕ. En estas condiciones, ϕ es único y es conúcleo del núcleo de f , es decir, una
coimagen de f . Dualmente, f factoriza por su coimagen, es decir, existe un morfismo ψ : Coim f −→
B. En estas condiciones, ψ es único y es núcleo del conúcleo de f , es decir, una imagen de f .
Además, existe un único isomorfismo f : Coim f −→ Im f tal que f es la composición
f
A Coim f Im f B .

Demostración. Como C es una categorı́a abeliana, tiene núcleos y conúcleos por lo que tenemos el
diagrama siguiente
f
Ker f A B Coker f
.
Coim f Im f
Veamos que f factoriza de manera única por su imagen. Sabemos por la definición de imagen,
que existe un morfismo ϕ : A −→ Im f tal que f = Im(f )ϕ. Además ϕ es único porque Im(f ) es
monomorfismo. Por dualidad, existe un único morfismo ψ : Coim f −→ B tal que f = ψCoim(f ).
Aplicando de nuevo que las imágenes son monomorfismos
Im(f )ϕKer(f ) = 0 = Im(f )0 −→ ϕKer(f ) = 0.
Por la propiedad universal del conúcleo, existe un único morfismo f 1 : Coim f −→ Im f tal que
ϕ = f 1 Coim(f ). Por dualidad, existe un único morfismo f 2 : Coim f −→ Im f tal que ψ = Coim(f )f 2 .
Necesariamente f 1 = f 2 ya que Im(f )f 1 Coim(f ) = Im(f )f 2 Coim(f ) y la imagen es monomorfismo
y la coimagen epimorfismo.
Tomando f 1 = f = f 2 , se tiene el siguiente diagrama conmutativo

f
Ker f A ϕ ψ
B Coker f
.
Coim f Im f
f

Veamos que Ker(f ) es el núcleo de ϕ. Sabemos que ϕKer(f ) = 0. Suponemos que existe un
morfismo p : C −→ A tal que ϕp = 0. Tenemos que probar que existe un único morfismo p0 : C −→
Ker f tal que p = Ker(f )p0 . Componiendo ϕp con la imagen tenemos Im(f )ϕp = f p = 0. Por la
propiedad universal del núcleo, existe un único morfismo p0 : C −→ Ker f tal que p0 = Ker(f )p por
lo que el núcleo de f es núcleo de ϕ. Como todo núcleo es monomorfismo y todo monomorfismo es
núcleo de su conúcleo, ϕ es conúcleo del núcleo de f y es epimorfismo. De manera dual, Coker(f ) es
el conúcleo de ψ.
Falta probar que f es isomorfismo. Como ϕ es epimorfismo y ϕ = f Coim(f ) con Coim(f ) epi-
morfismo, f es epimorfismo. Dualmente, f es monomorfismo.
f es isomorfismo por ser monomorfismo y epimorfismo en una categorı́a abeliana.
Observamos que es, efectivamente, una generalización del primer teorema de isomorfı́a. Si f :
A −→ B es un morfismo de R-módulos, tenemos que
A/Ker f ∼
= f (A)
que es lo mismo que decir que la coimagen de f es isomorfa a la imagen de f .
Los siguientes resultados van encaminados a probar que el producto y el coproducto de dos
objetos en una categorı́a abeliana son isomorfos. Para ello, probamos que dados dos subobjetos de
un objeto, existe el subobjeto intersección que, como sabemos, es el más grande menor que cada uno
de los subobjetos.
2.1. DEFINICIÓN Y PROPIEDADES 27

Teorema 2.1.5. En una categorı́a abeliana todo par de subobjetos de un objeto tiene intersección.
Demostración. Sean f : A −→ C, g : B −→ C dos subobjetos de un objeto C en una categorı́a
abeliana. Buscamos el mayor subobjeto de C menor que f y g. Vamos a probar que la intersección de
f y g es Ker (Coker (g) f ). Como g es monomorfismo, es el núcleo de su conúcleo, B = Ker (Cokerg).
Tenemos además que Coker (g) g = 0 y también Coker (g) f Ker (Coker (g) f ) = 0. Por la propiedad
universal del núcleo, existe un único ϕ : Ker (Coker (g) f ) −→ B tal que gϕ = f Ker (Coker (g) f ).

Ker (Coker (g) f ) A

!ϕ f

B g C Coker g

Suponemos ahora que existen z : Z −→ C subobjeto de C y zA : Z −→ A, zB : Z −→ B

tales que f zA = gzB . Componiendo con Coker (g), tenemos Coker (g) f zA = Coker (g) gzB = 0. Por
la propiedad universal del núcleo, existe un único morfismo ψ : Z −→ Ker (Coker (g) f ) tal que
zA = Ker (Coker (g) f ) ψ. Tenemos que probar que zB = ϕψ. Se cumple que

gϕψ = f Ker (Coker (g) f ) ψ = gzB .

Como g es monomorfismo, zB = ϕψ. Por tanto, Ker (Coker (g) f ) es la intersección de f y g.

Definimos ahora los conceptos de sucesión exacta y sucesión exacta corta. Por ahora solo nos
servirán para caracterizar ciertas propiedades sobre núcleos, monomorfismos, imágenes y sus duales.
En el capı́tulo siguiente relacionaremos todo esto con los funtores.
Definición 2.1.6. Una sucesión de morfismos
fi−1 fi fi+1
··· Ai Ai+1 ···

en una categorı́a abeliana es una sucesión exacta si Im (fi ) = Ker (fi+1 ) para todo i. Una sucesión
exacta de la forma
0 A B C 0
se denomina sucesión exacta corta.
Proposición 2.1.7. Sea una categorı́a abeliana.
f
1. 0 A B es exacta si y solo si f es monomorfismo y si y solo si Ker(f ) = 00A .
f
2. A B 0 es exacta si y solo si f es epimorfismo y si y solo si Im(f ) = 1B .
f
3. 0 A B 0 exacta si y solo si f es isomorfismo y si y solo si Ker(f ) = 00A
e Im(f ) = 1B .
f g
4. 0 A B C es exacta si y solo si Ker(g) = f
f g
5. A B C 0 es exacta si y solo si Coim(f ) = g.
f g
6. 0 A B C 0 es exacta corta si y solo si f es monomorfismo, g es
epimorfismo e Im(f ) = Ker(g).
Demostración. Se prueba directamente aplicando las definiciones.
f g
Corolario 2.1.8. Si A B C es una sucesión exacta en una categorı́a abeliana, se
tienen gf = 0 y Coker(f )Ker(g) = 0
28 CAPÍTULO 2. CATEGORÍAS ABELIANAS

Demostración. Por ser exacta, Ker(g) = Im(f ). Sabemos que todo morfismo factoriza por su imagen
con lo que existe un morfismo α tal que f = Im(f )α y gf = gIm(f )α = gCoker(g)α = 0α = 0. Para
la otra igualdad, Coker(f )Ker(g) = Coker(g)Im(f ) = Coker(f )Ker(Coker(f )) = 0.
En el siguiente resultado y en los sucesivos vamos a utilizar la representación matricial de los
morfismos. Conviene recordar la notación introducida en la Observación 1.3.4.
Q `
Lema 2.1.9. Sean A, B objetos en una categorı́a abeliana y (A B, πA , πB ), (A B, ιA , ιB ) su
producto y coproducto respectivamente. Se cumplen las siguientes igualdades:
 
0BA
Ker (πA ) =

 1A  Coker (ιA ) = 0AB 1B

1B Coker (ιB ) = 1A 0BA
Ker (πB ) =
0AB


Demostración. Por simetrı́a y dualidad basta con probar que Coker (ι A ) = 0AB 1B . Claramente

`
se tiene que 0AB 1B ιA = 0AB
. Supongamos que existe f : A B −→ C tal que f ιA = 0.
Podemos ver f como 0AC f ιB . Tenemos el diagrama

0 C
f
!f ιB
ιA `
A A B
 B

0AB 1B



donde f ιB : B −→ C es el único morfismo que cumple f ιB 0AB 1B = f = 0AB f ιB porque



f ιB 0AB 1B ιA = f ιB 0AB = 0AC ιB 0AB 1B ιB = f ιB 1B = f ιB .


Por tanto, 0AB 1B es el conúcleo de ιA .
`
Proposición 2.1.10. Sean
` A, B dos objetos`y (A B, ιA , ιB ) su coproducto. La intersección
` de los
subobjetos ιA : A −→ A B y ιB : B −→ A B es el morfismo cero 00A ` B : 0 −→ A B.
Demostración. Por la proposición anterior, la intersección está dada por Ker (Coker (ιB ) ιA ). Apli-
cando el lema previo, lo tenemos:



Ker (Coker (ιB ) ιA ) = Ker 1A 0BA ιA = Coker (1A ) = 00A ` B .

Con lo anterior ya podemos demostrar que los productos y los coproductos de dos objetos son
isomorfos.
Q
Teorema
` 2.1.11. Sean A, B objetos en una categorı́a abeliana. El producto A B y el coproducto
A B son isomorfos.
 
1A 0BA ` Q
Demostración. Consideramos el morfismo F = : A B −→ A B. Vamos a probar
0AB 1B
que es isomorfismo. Veamos que su núcleo es cero. Componiendo con el núcleo y con πB , obtenemos
el morfismo cero a Y
Ker F −→ A B −→ A B −→ B.


Tenemos que πB F = 0AB 1B
. Como ιA es monomorfismo, es núcleo de su conúcleo que, por el
resultado anterior, es 0AB 1B . Por la propiedad universal del núcleo, existe un único morfismo
ϕ` : Ker f −→ A de manera que Ker (f ) = ιA ϕ. Ker (f ) está contenido en ιB como subobjeto ` de
A B. Análogamente se tiene que Ker (f ) está contenido en ιA como subobjeto de A B. Por
definición de intersección, Ker (f ) está contenido en la intersección, que es cero por el resultado
anterior. Por tanto, Ker (f ) = 0 y F es monomorfismo.
Por dualidad, F es epimorfismo y, por tanto, isomorfismo.
2.2. ESTRUCTURA ADITIVA 29

Como aplicación de la isomorfı́a, tenemos la construcción siguiente.

L
Observación 2.1.12. Podemos considerar (A B, π1 , π2 , ι1 , ι2 ), que se conoce como
L ∼ sumaQdirec-
ta, para cada par de objetos A, B en una categorı́a abeliana de manera que A B = A B con
proyecciones π1 , π2 y A B ∼
L `
= A B con inyecciones ι1 , ι2 y se cumplen:
π1 ι1 = 1A π1 ι2 = 0BA
.
π2 ι1 = 0AB π2 ι2 = 1B
L
Si ιA , ιB son proyecciones para A B tenemos, por la propiedad universal del coproducto, unos
únicos morfismos πA , πB tales que se tienen los diagramas conmutativos
1A 0AB
A A
ιA ιA
πA πB
B .
L L
A B A A B
ιB ιB

B 0BA
B 1B



Observamos que πA = 1A 0BA , πB = 0AB 1B y que tomando ιA = ιA y ιB = ιB , se cumplen

T
las igualdades anteriores. Además por esas igualdades tenemos que ιA = 1A 0BA y ιB =

T
0AB 1B .
Lo que obtenemos con esta construcción es escoger y fijar unas proyecciones y unas inyecciones
de manera que la representación matricial de los morfismos es única.

2.2. Estructura aditiva

En esta sección vamos a dotar de estructura de grupo abeliano a cada conjunto de morfismos
de una categorı́a abeliana. Además, el elemento neutro será el correspondiente morfismo cero y la
composición de morfismos será bilineal respecto a la operación de grupo.
Definición 2.2.1. Sean A unobjeto
 en una categorı́a abeliana, definimos los morfismos
1A L
Morfismo diagonal ∆ = : A −→ A A.
1A
L
Morfismo suma ∇ = 1A 1A : A A −→ A.
Definición 2.2.2. Para cada par de morfismos α, β : A −→ B en una categorı́a abeliana, definimos
 
α β
∆ L
α+β :A A A B .
 
α
 
β L ∇
α×β :A B B B .
Vamos a probar que, en realidad, los morfismos de la definición anterior son iguales y que nos
dan una estructura de monoide con las propiedades buscadas.
Teorema 2.2.3. Sea C una categorı́a abeliana, A, B ∈ |C | y α, β ∈ HomC (A, B). Se cumple que
α + β = α × β para todos α, β ∈ HomC (A, B) y, además, (HomC (A, B) , +) es un monoide en el
que el morfismo cero es el elemento neutro y tal que la composición de morfismos es bilineal respecto
de +, es decir, tal que se cumplen
α(β + γ) = αβ + αγ ∀α ∈ HomC (B, C) y ∀β, γ ∈ HomC (A, B)
(β + γ)α = βα + γα ∀α ∈ HomC (A, B) y ∀β, γ ∈ HomC (B, C) .
30 CAPÍTULO 2. CATEGORÍAS ABELIANAS

Demostración. Veamos que el morfismo cero 0AB : A −→ B es elemento neutro para + y ×.

α+0=α=0+α α×0=α=0×α



Tenemos que α 0 = απA porque α 0 ιA = απA ιA = α. Entonces, por definición
 
1
α + 0 = απA A = α1A = α.
1A

Análogamente se tiene el resto de igualdades.

Veamos ahora que para todos α : B −→ B 0 y β, γ : A −→ B se tiene

α (β + γ) = αβ + αγ.





Se cumple que α β γ = αβ αγ ya que α β γ ιA = αβ y α β γ ιB = αγ.
Por tanto,    

1A
1A
α (β + γ) = α β γ = αβ αγ = αβ + αγ.
1A 1A
Sean ahora α, β, γ, δ : A −→ B.
     

α+β
α β 1A
(α + β) × (γ + δ) = 1B 1B = 1B 1B =
γ+δ γ δ 1A
      

α β 1A
1A
= 1B 1B = α×γ β×δ = (α × γ) + (β × δ)
γ δ 1A 1A
Si tomamos, α = 0 = δ, entonces β × γ = β + γ con lo que + = ×. Si tomamos γ = 0, tenemos
(α + β) + δ = α + (β + δ) con lo que la operación es asociativa. Si tomamos, α = 0AB = δ, entonces
β + γ = γ + β y la operación es conmutativa.
Hemos probado que, efectivamente, + = × dota a HomC (A, B) de estructura de monoide abeliano.

Para probar que el monoide abeliano es en realidad un grupo abeliano, falta demostrar que
cada morfismo tiene un opuesto. Para hacerlo, vamos a ver primero con los lemas siguientes que el
producto de matrices determina la composición de morfismos.
Lema 2.2.4. Sean las notaciones de la observacoón anterior. Se cumple ι1 π1 + ι2 π2 = 1.
Demostración. Componiendo con las inyecciones, tenemos

(ι1 π1 + ι2 π2 ) ι1 = ι1 π1 ι1 + ι2 π2 ι1 = ι1 + 0 = ι1

(ι1 π1 + ι2 π2 ) ι2 = ι1 π1 ι2 + ι2 π2 ι2 = 0 + ι2 = ι2 .
Pero claramente la identidad cumple 1ι1 = ι1 y 1ι2 = ι2 y, por la propiedad universal del coproducto,
el morfismo es único. Por tanto, ι1 π1 + ι2 π2 = 1.
L L L L
Lema 2.2.5. Si f = (fij ) : A1 A2 −→ B1 B2 , g = (gij ) :L B1 B2 −→ L C1 C2 son morfismos
en una categorı́a abeliana, el morfismo composición gf : A1 A2 −→ C1 C2 está determinado
por el producto de las matrices (gij ) (fij ).
Demostración. Denotamos h = gf . Sabemos que h está representado por una cierta matriz de
morfismos (hij ). Tenemos que probar que (hij ) = (gij )(fij ) = (gi1 f1j + gi2 f2j ). Vamos a denotar
las proyecciones e inyecciones con superı́ndices para diferenciarlas. Aplicando el teorema anterior,
tenemos el morfismo identidad ιB B B B
1 π1 + ι2 π2 = 1 con lo que para todos i, j ∈ {1, 2},

πiA hιC A C A B B B B

C A A B C A B B C
j = πi gf ιj = πi g ι1 π1 + ι2 π2 f ιj = πi gι1 π1 f ιj + πi gι2 π2 f ιj = gi1 f1j + gi2 f2j

como querı́amos probar.

2.2. ESTRUCTURA ADITIVA 31

Ya estamos en condiciones de demostrar la existencia de la estructura aditiva de las categorı́as

abelianas.

Teorema 2.2.6. Existencia de estructura aditiva. Sean A, B objetos de una categorı́a abeliana.
El monoide abeliano (HomC (A, B) , +) es un grupo abeliano.

Demostración. Para ver que es grupo abeliano, solo queda probar la existencia de opuesto para cada
morfismo. Sea α : A −→ B, buscamos un morfismo β : A −→ B tal que α + β = 0. Consideramos el
morfismo  
1A 0BA M M
fα = :A B −→ A B.
α 1B
L
T
Si su núcleo Ker (fα ) : Ker fα −→ A B es a b , entonces la composición es cero que sabemos
por el resultado anterior que está dada por el producto de las matrices por lo que debe ser a = 0 y
aα+b = 0 con lo que b = 0. Como el núcleo es cero, fα es monomorfismo. Razonando matricialmente
con el conúcleo obtenemos de la misma  forma que fα es epimorfismo
 y,por tanto,
 isomorfismo. 
a b 1A 0BA a b 1A 0BA
El inverso está dado por una matriz que cumple = .
c d α 1B c d 0AB 1B
Por tanto, a = 1A , b = 0BA , d = 1B , a + c = 0AB . Y c es opuesto de α.

Releyendo los lemas previos, deducimos que la estructura aditiva es necesariamente única.

Teorema 2.2.7. Unicidad de estructura aditiva. Sean A, B objetos de una categorı́a abeliana
C . El grupo abeliano (HomC (A, B) , +) construido en el teorema anterior es la única estructura de
grupo abeliano definible sobre HomC (A, B) tal que el morfismo cero es el elemento neutro y tal que
la composición de morfismos es bilineal respecto de +.

Demostración. El Lema 2.2.4 y el Lema 2.2.5 se han demostrado sin utilizar la definición concreta de
la suma dada en la Definición 2.2.2, sino únicamente aplicando la estructura de monoide abeliano y
las propiedades respecto de la composición. Por tanto, dados A, B objetos en una categorı́a abeliana
C , si existe otra estructura de monoide (HomC (A, B) , ?) con esas propiedades, entonces podemos
aplicar las tesis de estos lemas y calcular la composición de los morfismos tanto con + como con ?.
Pero entonces,  

α
(α ? β) = 1A 1B = (α + β).
β
Con lo que ? = + y la estructura de monoide y, por tanto, la de grupo abeliano son únicas con esas
propiedades.

Ejemplo 2.2.8.

1. Dado un objeto A de una categorı́a abeliana C , por el teorema anterior, la suma y la composi-
ción de morfismos dotan al conjunto de endomorfismos End(A) = HomC (A, A) de estructura
de anillo no necesariamente conmutativo.
Es claro que es un anillo por el teorema anterior. La no conmutatividad se deduce de que la
composición de morfismos no es conmutativa. Por ejemplo, sabemos que en la categorı́a VectR ,
los endomorfismos de R2 , fijadas unas bases, se representan por matrices y las composiciones
están dadas

por el producto de

matrices. Como el producto de matrices no es conmutativo,
End R2 = HomVectR R2 , R2 no es conmutativo.

2. Todo anillo (R, +, ·) se puede ver como un subanillo del anillo (HomAb (R, R) , +, ◦) de los
endomorfismos en Ab de su grupo abeliano subyacente (R, +).
Definimos la aplicación φ : R −→ HomAb (R, R) de manera que para cada r ∈ R,

φ(r) : R 7−→ R
.
x 7−→ rx
32 CAPÍTULO 2. CATEGORÍAS ABELIANAS

Vamos a probar que φ es un morfismo inyectivo en Ring.

φ está bien definido. Sea r ∈ R, φ(r) es un morfismo de grupos. Si x, y ∈ R, φ(r)(x + y) =
r(x + y) = rx + ry = φ(r)(x) + φ(r)(y).
φ es un morfismo de anillos. Sean r, s ∈ R, tenemos que ver las igualdades de aplicaciones
φ(r + s) = φ(r) + φ(s) y φ(rs) = φ(r) ◦ φ(s). Dado x ∈ R,

φ(r + s)(x) = (r + s)x = rx + sx = φ(r)(x) + φ(s)(x) = (φ(r) + φ(s))(x).

φ(rs)(x) = rsx = r(sx) = φ(r)(φ(s)(x)) = (φ(r) ◦ φ(s))(x).

φ es inyectivo

Ker(φ) = {r ∈ R : φ(r) = 0} = {r ∈ R : rx = 0 ∀x ∈ R} = {r ∈ R : r = 0} = {0}.

Por el primer teorema de isomorfı́a para anillos

R∼
= φ(R) ⊆ HomAb (R, R) en Ring.

Y R se puede ver como un subanillo del anillo de endomorfismos de R como grupo abeliano.
3. Dado un objeto A de una categorı́a abeliana C , para todo objeto B, el grupo abeliano
HomC (A, B) tiene estructura de End(A)-módulo (derecho) con la acción dada por

·: End(A) × HomC (A, B) −→ HomC (A, B)

.
(r, f ) 7−→ r · f = fr

Para todos r, s : R −→ R y todos f, g : A −→ B, se cumplen:

1B · f = f 1B = f .
r · (s · f ) = r · (f s) = (f s) r = f (sr) = (sr) · f .
(r + s) · f = f (r + s) = f r + f s = r · f + s · f .
r · (f + g) = (f + g) r = f r + gr = r · f + r · g.
4. Fijado un objeto A, el funtor Hom(A, −) : C −→ Set se pude considerar como un funtor en
Ab o en ModEnd(A) .
Solo hace falta ver que si f : B −→ C es un morfismo en C , entonces hA (f ) : Hom(A, B) −→
Hom(A, C) es un morfismo de End(A)-módulos con la estructura del apartado anterior. Si
r : A −→ A y α, β : A −→ B son morfismos en C , se cumplen:
hA (f ) (α + β) = f (α + β) = f α + f β = hA (f ) (α) + hA (f ) (β)
hA (f ) (r · α) = hA (f ) (αr) = f αr = r · (f α) = r · hA (f ) (α) que es lo que querı́amos
probar.
Capı́tulo 3

Teorema débil de Mitchell y

categorı́as de funtores

En este capı́tulo vamos a demostar el teorema débil de Mitchell. Para ello, estudiamos primero
funtores entre categorı́as abelianas. Veremos los conceptos de objeto proyectivo y generador que
nos definen funtores exactos y fieles respectivamente. Con esto, podremos enunciar y demostrar el
teorema débil. También explicamos cómo se aplica el teorema de Mitchell para probar teoremas
sobre diagramas en cualquier categorı́a abeliana demostrándolos solo en las categorı́as de módulos.
Además, probaremos que Func(C , D), la categorı́a de funtores entre C y D, es una categorı́a
abeliana si D es abeliana. A parte de la importancia intrı́nseca de la construcción, comentaremos
cómo se relaciona esto con el teorema de Mitchell.
Para demostrar el teorema débil, nos basamos en [5] y escribimos con más detalle su demostración.

3.1. Funtores exactos

Definición 3.1.1. Un funtor covariante F entre categorı́as abelianas se dice exacto a izquierda
si transforma sucesiones exactas cortas
f g
0 A B C 0

en sucesiones exactas de la forma

F (f ) F (g)
0 F (A) F (B) F (C) .

Análogamente, se dice que es exacto a derecha si transforma esas sucesiones exactas cortas en
sucesiones exactas de la forma
F (f ) F (g)
F (A) F (B) F (C) 0 .

Vemos con el siguiente teorema que la exactitud a izquierda y derecha se pueden caracterizar
por el hecho de que el funtor conmute con núcleos y con conúcleos respectivamente. Esto no es
sorprendente en vista de la Proposición 2.1.7.
Teorema 3.1.2. Sea F : C −→ D un funtor covariante entre categorı́as abelianas. Se cumplen:
1. F es exacto a izquierda si y solo si preserva núcleos, esto es, F (Ker(f )) = Ker(F (f )) para
todo morfismo f en la categorı́a C .
2. F es exacto a derecha si y solo si preserva conúcleos, esto es, F (Coker(f )) = Coker(F (f ))
para todo morfismo f en la categorı́a C .

33
34 CAPÍTULO 3. TEOREMA DÉBIL DE MITCHELL Y CATEGORÍAS DE FUNTORES

Demostración. Por dualidad, basta con probar 1.

⇐= Suponemos que F preserva núcleos y vamos a ver que si
f g
0 A B C 0

es una sucesión exacta corta, entonces la siguiente sucesión es exacta.

F (f ) F (g)
0 F (A) F (B) F (C)

Por la Proposición 2.1.7, esto es equivalente a probar que Ker(F (g)) = F (f ). Como preserva núcleos,
sabemos que Ker(F (g)) = F (Ker(g)) = F (f ) porque por exactitud se cumple Ker(g) = f . Por tanto,
F es efectivamente exacto a izquierda.
=⇒ Suponemos que F es exacto a izquierda y tomamos f : A −→ B un morfismo cualquiera en C .
Vamos a ver que F (Ker(f )) = Ker(F (f )). Por el Teorema 2.1.4, tenemos las siguientes sucesiones
exactas cortas
Ker(f ) Coim(f )
0 Ker f A Im f 0

Im(f ) Coker(f )
0 Im f B Coker f 0.
Como por hipótesis F es un funtor covariante exacto a izquierda, las siguientes sucesiones imagen
son exactas
F (Ker(f )) F (Coim(f ))
0 F (Ker f ) F (A) F (Im f )

F (Im(f )) F (Coker(f ))
0 F (Im f ) F (B) F (Coker f ).

Sabemos por la Proposición 2.1.7, que, en particular, se cumple que Ker(F (Coim(f ))) = F (Ker(f ))
y el morfismo F (Im(f )) es monomorfismo. Aplicando el Apartado 5 del Lema 1.3.8, tenemos que
F (Ker(f )) también es núcleo de la composición

F (Im(f ))F (Coim(f ) = F (Im(f )Coim(f )) = F (f )

que era lo que querı́amos probar, F (Ker(f )) = Ker(F (f )).

Definición 3.1.3. Un funtor covariante o contravariante entre categorı́as abelianas es exacto si

transforma sucesiones exactas en sucesiones exactas.

Al igual que el teorema anterior, nos interesa el resultado siguiente que caracteriza la exactitud
en términos de preservar núcleos y conúcleos.

Proposición 3.1.4. Sea F : C −→ D un funtor covariante entre categorı́as abelianas. Son equiva-
lentes:

1. F es exacto.

2. F transforma sucesiones exactas cortas en sucesiones exactas cortas.

3. F es exacto a izquierda y exacto a derecha.

4. F preserva núcleos y conúcleos.

Demostración. 1 =⇒ 2
Dada una sucesión exacta corta

0 A B C 0 ,
3.1. FUNTORES EXACTOS 35

tenemos, por exactitud, que la expresión dada por las imágenes

F (0) F (A) F (B) F (C) F (0)

es una sucesión exacta. Para probar que es exacta corta, solo queda ver que F (0) es un objeto cero
de D. Tomamos la sucesión
1A
0 0 A A
que es exacta porque Ker(1A ) = 0 = Im(0). Como el funtor F es exacto por hipótesis, tenemos la
sucesión exacta
F (0) 1F (A)
F (0) F (A) F (A) .
Por tanto, Im(F (0)) = Ker(1F (A)) = 0 con lo que necesariamente F (0) es objeto cero.
2 =⇒ 3
Claramente, si para toda sucesión exacta corta
0 A B C 0
tenemos que
0 F (A) F (B) F (C) 0
es una sucesión exacta corta, F es exacto a izquierda y exacto a derecha.
3 =⇒ 4
Se deduce a partir de 1 y 2 del Teorema 3.1.2.
4 =⇒ 1
fi−1 fi fi+1
Sea una sucesión exacta cualquiera · · · Ai Ai+1 · · · . Tenemos que probar que
F (fi−1 ) F (fi ) F (fi+1 )
··· F (Ai ) F (Ai+1 ) · · · es una sucesión exacta. Fijamos j, veamos que
Im(F (fj )) = Ker(F (fj+1 )). Sabemos que Im(fj ) = Ker(fj+1 ). Aplicando F , tenemos que
F (Im(fj )) = F (Ker(fj+1 )) −→ F (Ker(Coker(fj ))) = F (Ker(fj )) −→
−→ Ker(Coker(F (fj )) = Ker(F (fj+1 )) −→ Im(F (fj )) = Ker(F (fj+1 )).

Vamos a ver ahora una propiedad de los funtores covariantes fieles entre categorı́as abelianas al
estilo de la Proposición 1.1.10 que nos permitirá interpretar el teorema de Mitchell. La demostración
se basa en el Corolario 2.1.8.
Proposición 3.1.5. Un funtor covariante F : C −→ D entre categorı́as abelianas que preserve el
objeto cero es fiel si y solo si transforma sucesiones no exactas en sucesiones no exactas.
Demostración. Si F es fiel, y suponemos que tenemos una sucesión no exacta, en particular tendre-
mos f : A −→ B y g : B −→ C de manera que gf 6= 0 o Coker(f )Ker(g) 6= 0. Claramente, si se da
el primer caso, entonces la imagen F (A) −→ F (B) −→ F (C) tampoco es exacta. Supongamos que
Coker(f )Ker(g) 6= 0 y que la sucesión imagen es exacta. Podemos considerar Ker(F (g)) y Coker(F (f ))
por los que, aplicando las propiedades universales del núcleo y el conúcleo, existen morfismos α y
β tales que F (Ker(g)) = F (Ker(g))α y F (Coker(f )) = βF (Coker(f )) ya que la sucesión imagen es
exacta. Entonces, tenemos que βCoker(F (f ))Ker(F (g))α = 0 = F (Ker(g)Coker(f )) y, como el funtor
es fiel, Coker(f )Ker(g) = 0, que es una contradicción. Por tanto, la sucesión imagen no es exacta
Uniendo lo visto en la Proposición 1.1.10 y en la proposición anterior, tenemos que si F : C −→ D
es un funtor covariante fiel y exacto, entonces la conmutatividad y la exactitud de los diagramas en
C es equivalente a la de sus imágenes en D.
Sabemos por el Apartado 3 del Ejemplo 2.2.8 que el funtor Hom covariante en un objeto T de
una categorı́a abeliana se puede ver como un funtor en ModEnd (T ) y por tanto es un funtor entre
categorı́as abelianas. Vamos a probar que es exacto a izquierda. Este ejemplo será necesario más
adelante.
36 CAPÍTULO 3. TEOREMA DÉBIL DE MITCHELL Y CATEGORÍAS DE FUNTORES

Ejemplo 3.1.6. Si C es una categorı́a abeliana y T es un objeto, el funtor covariante

Hom(T, −) : C −→ ModEnd(T)

es exacto a izquierda.
f g
Sea 0 A B C 0 sucesión exacta corta. Veamos que la imagen es exacta
    
a izquierda. Tenemos que ver que Ker h (f ) = 0 y que Ker hT (g) = Im hT (f ) .
T

T
Si h : T −→
 A tal que h (f )(h) = 0, entonces f h = 0 y como f es monomorfismo, h = 0 con
lo que Ker h (f ) = 0. Si h : T −→ B tal que hT (g)(h) = 0, entonces gh = 0, pero también
T

gf = 0. Aplicando la propiedad universal del núcleo, existe un único ϕ : T −→ A tal que h = f ϕ,

pero entonces h = hT (f )(ϕ) ∈ Im hT (f ). Si h ∈ Im hT (f ), entonces existe α tal que h = f α.
Componiendo con g, gh = gf α = ghT (f )(α) = hT (gf )(α) = 0 y h ∈ Ker hT (g).

De la misma manera se prueba que el funtor Hom(T, −) : C −→ Ab es exacto a izquierda para

todo objeto T de la categorı́a abeliana C .

3.2. Objetos proyectivos y generadores

Definimos ahora los objetos proyectivos en una categorı́a cualquiera que generalizan los módulos
proyectivos en las categorı́as de módulos.

Definición 3.2.1. Decimos que un objeto P en una categorı́a es proyectivo si dado un epimorfismo
f : A −→ B, todo morfismo g : P −→ B se levanta a un morfismo h : P −→ A, es decir, existe un
tal morfismo h de manera que el diagrama

A
h f

P g B

conmuta, g = f h.

Observamos que la propiedad que define los proyectivos no es una propiedad universal porque el
morfismo h no es necesariamente único.
Vemos ahora ejemplos de proyectivos en Set y R Mod. En el primero de los ejemplos tenemos
ocasión de dar una equivalencia del axioma de elección en términos categóricos que hemos encontrado
sin demostración en [10].

Ejemplo 3.2.2.

1. El axioma de elección es equivalente a que todo conjunto es proyectivo como objeto de Set.
=⇒
Sabemos que en Set los epimorfismos son las aplicaciones sobreyectivas. Sea f : A −→ B
aplicación sobreyectiva y g : X −→ B una aplicación cualquiera. Podemos considerar la familia
de conjuntos
 −1
f (g(x)) : x ∈ X ⊆ P(A).
Por el axioma de elección, existe una función de elección, es decir, una aplicación h : X −→ A
tal que h(x) ∈ f −1 (g(x)). Con esto tenemos que f (h(x)) = g(x) para todo x ∈ X y, entonces,
g = f h y X es proyectivo.
⇐=
3.2. OBJETOS PROYECTIVOS Y GENERADORES 37

Sea una familia no vacı́a de conjuntos no vacı́os {Xi }i∈I donde podemos suponer que los
conjuntos son disjuntos dos a dos. Consideramos la aplicación
S
f: Xi −→ I
i∈I
x 7−→ f (x)

donde f (x) es el único elemento de I tal que x ∈ Xf (x) . Está bien definida porque los conjuntos
son disjuntos dos a dos y es claramente sobreyectiva. Consideramos también la aplicación iden-
tidad 1I : IS−→ I. Como todo conjunto es proyectivo, I es proyectivo y existe una aplicación
h : I −→ Xi tal que f h = 1I , es decir, f (h(i)) = 1I (i) = i para todo i ∈ I. Esto quiere
i∈I
decir, por la definición de f , que h(i) ∈ Xi para todo i ∈ I con lo que se cumple el axioma de
elección.
2. Todo anillo R es proyectivo como R-módulo en R Mod.
Sean f : M −→ N un epimorfismo y g : R −→ N un morfismo de R-módulos. Repitiendo lo
anterior, consideramos la familia de conjuntos no vacı́os
 −1
f (g(r)) : r ∈ R ⊆ P(M ).

Por el axioma de elección, existe una aplicación h : R −→ M tal que h(r) ∈ f −1 (g(r)) para
todo r ∈ R. Se cumple que f h = g como aplicaciones. Si probamos que h es un morfismo de
R-módulos, lo tenemos. Sean r, s, t ∈ R, se cumplen:
h(r + s) = h(r) + h(s)
Se cumple f (h(r + s)) = g(r + s) = g(r) + g(s) = f (h(r)) + f (h(s)) = f (h(r) + h(s)),
pero como h es aplicación, debe ser h(r + s) = h(r) + h(s) por unicidad.
h(rs) = rh(s)
Se cumple f (h(rs)) = g(rs) = rg(s) = rf (h(s)) = f (rh(s)) y de nuevo, como h es
aplicación, h(rs) = rh(s).
h es morfismo tal que f h = g y R es un proyectivo en R Mod.
De la misma manera, R es proyectivo como R-módulo derecho en ModR .
El siguiente resultado es muy importante porque permite caracterizar los objetos proyectivos en
una categorı́a abeliana como aquellos objetos en los que el funtor Hom es exacto. Ası́ se relaciona
una propiedad de funtores como ser exacto con una de objetos como ser proyectivo.
De cara al teorema de Mitchell estaremos interesados en encontrar un objeto proyectivo porque
sabemos que nos determinará un funtor exacto.
Proposición 3.2.3. Sea C una categorı́a abeliana y P un objeto. Son equivalentes:
1. Hom(P, −) es exacto
2. Hom(P, −) es exacto a derecha
3. Hom(P, −) manda epimorfismos en epimorfismos.
4. P es proyectivo.
Demostración. 1 ⇐⇒ 2 ⇐⇒ 3
Tomamos una sucesión exacta cualquiera donde en particular estamos tomando un epimorfismo g
cualquiera
f g
0 A B C 0 .
Probar que
hP (f ) hP (g)
Hom(P, A) Hom(P, B) Hom(P, C) 0
38 CAPÍTULO 3. TEOREMA DÉBIL DE MITCHELL Y CATEGORÍAS DE FUNTORES

es exacta es equivalente a probar que Hom (P, −) es exacto porque sabemos que siempre es exacto
a izquierda.    
Por la misma razón, por ser exacto a izquierda, ya sabemos que Im hP (f ) = Ker hP (g) y solo
falta ver que hP (g) es epimorfismo.
3 ⇐⇒ 4
Vamos a probar que P es proyectivo por la definición. Suponemos que f : A −→ B es un epimorfismo
y g : P −→ B es un morfismo cualquiera. Por hipótesis, hP (f ) : Hom(P, A) −→ Hom(P, B) es
epimorfismo en Ab y la aplicación subyacente entre conjuntos es sobreyectiva. Por tanto, existe un
morfismo α : P −→ B tal que g = hP (f ) (α) = f α y P es proyectivo.
El recı́proco es inmediato, si por ser P proyectivo se tiene que para todo g : P −→ B, existe un
morfismo α : P −→ A tal que g = f α, entonces g = hP (f ) (α) y la aplicación subyacente es
sobreyectiva con lo que el morfismo de grupos abelianos es epimorfismo.
Necesitamos probar el siguiente resultado que dice que el coproducto de objetos proyectivos es
proyectivo.
Proposición `3.2.4. Sea {Pi }i∈I es una familia de proyectivos en una categorı́a abeliana. Si existe
el coproducto Pi , entonces es proyectivo.
i∈I
`
Demostración. Suponemos f : A −→ B un epimorfismo y g : Pi −→ B. Vamos a ver que existe
` i∈I
un morfismo h : Pi −→ B tal que g = f h. Dado i ∈ I, tenemos un morfismo composición con la
i∈I `
inclusión gιi : Pi −→ Pi −→ B. Pero, como Pi es proyectivo, existe un morfismo hi : Pi −→ A
i∈I
que levanta f ιi , con lo que f ιi = ghi . Considerando la familia de morfismos {hi : Pi `
−→ A}i∈I ,
aplicamos la propiedad universal del coproducto por la que existe un único morfismo h : Pi −→ A
i∈I
tal que para cada i ∈ I, hi = hιi .
hi
A
!h
f
`
Pi ιi Pi g B
i∈I

Tenemos entonces gιi = f hi = f hιi para todo i ∈ I.

Observamos que, por la propiedad universal del conúcleo, g es el único morfismo tal que gιi = f hi
para todo i ∈ I. Por tanto, como f h también lo cumple, necesariamente g = f h como querı́amos
probar.
Definimos ahora un nuevo tipo de objeto en una categorı́a cualquiera que, en cierto sentido,
permite distinguir morfismos.
Definición 3.2.5. Un objeto G en una categorı́a es un generador si para cada par de morfismos
distintos f, g : A −→ B, existe un morfismo h : G −→ A tal que f h 6= gh.
Si un objeto en una categorı́a es generador y proyectivo, decimos que es un generador proyectivo.
Ponemos ejemplos en las categorı́as Set, Top y R Mod. El último de los ejemplos lo utilizaremos
más adelante.
Ejemplo 3.2.6.
1. Todo conjunto de un elemento es generador en Set.
Sea {x} un conjunto con un único elemento x. Si f, g : A −→ B son aplicaciones distintas,
existe a ∈ A tal que f (a) 6= g(a). Definimos h : {x} −→ A tal que h(x) = a. Tenemos que
αh 6= βh ya que α(h(x)) = α(a) 6= β(a) = β(h(x)).
3.2. OBJETOS PROYECTIVOS Y GENERADORES 39

2. Todo espacio topológico con un solo elemento es generador en Top

Observamos que dado un conjunto de un elemento {x}, existe una única topologı́a sobre él
{∅, {x}}. Si f, g : (A, τ ) −→ (B, τ 0 ) son aplicaciones continuas entre espacios topológicos
distintas, existe a ∈ A tal que f (a) 6= g(a). Definimos h : ({x}, {∅, {x}}) −→ (A, τ ) dada por
h(x) = a que es continua porque si U ⊆ A, entonces h−1 (U ) = {x} si a ∈ U o h−1 (U ) = ∅ si
a∈/ U . Y h cumple, α(h(x)) = α(a) 6= β(a) = β(h(x)) con lo que αh 6= βh.
3. Todo anillo R es generador como R-módulo en R Mod.
Sean α, β : M −→ N morfismos de R-módulos distintos. Existe m ∈ M tal que α(m) 6= β(m).
Definimos el morfismo
h : R −→ M
.
r 7−→ rm
Tenemos que αh 6= βh porque

α(h(1)) = α(m) 6= β(m) = β(h(1)).

Por tanto, R es generador.

Tenemos que R es generador como R-modulo derecho en ModR considerando el morfismo
h : R −→ M tal que h(m) = mr para todo m ∈ M .
Destacamos que hemos probado que todo anillo R es un generador proyectivo como R-módulo
derecho en la categorı́a ModR que será crucial para demostrar el teorema débil de Mitchell.
El funtor que queremos construir en el teorema debe ser fiel. Vamos a ver que, al igual que los
proyectivos nos dan exactitud en el funtor Hom, los generadores nos aseguran que es fiel.
Proposición 3.2.7. Un objeto G en una categorı́a C es un generador si y solo si el funtor Hom(G, −) :
C −→ Set es fiel.
Demostración.
=⇒ Suponemos que G es un objeto generador y sean f, g : A −→ B tales que hG (f ) = hG (g).
Tenemos que probar que f = g.
Para todo h : G −→ A, se cumple que hG (f )(h) = hG (g)(h) ←→ f h = gh. Como G es generador,
debe ser f = g y Hom(G, −) es fiel.
⇐= Suponemos que Hom(G, −) : C −→ Set es un funtor fiel y f, g : A −→ B morfismos distintos.
Por fidelidad, hG (f ) 6= hG (g) con lo que existe un morfismo h : G −→ A tal que se cumple f h =
hG (f )(h) 6= hG (g)(h) = gh y G es generador.
Con esta proposición justificamos la necesidad de tener un objeto que sea tanto generador como
proyectivo que nos dará un funtor fiel y exacto.
Buscamos una caracterización de los objetos proyectivos en una categorı́a abeliana que sean
también generadores. Para ello, necesitamos este resultado previo.
Proposición 3.2.8. Un objeto G en una categorı́a abeliana es generador si y solo si para todo
morfismo α : A −→ B con α 6= 0, existe un morfismo h : G −→ A tal que αh 6= 0.
Demostración.
=⇒ Es claro por la definición de generador ya que si α : A −→ B no es el morfismo cero, entonces
existe h : G −→ A tal que αh 6= 0h = 0.
⇐= Suponemos ahora que para todo α : A −→ B con α 6= 0 se cumple que existe h : G −→ A tal
que αh 6= 0.
Veamos que G es necesariamente generador. Sean f, g : A −→ B morfismos distintos. Como la
categorı́a es abeliana, podemos considerar el morfismo f − g 6= 0. Por hipótesis, existe un morfismo
h : G −→ A tal que (f − g)h 6= 0 con lo que f h 6= gh y G es generador.
Aplicando la proposición anterior, probamos un resultado que caracteriza qué objetos proyectivos
en una categorı́a abeliana son generadores.
40 CAPÍTULO 3. TEOREMA DÉBIL DE MITCHELL Y CATEGORÍAS DE FUNTORES

Proposición 3.2.9. Si un objeto P en una categorı́a abeliana C es generador, entonces para todo
objeto A 6= 0, se tiene HomC (P, A) 6= 0. Si además P es proyectivo, se cumple también el recı́proco.

Demostración. Probamos la primera afirmación. Suponemos que P es generador y tomamos un

objeto A 6= 0. Tenemos que probar que HomC (P, A) no es el grupo trivial.
Veamos primero que la identidad 1A no es el morfismo cero 0A . Como A 6= 0, A no es inicial.
Necesariamente por la definición de objeto inicial, se tiene que HomC (A, B) = ∅ o HomC (A, B) 6= 0.
Pero como la categorı́a es abeliana, 0 ∈ HomC (A, B) 6= ∅ con lo que existe f : A −→ B tal que
f 6= 0. Componiendo con la identidad tenemos f 1A = f 6= 0 y entonces 1A 6= 0.
Ahora, como P es generador y 1A 6= 0 podemos aplicar la proposición anterior por la que existe un
morfismo g : P −→ A tal que 1A g = g 6= 0 con lo que HomC (P, A) no es el grupo trivial.
Probamos ahora la segunda afirmación suponiendo que P es un objeto proyectivo y que para todo
A 6= 0 se cumple HomC (P, A) 6= 0. Tenemos que ver que P es generador o, equivalentemente, que
el funtor Hom(P, −) es fiel. Suponemos que existen f, g : A −→ B tales que f 6= g y veamos que
hP (f ) 6= hP (g), esto es, existe α : P −→ A tal que hP (f )(α) 6= hP (g)(α)

hP (f )(α) 6= hP (g)(α) ←→ f α 6= gα ←→ (f − g)α 6= 0 ←→ hP (f − g)(α) 6= 0

Vamos a ver entonces que hP (f − g) 6= 0. Como f 6= g, tenemos que Im(f − g) 6= 0. Pero, por
hipótesis, hP (Im(f − g)) 6= 0. Ahora, como P es proyectivo, Hom(P, −) es exacto y conserva núcleos
y conúcleos con lo que también imágenes y se tiene hP (Im(f − g)) = Im(hP (f − g)) 6= 0, por lo tanto
hP (f − g) 6= 0 y, como querı́amos probar, P es generador.

Definimos ahora un tipo de subcategorı́a, las subcategorı́as exactas, que forman parte de las
hipótesis del teorema débil de Mitchell.

Definición 3.2.10. Decimos que una subcategorı́a D de una categorı́a abeliana C es una subca-
tegorı́a exacta si es abeliana y el funtor inclusión i : D −→ C es exacto.

La interpretación y la importancia de que una subcategorı́a de una categorı́a abeliana sea exacta
es que los núcleos y los conúcleos y, por tanto también las imágenes y las coimágenes en la subca-
tegorı́a se construyen igual que en la categorı́a grande porque el funtor inclusión es esencialmente
la identidad y, si se supone exacto, entonces, como vimos en el Teorema 3.1.2 manda núcleos de la
subcategorı́a en núcleos de la categorı́a grande.
A partir de esta definición observamos que el teorema débil de Mitchell es, efectivamente, una
versión débil del teorema de Mitchell porque si para cada categorı́a abeliana pequeña se cumplen
las tesis del teorema, entonces se cumplen también para una subcategorı́a pequeña y exacta de una
categorı́a abeliana ya que es abeliana por definición.

3.3. Teorema débil de Mitchell

Teorema 3.3.1. Teorema débil de Mitchell. Sea C una categorı́a abeliana con un generador
proyectivo y coproductos pequeños. Para toda subcategorı́a plena pequeña y exacta D, existe un
anillo R, no necesariamente conmutativo, y un funtor covariante F : D −→ ModR plenamente fiel
y exacto.

Demostración. Sea C una categorı́a abeliana con un generador proyectivo P y coproductos pequeños
y sea D una subcategorı́a plena pequeña y exacta de C . Consideramos una copia de P por cada
[
α∈ HomD (P , A) = I
A∈|D|

que formalmente indexamos como P α .

Como D es pequeña, |D| es un conjunto y por la definición de categorı́a, también I es un conjunto.
3.3. TEOREMA DÉBIL DE MITCHELL 41

Por tanto, por hipótesis, existe el coproducto del conjunto P α α∈I
.
a
P = Pα
α∈I

P es proyectivo por ser coproducto de objetos proyectivos. Veamos que, además, P es generador y
que para todo A ∈ |C |, existe un epimorfismo pA : P −→ A.
Dado A ∈ |C |, tenemos que probar que existe un morfismo pA : P −→ A con pA 6= 0.
Consideramos el conjunto fα : P α −→ A α∈I donde

fα = α si α tiene codominio A
.
fα = 0 si α no tiene codominio A

Por la propiedad universal del coproducto, existe un único morfismo pA : P −→
A tal que para
todo α ∈ I se tiene pA = αια . Como P es un generador proyectivo, HomC P , A 6= 0 y existe un
morfismo γ : P −→ A con γ 6= 0. Como se tiene γ = pA ιγ y γ 6= 0 debe ser pA 6= 0 con lo que
HomD (P, A) 6= 0 y P es también generador.
Veamos que pA es epimorfismo. Suponemos que existen

r, s : A −→ B morfismos tales que rpA = spA .
Vamos a probar que r = s usando que Hom P , − es fiel. Sea h : P −→ A cualquiera. Se tiene que

rpA = spA −→ rpA ιh = spA ιh −→ rh = sh −→ hP (r)(h) = hP (s)(h).

Por tanto, hP (r) = hP (s) y necesariamente r = s con lo que pA es epimorfismo.

Ahora, sabemos por 1 y 3 del Ejemplo 2.2.8 que R = HomD (P, P ) es un anillo no necesariamen-
te conmutativo con la suma y la composición de morfismos y que para todo A ∈ |D|, el grupo
HomD (P, A) tiene estructura de R-módulo derecho dada por la composición a derecha.
Consideramos el funtor Hom(P, −) : C −→ ModR que es fiel y exacto por ser P generador proyec-
tivo. Como D es una subcategorı́a exacta, el funtor restricción F = Hom(P, −)iD es también fiel y
exacto.
Veamos que es pleno. Sean A, B ∈ |D| y sea g : F (A) −→ F (B). Tenemos que probar que exis-
te un morfismo f : A −→ B tal que F (f ) = g. Consideramos los epimorfismos pA : P −→ B y
pB : P −→ B con los que obtenemos las siguientes sucesiones exactas
pA
0 Ker pA P A 0

pB
P B 0.

Como F es un funtor exacto, tenemos también las sucesiones exactas

F (pA )
0 F (Ker pA ) R F (A) 0

F (pB )
R F (B) 0.

En particular, F (pB ) es un epimorfismo por serlo pB . Como R es proyectivo en ModR y F (pB )

es un epimorfismo, existe por definición un endomorfismo h : R −→ R tal que gF (pA ) = F (pB )h.
Tenemos pues el diagrama conmutativo
F (pA )
0 F (Ker pA ) R F (A) 0
h g

R F (B) 0.
F (pB )
42 CAPÍTULO 3. TEOREMA DÉBIL DE MITCHELL Y CATEGORÍAS DE FUNTORES

Como h es un endomorfismo de R en la categorı́a de R-módulos derechos, h se corresponde a la

acción por un elemento de R, es decir, existe un endomorfismo de anillos α : P −→ P tal que
h(r) = α · r = rα para todo r ∈ R. Obtenemos con esto que F (α) = h por la definición del funtor F .
Fijándonos en el diagrama anterior, tenemos que

F (pB αKer(pA )) = F (pB )F (α)F (Ker(pA )) = gF (pA )F (Ker(pA )) = gF (pA Ker(pA )) = gF (0) = g0 = 0.

Pero como F (0) = 0 y F es un funtor fiel, debe ser pB αKer(pA ) = 0.

Consideramos el diagrama
pA
0 Ker pA P A 0
α
pB
P B 0.

Como pA es epimorfismo, es conúcleo de su núcleo Ker(pA ) con lo que, como pB αKer(pA ) = 0, existe
un único morfismo f : A −→ B tal que f pA = pB α.
Aplicando el funtor F , tenemos

F (pA ) F (pA )
R F (A) R F (A)
F (α) F (f ) además del anterior F (α) g

R B R F (B).
F (pB ) F (pB )

Se tiene que gF (pA ) = F (pB )F (α) = F (f )F (pA ). Como F (pA ) es epimorfismo, F (f ) = g como
querı́amos probar. Por tanto, F : D −→ ModR es un funtor plenamente fiel y exacto.

Ahora vamos a interpretar su utilidad para demostrar teoremas sobre diagramas en cualquier
categorı́a abeliana.
Para ello, vamos a ver como cualquier diagrama formado por un conjunto de objetos en una
categorı́a abeliana se puede ver como el mismo diagrama pero en una subcategorı́a plena, pequeña
y exacta.

Teorema 3.3.2. Dado un conjunto {Ai }i∈I de objetos en una categorı́a abeliana C , existe una
subcategorı́a plena pequeña y exacta D ⊆ C tal que Ai ∈ |D|.

Demostración. Consideramos la subcategorı́a plena D0 ⊆ C tal que Ai ∈ |D0 | para todo i ∈ I.

Definimos ahora una sucesión de subcategorı́as plenas (Dn )n . Supuesta definida Dn , aplicando el
L Ker f y conúcleo Coker f en C para
axioma de elección, podemos escoger unos únicos objetos núcleo
cada morfismo f en Dn y un único producto y coproducto A B en C para cada A, B objetos en
Dn . Definimos Dn+1 como la subcategorı́a plena dada por esos objetos. Definamos la subcategorı́a
∞
plena y pequeña D ⊆ C dada por el conjunto de objetos
S
|Dn |. Esta categorı́a es abeliana porque
n=0

L dos objetos A, B y un morfismo f : A −→ B, tenemos que A, B ∈ |Dn | para algún n, entonces

dados
A B, Ker f , Coker f existen en |Dn+1 |. Como D es una subcategorı́a plena, tenemos los morfismos
Ker(f ), Coker(f ) que son núcleo y conúcleo de f en D. El objeto cero de C está en D por ser el
núcleo de un morfismo identidad. D es normal y conormal por serlo C .

Ahora vamos a justificar cómo estos teoremas permiten transferir resultados sobre diagramas de
módulos al contexto general de las categorı́as abelianas. Para ello, hemos escogido como ejemplo el
lema de la serpiente.
3.3. TEOREMA DÉBIL DE MITCHELL 43

Lema 3.3.3. Lema de la serpiente. Sea el diagrama conmutativo siguiente en una categorı́a
abeliana cuyas filas se suponen sucesiones exactas

A B C 0
f g h .

0 A0 B0 C0

Existe una sucesión exacta Ker f −→ Ker g −→ Ker h −→ Coker f −→ Coker g −→ Coker h de manera
que el diagrama siguiente conmuta.

Ker f Ker g Ker h

A B C 0
f g h

0 A0 B0 C0

Coker f Coker g Coker h

Como es un diagrama finito, el conjunto de los objetos del diagrama genera una subcategorı́a
plena, pequeña y exacta de la categorı́a abeliana por el Teorema 3.3.2. Si suponemos que la ca-
tegorı́a tiene un generador proyectivo y coproductos pequeños, entonces, por el teorema débil de
Mitchell, existe un funtor plenamente fiel y exacto a una cierta categorı́a de módulos. Por tanto,
tomando imágenes en objetos y morfismos, tenemos el correspondiente diagrama en la categorı́a de
módulos. Sabemos, aplicando la Proposición 1.1.10 y la Proposición 3.1.5, que las propiedades de
conmutatividad y exactitud del diagrama son las mismas tanto en la categorı́a de módulos como
en la categorı́a abeliana original. Además, como el funtor es exacto, se preservan los núcleos, los
conúcleos, las imágenes y las coimágenes.
Por tanto, podemos razonar sobre el diagrama como si fuera un diagrama en la categorı́a de
módulos donde los objetos son conjuntos y los morfismos son aplicaciones entre conjuntos. Además,
se puede probar que, con estas hipótesis, se pueden construir morfismos en la categorı́a abeliana a
partir de morfismos en la categorı́a de módulos. Todo esto es lo que se conoce como tomar elementos
en los objetos de una categorı́a abeliana o como diagram-chasing.
Como el lema de la serpiente es cierto en todas las categorı́as de módulos, como se puede ver,
por ejemplo, en [14], entonces también es cierto en todas las categorı́as abelianas con un generador
proyectivo y coproductos pequeños. Aplicando la versión fuerte, tenemos que lema de la serpiente
es cierto en cualquier categorı́a abeliana.
No vamos a demostrar la versión general del teorema. Pero, si nos fijamos, vemos que las únicas
hipótesis extra son que la categorı́a tiene un generador proyectivo y que tiene coproductos pequeños.
Una de las demostraciones del teorema de Mitchell sigue este guión: Partimos de una categorı́a
abeliana pequeña C . El embebimiento de Yoneda nos da un funtor contravariante Y : C −→ L
plenamente
` fiel donde L es una categorı́a de funtores. Se prueba que L es abeliana, Y es exacto
y que A∈|C 0 | Hom(A, −) existe y es generador. De hecho, es una categorı́a de Grothendieck que
no definimos (véase [5], esta noción se introdujo en [6]). En particular, se prueba que L tiene un
cogenerador inyectivo, que es la noción dual de generador proyectivo. Componiendo con el funtor
dualizante, se tiene un funtor covariante Y 0 : C −→ L −→ L 0 donde L 0 tiene un generador
proyectivo. Ahora, por ser C una categorı́a pequeña, se puede probar, tomando imágenes en objetos
y morfismos, que Y 0 (C ) es una subcategorı́a pequeña de L 0 . Aplicando el teorema 3.3.2, Y 0 (C )
está contenida en una subcategorı́a D plena, pequeña y exacta de L 0 con lo que podemos aplicar
el teorema débil de Mitchell y tenemos un funtor covariante D −→ ModR plenamente fiel y exacto
44 CAPÍTULO 3. TEOREMA DÉBIL DE MITCHELL Y CATEGORÍAS DE FUNTORES

a una categorı́a de módulos. Componiendo los funtores, tenemos un funtor covariante C −→ D −→

ModR plenamente fiel y exacto como buscábamos.
Las demostraciones formales de los metateoremas y del teorema de Mitchell, se pueden consultar,
por ejemplo, en [11].
Vamos a desarrollar un ejemplo de un funtor contravariante plenamente fiel de cualquier categorı́a
abeliana pequeña en una categorı́a de funtores que sı́ tiene un generador y coproductos pequeños.
De hecho, este es un paso en la demostración del teorema general. Para ver que tiene generador,
utilizaremos la proposición 3.2.9 con lo que necesitaremos ver que además el generador es proyectivo.
Definición 3.3.4. Un funtor F : C −→ D entre categorı́as abelianas es aditivo si conserva la
suma, es decir, si para todos f, g : A −→ B morfismos en C se tiene F (f + g) = F (f ) + F (g).
Ejemplo 3.3.5. Si A es un objeto en una categorı́a abeliana y f, g : B −→ C son morfismos en
C , entonces hA (f + g)(h) = (f + g)h = f h + gh = hA (f )(h) + hA (g)(h) para todo h : A −→ B y
Hom(A, −) es aditivo.
En el siguiente teorema vemos cómo dotar de estructura abeliana a ciertas categorı́as de funtores.
Teorema 3.3.6. Si C es una categorı́a pequeña y D es una categorı́a abeliana, la categorı́a de
funtores Func (C , D) es abeliana. Si además C es abeliana, la subcategorı́a plena de los funtores
aditivos Add (C , D) también es abeliana.
Demostración. Vamos a probar que Func (C , D) es una categorı́a abeliana. La idea de la demostra-
ción es construir los funtores objeto a objeto aplicando que D es abeliana y por tanto tiene objeto
cero, productos, coproductos, núcleos y conúcleos. Las transformaciones naturales se construirán
componente a componente.
Objeto cero. Definimos 0 : C −→ D tal que transforma cada objeto A de C en el objeto cero
0(A) = 0 de D y cada morfismo f : A −→ B de C en el morfismo cero 0(f ) = 0 : 0 −→ 0.
Tenemos que ver que esto define un funtor covariante . Dado un objeto A en C , 0(1A ) = 0 = 10 ya
que la identidad del objeto cero coincide con el morfismo cero. Dados dos morfismos f : A −→ B,
g : B −→ C tenemos 0(gf ) = 0 = 0(g)0(f ) 0 es un objeto inicial porque dado un funtor F : C −→ D,
sabemos que para todo A objeto de C , existe un único morfismo 0 : 0 −→ F (A) por ser 0 objeto cero
de D. Esto nos da una transformación natural 0 : 0 −→ F . Y por definición de objeto cero, no se
puede definir ninguna otra transformación natural entre esos dos funtores. Se tiene que 0 es objeto
final dualizando el argumento anterior con lo que 0 es un objeto cero de la categorı́a Func (C ,L D).
Productos y coproductos. Sean F, G : C −→ D dos funtores covariantes . Definimos F G:
C −→ D de manera que transforma cada
L
L objeto A en el grupo abeliano F (A) G(A) y cada
morfismo f : A −→ B en el producto (F G) (f ) dado por
 
F (f ) 0 M M
: F (A) G(A) −→ F (B) G(B).
0 G(f )
L
Veamos que F G es un funtor covariante. Dado un objeto A,
   
 M  F (1A ) 0 1F (A) 0
F G (1A ) = = = 1F (A) L G(A) .
0 G(1A ) 0 1G(A)

Dados dos morfismos f : A −→ B, g : B −→ C, se cumple que

    
F (gf ) 0 F (g) 0 F (f ) 0
=
0 G(gf ) 0 G(g) 0 G(f )
L L L
con lo que se preservaLla composición (F G) (gf ) = (F G) (g) (F G) (f ).
Veamos ahora queL F G es tanto un producto como un coproducto de F y G en Func (C , D).
G −→ G donde para cada A objeto de C , el morfismo
L
Definimos πF L :F G −→ F y πG : F
(πF )A : F (A) G(A) −→ F (A) es la correspondiente proyección a F (A) en la categorı́a D que
3.3. TEOREMA DÉBIL DE MITCHELL 45

1 para todo objeto A de C .

es (πF )A = 1 0 . Análogamente, se define πG como (πG )A = 0
Tenemos que probar que son transformaciones naturales.
Dado f : A −→ B, se cumple que el diagrama
L (πF )A
F (A) G(A) F (A)
L
(F G)(f ) F (f )
L (πF )B
F (B) G(B) F (B)

es conmutativo porque
 



F (f ) 0
F (f ) 1 0 = F (f ) 0 = 1 0 .
0 G(f )

Por tanto, πF es una transformación natural y de la misma manera lo es πG . Veamos que cumplen la
propiedad universal del producto. Suponemos que existen transformaciones naturales uF : H −→ F
y uG : H −→ G. Para cada objeto A de C , tenemos los morfismos (uF )A : H(A) −→ F (A)
y (uG )A : H(A) −→L G(A) y por la propiedad universal

del producto, existe

un único morfismo
ϕA : H(A) −→ F (A) G(A) tal que (uF )A = 1 0 ϕA y (uG )A = 0 1 ϕA . Observamos que en
notación matricial  
(uF )A
ϕA = .
(uG )A
Esto constituye una transformación natural. Si f : A −→ B es un morfismo, el diagrama
ϕA L
H(A) F (A) G(A)
L
H(f ) (F G)(f )
L
H(B) ϕB F (B) G(B)

conmuta ya que
        
F (f ) 0 (uF )A F (f )(uF )A (uF )B H(f ) (uF )B
= = = H(f )
0 G(f ) (uG )A G(f )(uG )B (uG )B H(f ) (uG )B
L
donde la igualdad centralLse tiene de que uF y uG son transformaciones naturales de H en F G.
Por tanto, ϕ : H −→ F G es una transformación natural tal que uF = πF ϕ y uG = πG ϕ y es
única con esta propiedad ya que para
L cada objeto, es único el morfismo componente que cumple la
igualdad. Con esto, tenemos que F G es un producto en Func (C , D). La demostración de que es
coproducto es análoga.
Núcleos y conúcleos. Sea α : F −→ G una transformación natural entre los funtores F, G :
C −→ D. Queremos ver que existe un núcleo de α como morfismo de la categorı́a Func (C , D).
Definimos Ker α : C −→ D que transforma cada objeto A en el objeto núcleo Ker αA . Para cada
f : A −→ B, existe un único morfismo ϕf : Ker αA −→ Ker αB tal que el diagrama
αA
Ker αA F (A) G(A)
!ϕf F (f ) G(f ) (3.1)
αB
Ker αB F (B) G(B)

conmuta porque por ser α transformación natural tenemos G(f )αA = αB F (f ) y entonces

αB F (f )Ker(αA ) = G(f )αA Ker(αA ) = G(f )0 = 0

y obtenemos la existencia y unicidad de ϕf por la propiedad universal del núcleo.

Definimos (Ker α) (f ) = ϕf para cada morfismo f en C . Veamos que Ker α : C −→ D es un funtor
46 CAPÍTULO 3. TEOREMA DÉBIL DE MITCHELL Y CATEGORÍAS DE FUNTORES

covariante. Sean f : A −→ B y g : B −→ C dos morfismos, se cumple (Ker α) (1A ) = 1Ker αA porque

debe ser el único morfismo tal que 1F (A) Ker(αA ) = (Ker α) (1A )Ker(αA ). Además, observamos que
el siguiente diagrama conmuta

Ker αA F (A)
(Ker α)(f ) F (f )

(Ker α)(gf ) Ker αB F (B) F (f g)

(Ker α)(g) F (g)

Ker αC F (C)

por la unicidad de la composición y, como F (gf ) = F (g)F (f ), se tiene

(Ker α)(gf ) = (Ker α)(g)(Ker α)(f ).

Definimos ahora Ker(α) : Ker α −→ F como Ker(α)A = Ker(αA ) : Ker αA −→ F (A) para todo objeto
A. Es claramente una transformación natural por la definición del funtor Ker α ya que (3.1) conmuta
por construcción para todo f : A −→ B morfismo.
Vamos a probar que Ker(α) es el núcleo de α en la categorı́a.
Se cumple que αKer(α) es la transformación natural cero 0 que existe siempre por la existencia de
objeto cero y porque para todo objeto A se tiene

αA Ker(α)A = αA Ker(αA ) = 0

con lo que αKer(α) = 0 : Ker α −→ 0 −→ F .

Veamos que se cumple la propiedad universal del núcleo. Suponemos que existe una transformación
natural β : H −→ F tal que αβ = 0. En particular, para todo objeto A, se tiene αA βA = 0
con lo que por la propiedad universal del núcleo, existe un único morfismo ϕA : H(A) −→ Ker αA
tal que βA = Ker(αA )ϕA . Tenemos que probar que esto nos da una única transformación natural
ϕ : H −→ Ker α tal que β = Ker(α)ϕ. Dado un morfismo f : A −→ B, tenemos el diagrama
βA

ϕA
H(A) Ker αA F (A)
H(f ) (Ker α)(f ) F (f )
ϕB
H(B) Ker αB F (B)

βB

donde tenemos que probar que (Ker α)(f )ϕA = ϕB H(f ). Esto es equivalente a que se de

Ker(αB )(Ker α)(f )ϕA = Ker(αB )ϕB H(f )

ya que Ker(αB ) es monomorfismo por ser un núcleo. Usando que Ker α : C −→ D es funtor covariante
y que β : H −→ F es transformación natural lo tenemos porque

Ker(αB )(Ker α)(f )ϕA = Ker(αB )ϕB H(f ) ←→ F (f )βA = βB H(f ).

Como antes, la unicidad de la transformación natural está dada por la unicidad de cada uno de sus
morfismos componentes. Por tanto, ası́ construido, Ker(α) es el núcleo de α.
La construcción de los conúcleos es trivial por dualidad.
Normalidad y conormalidad. Para probar que todo monomorfismo es núcleo de su conúcleo,
vamos a caracterizar primero los monomorfismos en la categorı́a.
3.3. TEOREMA DÉBIL DE MITCHELL 47

Afirmamos que, en Func (C , D), un morfismo α : F −→ G es un monomorfismo si y solo si el mor-

fismo componente αA : F (A) −→ G(A) es monomorfismo en D para todo objeto A de C .
Claramente, si β, γ : H −→ F son tales que βα = γα, se cumple para todo A objeto de C que
αA βA = αA γA y como αA es monomorfismo, βA = γA y entonces β = γ.
Para la otra implicación, consideramos α : F −→ G monomorfismo y razonamos como en la demos-
tración del Teorema 3.3.2. Sabemos por el Lema 1.3.8 que el núcleo es cero, pero por la construcción
de los núcleos y el objeto cero anteriores, tenemos Ker(αA ) = 0 para todo objeto A de C . Como D
es una categorı́a abeliana, aplicando la Proposición 2.1.7, αA es monomorfismo.
La normalidad se sigue de lo anterior. Manteniendo las notaciones, αA es un monomorfismo en una
categorı́a abeliana para todo A objeto de C por lo que es núcleo de su conúcleo. Por la construcción
de los núcleos y conúcleos en la categorı́a de funtores, α es núcleo de su conúcleo.
La prueba de la conormalidad se obtiene por dualidad.
Suponemos ahora que C es abeliana y para probar que la subcategorı́a plena de los funtores
aditivos Add (C , D) es abeliana es suficiente con ver que el funtor cero, los funtores producto y los
núcleos y conúcleos son aditivos. El resto de la demostración es a nivel de morfismos con lo que es
igual que la anterior.
El objeto cero es aditivo. Si f, g : A −→ B son morfismos en C , claramente se cumple 0(f + g) =
0 = 0 + 0 = 0(f ) + 0(g). Si F, G : C −→ D son funtores aditivos, entonces
     
F (f + g) 0 F (f ) 0 F (g) 0
= +
0 G(f + g) 0 G(f ) 0 G(g)
L L L
con lo que (F G) (f + g) = (F G) (f ) + (F G) (g) y el producto es aditivo.
Si α : F −→ G es una transformación natural entre funtores aditivos, el funtor Ker f es aditivo.
Aplicando el funtor a f , g y f + g tenemos que sus imágenes son los únicos morfismos tales que
gKer(αA ) = Ker(αB )(Ker α)(f )
f Ker(αA ) = Ker(αB )(Ker α)(g)
(f + g)Ker(αA ) = Ker(αB )(Ker α)(f + g)
Pero sumando las dos primeras igualdades, tenemos

(f + g)Ker(αA ) = Ker(αB )((Ker α)(f ) + (Ker α)(g)).

Esto junto a la tercera igualdad nos da

Ker(αB )(Ker α)(f + g) = Ker(αB )((Ker α)(f ) + (Ker α)(g)).

y por la propiedad universal del núcleo, debe ser (Ker α)(f + g) = (Ker α)(f ) + (Ker α)(g).
La aditividad del conúcleo se obtiene por dualidad.
Es fácil comprobar que las categorı́as del teorema anterior tienen coproductos pequeños ya que
dado un conjunto de objetos, podemos construir el coproducto objeto a objeto.
En la siguiente observación vamos a ver cómo es la estructura aditiva de estas categorı́as de
funtores. La idea es la misma que en el teorema anterior, la suma de las transformaciones naturales
será la suma componente a componente.
Observación 3.3.7. Sea C una categorı́a pequeña y D una categorı́a abeliana cualquiera. Si α, β :
F −→ G son dos transformaciones naturales, definimos α + β : F −→ G como la suma de los
morfismos (α + β)A = αA + βA para cada objeto A de C . Es una transformación natural porque
para todo f : A −→ B morfismo en C , se cumple

G(f )(αA + βA ) = G(f )αA + G(f )βA = αB F (f ) + βB F (f ) = (αB + βB )F (f )

Y, claramente, la composición de transformaciones naturales se distribuye sobre la suma porque lo

hace a nivel de morfismos para cada objeto. Por tanto, esta operación define la única estructura
aditiva existente en la categorı́a de funtores Func(C , D).
48 CAPÍTULO 3. TEOREMA DÉBIL DE MITCHELL Y CATEGORÍAS DE FUNTORES

En los siguientes resultados vemos cómo se aplica el lema de Yoneda en el caso concreto de que
la categorı́a sea abeliana y cómo nos da el funtor contravariante que buscábamos.
Proposición 3.3.8. Sea A un objeto en una categorı́a abeliana C y sea F : C −→ Ab un fun-
tor covariante. La biyección Φ : Nat(Hom(A, −), F ) −→ F (A) dada por el lema de Yoneda es un
isomorfismo de grupos abelianos.
Demostración. Claramente el dominio y el codominio son grupos abelianos y por el lema de Yoneda,
es una biyección. Falta ver que es un morfismo de grupos.
Si α, β : Hom(A, −) −→ F son transformaciones naturales, entonces
Φ(α + β) = (α + β)A (1A ) = (αA + βA )(1A ) = αA (1A ) + βA (1A ) = Φ(α) + Φ(β)

Para terminar, vemos que la categorı́a de funtores aditivos tiene un generador proyectivo.
Teorema 3.3.9. Si C es una categorı́a abeliana pequeña, existe un funtor contravariante Y : C −→
Add (C , Ab) plenamente fiel.
Demostración. Aplicando el embebimiento de Yoneda, existe un funtor contravariante Y : C −→
Func (C , Set) plenamente fiel dado por A 7−→ Hom(A, −) y
f : A −→ B 7−→ Hom(f, −) : Hom(B, −) −→ Hom(A, −)
Claramente, podemos considerar Y como un funtor en Add(C , Ab) porque para todo f : A −→ B
la imagen Y(f ) = Hom(f, −) es una transformación natural entre funtores aditivos.
Teorema 3.3.10. Si C es una categorı́a abeliana pequeña, el coproducto
`
Hom(A, −) es un
A∈|C |
generador proyectivo en Add(C , Ab).
Demostración. Si probamos que para cada objeto A de C el funtor Hom(A, −) es`proyectivo como
objeto de Add(C , Ab), entonces aplicando la Proposición 3.2.4 tenemos que Hom(A, −) es
A∈|C |
proyectivo por ser coproducto de proyectivos.
Sea A objeto de C . Veamos equivalentemente por la Proposición 3.2.3 que el funtor Hom covariante
en Hom(A, −) que denotamos Nat(Hom(A, −), −) : Add(C , Ab) −→ Ab manda epimorfismos en
epimorfismos.
Si α : F −→ G es un epimorfismo, tenemos que ver que la transformación natural Nat(Hom(A, −), α)
es epimorfismo. Observamos que los isomorfismos de grupos ΦF y ΦG dados por el lema de Yoneda
hacen el siguiente diagrama conmutativo.
ΦF
Nat(Hom(A, −), F ) F (A)
Nat(Hom(A,−),α) αA

Nat(Hom(A, −), G) ΦG
G(A)

Si η : Hom(A, −) −→ F es una transformación natural, entonces

ΦG (Nat (Hom (A, −) , α) (η)) = ΦG (αη) = (αη)A (1A ) = αA (ηA (1A )) = αA (ΦF (η))
Como α es epimorfismo, αA es epimorfismo como vimos en la demostración del Teorema 3.3.6 y
G son isomorfismos de grupos, necesariamente Nat(Hom(A, −), α) es un epimorfismo y
como ΦF , Φ`
el objeto Hom(A, −) es proyectivo. Por la Proposición 3.2.9 basta con probar que si F es un
A∈|C |
funtor tal que  
a
Nat  Hom(A, −), F  = 0
A∈|C |
3.3. TEOREMA DÉBIL DE MITCHELL 49

entonces F = 0.
Tenemos el isomorfismo de grupos
!
` `
Ψ : Nat Hom(A, −), F −→ Nat(Hom(A, −), F )
A∈|C | A∈|C |
α 7−→ (αιA )A∈|C |
`
ya que si (βA )A∈|C | ∈ Nat(Hom(A, −), F ), por la propiedad universal del coproducto, existe
A∈|C |
un único α tal que αιA = βA , esto es, tal que Ψ(α) = (βA )A y Ψ es biyectiva. Además, es claramente
un morfismo de grupos porque

Ψ(α + β) = ((α + β)ιA )A = (αιA )A + (βA ιA )A = Ψ(α) + Ψ(β)

`
para cada par de transformaciones naturales α, β : Hom(A, −) −→ F .
A∈|C |
Tenemos entonces
 
a a a
Nat  Hom(A, −), F  = Nat(Hom(A, −), F ) = F (A)
A∈|C | A∈|C | A∈|C |

donde la última igualdad es consecuencia directa del lema de Yoneda que nos da isomorfismos de
grupos `
para cada objeto.
Pero F (A) = 0 si y solo si F (A) = 0 para todo objeto A de C con lo que F = 0.
A∈|C |
50 CAPÍTULO 3. TEOREMA DÉBIL DE MITCHELL Y CATEGORÍAS DE FUNTORES
Bibliografı́a

[1] Atiyah, M. F., Macdonald I.G. (1969). Introduction to Commutative Algebra. Londres:
Addison-Wesley Publishing Co.
[2] Buchsbaum, D. A. (1955) Exact categories and duality. Trans. Amer. Math. Soc, 80: 1-34.
doi:10.2307/1993003

[3] Cartan, H., Eilenberg S. (1999) Homological algebra. With an appendix by David A. Buch-
baum. Princeton, Nueva Jersey: Princeton University Press [Reedición del original editado en
Princeton en 1956].
[4] Eilenberg, S., Mac Lane, S. (1945). General Theory of Natural Equivalences. Trans. Amer.
Math. Soc, 78: 231-294. doi:10.2307/1990284.
[5] Freyd, P.J. (1964). Abelian Categories, an Introduction to the Theory of Functors. Nueva York:
Harper & Row.
[6] Grothendieck, A. (1957) Sur quelques points d’algèbre homologique. The Tohoku Mathematical
Journal. Second Series, 9: 119-221. doi:10.2748/tmj/1178244839.

[7] Mac Lane, S. (1997) The PNAS way back then. Proc. Natl. Acad. Sci. U.S.A., 94: 5983–5985.
Recuperado de [Link]
[8] Mac Lane, S. (1998). Categories for the Working Mathematician. Second Edition. Nueva York:
Springer-Verlag.

[9] Mitchell, B. (1965). Theory of Categories. Londres-Nueva York: Academic Press.

[10] nLab. (2017). Projective object. [Versión 10 mayo, 2017]. Última consulta: 13 octubre, 2019.
Recuperado de [Link]
[11] Pareigis, B. (1970). Categories and Functors. Londres-Nueva York: Academic Press.

[12] Popescu, N. (1973) Abelian Categories with Applications to Rings and Modules Londres-Nueva
York: Academic Press.
[13] Schubert, H. (1972). Categories. Nueva York-Heidelberg: Springer-Verlag.
[14] Solian, A. (1977). Theory of Modules. (An Introduction to the Theory of Module Categories).
Londres-Nueva York-Sydney: Editura Academiei, Bucharest; Wiley-Interscience [John Wiley
& Sons, Ltd.].
[15] The Stacks Project Authors. (2019). Stacks Project. Recuperado de: [Link]
[Link].
[16] Vakil, R. (2017) The Rising Sea. Foundations of Algebraic Geometry. [Versión 18 noviembre,
2017]. Recuperado de: [Link]

51