Tarea 1 de Categorı́as

1. Sea Haus la categorı́a de espacios topológicos Hausdorf y funciones continuas entre ellos. Sea
f : X −→ Y un morfismo en Haus. Demuestra que f es un epimorfismo en Haus si y sólo si
f (X) es denso en Y .
2. Sea Sets la categorı́a de conjuntos, Sets0 la categorı́a de conjuntos con un punto base y
Top la categorı́a de espacios topológicos, Top0 la categorı́a de espacios topológicos con un
punto base. Demuestra que estas categorı́as tienen igualadores, coigualadores, pullbacks y
pushouts, intersecciones, uniones, imágenes, productos, coproductos. Demuestra que Sets0 y
Top0 tienen kerneles y cokerneles.
3. Consideremos un pullback
f0
X /Y

α β
 f 
W / Z,

en la categorı́a Haus. Demuestra que si f es un epimorfismo, no necesariamente f 0 es un

epimorfismo.
4. Sea Ring la categorı́a de anillos conmutativos con 1 y morfismos unitarios entre ellos. Sea
R un dominio entero y Q = Frac(R) su campo de fracciones, sea ϕ : R −→ Q el morfismo
canónico. Demuestra que ϕ es un monomorfismo y un epimorfismo en la categorı́a Ring pero
no es un isomorfismo.
5. Sea Ring la categorı́a de anillos conmutativos con 1 y morfismos unitarios entre ellos. De-
muestra que {0} es un objeto final en Ring y que Z es un objeto inicial en Ring.
6. Demuestra que en Sets el conjunto vacı́o es un objeto inicial y cualquier conjunto con un sólo
elemento {∗} es un objeto final. Demuestra que Sets no tiene objero cero.
7. Demuestra que Sets0 y Top0 tienen objeto cero.
8. Sea Ring la categorı́a de anillos conmutativos con 1 y morfismos unitarios entre ellos. Sean
ϕ1 : R −→ A1 y ϕ2 : R −→ A2 dos morfismos de anillos y consideremos el producto tensorial
A1 ⊗R A2 (el producto tensorial de A1 y A2 como R-módulos)
(a) Demuestra que A1 ⊗R A2 es un anillo conmutativo con 1.
(b) Demuestra que hay morfismos de anillos: λ1 : A1 −→ A1 ⊗R A2 y λ2 : A2 −→ A1 ⊗R A2 .
(c) Demuestra que el siguiente cuadrado
ϕ1
R / A1

ϕ2 λ1
 
A2 / A1 ⊗R A2
λ2

es un pushout en la categorı́a Ring.

1 Categorı́as abelianas
Prof: Valente Santiago Vargas
Ayudante: Miguel Ignacio Romero
 Tarea 1 de Categorı́as

9. Sea Ring la categorı́a de anillos conmutativos con 1 y morfismos unitarios entre ellos. Sean
ϕ1 : R −→ A1 y ϕ2 : R −→ A2 dos morfismos de anillos y considera un diagrama de pushout
ϕ1
R / A1

ϕ2 λ1
 
A2 / A1 ⊗R A2 .
λ2

Demuestra que si ϕ1 es mono, no necesariamente λ2 es mono.

10. Demuestra que las siguientes categorı́as Sets, Top, Ab, Gr, Ring el igualador de dos mor-
fismos f, g : A −→ B es el la inclusión i : K = {a ∈ A | f (a) = g(a)} −→ A, esto es, por
ejemplo en la categorı́a Ring K es un subanillo y i es un morfismo de anillos.

11. Sea C una de las siguientes categorı́as, Sets, Top, Ab, Gr, Ring. Sean α1 : A1 −→ A y
α2 : A2 −→ A morfismos en C. Consideremos P := {(a, b) ∈ A1 × A2 | α1 (a) = α2 (b)} y
funciones p1 : P −→ A1 definida por p1 (a, b) = a y p2 : P −→ A2 definida por p2 (a, b) = b.

(a) Demuestra que p1 y p2 son morfismos en C.

(b) Demuestra que el siguiente diagrama es un pullback en C
p1
P / A1

p2 α1
 
A2 /A
α2

12. Demuestra que Haus tiene coigualadores y pushouts.

13. Consideremos la categorı́a Sets. Sea {Ai }i∈I una familia de subconjuntos de un conjunto A
y sea µi : Ai −→ A la función inclusión para cada i ∈ I. Sea C un subconjunto de A y
µ : C −→ A la inclusión. Demuestra que C es la intersección (conjuntista) de los conjuntos
Ai si y sólo si:

(a) Existen inclusiones vi : C −→ Ai . En particular el siguiente diagrama conmuta para

todo i ∈ I
µ
C /A
>
vi
µi

Ai .

(b) Si B es otro subconjunto de A (con inclusión µ0 : B −→ A) tal que B ⊆ Ai para todo

i ∈ I con inclusiones vi0 : B −→ Ai , entonces existe inclusión θ : B −→ C. En particular
el siguiente diagrama conmuta
µ0
B /A
>
θ µ

C.

2 Categorı́as abelianas
Prof: Valente Santiago Vargas
Ayudante: Miguel Ignacio Romero
 Tarea 1 de Categorı́as

14. Consideremos la categorı́a Sets. Sea {ui : Ai −→ A}i∈I una familia de subconjuntos de un
conjunto A. Sea C un subconjunto de A con inclusión µ : C −→ A. Demuestra que C es la
unión (conjuntista) de los subconjuntos Ai si y sólo si

(a) Existen inclusiones γi : Ai −→ C tal que el siguiente diagrama conmuta para toda i ∈ I
ui
Ai /A
>
γi
µ

C

(b) Si f : A −→ B es una función y cada ui : Ai −→ A es llevado a algún subconjunto

θ : B 0 −→ B de B por f , entonces también µ : C −→ A es llevado a θ : B 0 −→ B por f .

Sea {Gi }i∈I una familia de subgrupos de un grupo abeliano G. Describe la unión categórica
15. S
i∈I Gi en la categorı́a Ab.

16. Sea C una categorı́a arbitraria. Sea {ui : Ai −→ A}i∈I S una familia
S de subobjetos de A y
f S: A −→ B un morfismo. S Demuestra
S que si existen i∈I Ai y i∈I f (Ai ), entonces existe
f ( i∈I Ai ) y además f ( i∈I Ai ) ' i∈I f (Ai ).

17. Sea C una categorı́a arbitraria. Sea f : A −→ B unT morfismo T y {u−1

i : Bi −→ B}i∈I una
familia de subobjetos de B. Demuestra que si existen B
i∈I i y i∈I f (Bi ), entonces existe
−1 −1 −1
T T T
f ( i∈I Bi ) y además f ( i∈I Bi ) ' i∈I f (Bi ).
Q
18. Sea ui : Ai −→ A tal que ui = Ker(pi ) donde pi : A −→ Bi . Sea p : A −→ i∈I Bi , el
morfismo inducido por los pi . Demuestra que u : K −→ A es la intersección de la familia
{ui }i∈I si y sólo si u = Ker(p).

19. Sea C una categorı́a con kerneles y cokerneles, normal y conormal. Sea f : A −→ B un
epimorfismo y u : B 0 −→ B un subobjeto de B. Demuestra que f (f −1 (B 0 )) = B 0 .

20. Sea C una categorı́a abeliana y consideremos el siguiente diagrama de pullback

β1
P / A1

β2 α1
 α2 
A2 / A.

Demuestra que si α1 o α2 es un epimorfismo, entonces el cuadrado anterior también es un

pushout.

21. Sea {Ri }ni=1 una familia finita de anillos conmutativos con 1, demuestra que R1 ⊗Z R2 ⊗Z
. . . ⊗Z Rn es el coproducto en la categorı́a Ring.

22. Consideremos la categorı́a Top0 y dos objetos (X, x0 ) y (Y, y0 ) el producto cuña X ∨ Y es el
espacio X ∨Y := X qY / ∼, donde ∼ es la relación x0 ∼ y0 y X ∨Y tiene la topologı́a tal que la
proyección π : X q Y −→ X ∨ Y es continua. Se tienen funciones canónicas u1 : X −→ X ∨ Y
y u2 : Y −→ X ∨ Y . Demuestra que tales funciones son un coproducto para (X, x0 ) y (Y, y0 )
en Top0 .

3 Categorı́as abelianas
Prof: Valente Santiago Vargas
Ayudante: Miguel Ignacio Romero
 Tarea 1 de Categorı́as

23. Demuestra que Gr es una categorı́a que tiene coproductos. En este caso el coproducto de
una familia de grupos {Gi }i∈I es llamado producto libre de grupos y es denotado por
P := ∗i∈I Gi , si la familia es finita escribimos G1 ∗ G2 ∗ . . . ∗ Gn .

24. Sean i : A −→ B y j : A −→ C dos morfismos en Gr. Sea P := (B ∗ C)/N donde N es el

subgrupo normal de B ∗ C generado por {i(a)j(a−1 ) | a ∈ A} y consideremos la proyección
canónica π : B ∗ C −→ (B ∗ C)/N . Demuestra que el siguiente diagrama es un pushout

A
i /B

j p
 
C / (B ∗ C)/N
q

en Gr con p := π ◦ iB : B −→ (B ∗ C)/N y q := π ◦ iC : C −→ (B ∗ C)/N , donde iB y iC

son las inclusiones en el coproducto B ∗ C (ver ejercicio anterior).

25. Sea C una categorı́a y consideremos el siguiente diagrama

A /B /C

  
X /Y /Z

donde los dos cuadrados son un pullback. Demuestra que el rectángulo exterior es un pullback
(sin ninguna condición sobre el morfismo C −→ Z).

26. Sea C en una categorı́a exacta y consideremos una sucesión exacta

f g
0 /A /B /C / 0.

Demuestra que f es un split-mono si y sólo si g es un split-epi.

27. Consideremos un diagrama conmutativo y exacto en la categorı́a Ab

0 /A /B /C /0

α β γ
  
0 / A0 / B0 / C0 /0

Demuestra que existe una sucesión exacta larga

0 → Ker(α) → Ker(β) → Ker(γ) → Coker(α) → Coker(β) → Coker(γ) → 0.

4 Categorı́as abelianas
Prof: Valente Santiago Vargas
Ayudante: Miguel Ignacio Romero