42

(Octava clase : Categorías de flechas. Funtores Representables y

otros
Categorías de diagramas. A continuación, un ejemplo de construcción de una cate-
goría a partir de otra. Dada una categoría C, se construye otra en la que los objetos
son diagramas de C.

Ejemplo 165. Dada una categoría C y dos objetos A y B, se puede formar la categoría
C/AB cuyos objetos son diagramas de la forma

C
a

b
"
!

A B

Una flecha h ∈ C/AB entre dos objetos (diagramas)

C C!

h
a!

"

b
!
a

b
"

"
!

A B A B
h
es una flecha C " C ! de la categoría original C tal que el diagrama

C
a

a! # b!
"
!

A! C! " B

de la categoría original C conmuta.

Formalmente, podríamos definir C/AB como sigue:

(C/AB)0 = {(a, b) | a, b ∈ C1 ∧ dom(a) = dom(b) ∧ cod(a) = A ∧ cod(b) = B},
C/AB((a, b), (a! , b! )) = {h ∈ C(dom(a), dom(a! )) | a = a! ◦ h ∧ b = b! ◦ h},
la composición de C/AB es la de C,
la identidad de C/AB es la de C.

Ejercicio 166. Comprobar que para toda categoría C y todo par de objetos A y B de
C, C/AB es una categoría.
 43

Un objeto terminal de la categoría C/AB es un objeto (diagrama de C)

C

b
"
!
A B
tal que para todo otro objeto (diagrama de C)
C!

a!

b
!
"
!

A B
existe una única flecha h de este último objeto en el anterior. En términos de la categoría
C, una única flecha h que haga conmutar el diagrama
C!
a!

b
!

h
#
"

a b
!

A! C " B
Es decir, el diagrama
C
a

b
"
!

A B
es un objeto terminal de C/AB sii dicho diagrama es el producto (en C) de A y B.
dom
Ejemplo 167. Se puede definir un funtor C/AB " C por

dom0 ((a, b)) = dom(a) (que es igual a dom(b)), y

dom1 (h) = h
Ejercicio 168. Demostrar que dom es un funtor.
Categorías de flechas. A continuación algunos ejemplos de categorías donde los ob-
jetos son flechas de una categoría dada C.
Definición 169. Dada una categoría C y un objeto C ∈ C0 , se define la categoría
slice de C sobre C, C/C cuyos objetos son flechas que tienen como codominio al objeto
C. Más precisamente,
(C/C)0 = {f ∈ C1 |cod(f ) = C}.
44

f !
Sean f y f ! objetos de esta categoría (es decir, X " C y X ! f " C están
g
en C). Entonces, g es una flecha de f a f ! en la categoría C/C si X " X!
y f = f ◦ g, es decir, si el siguiente diagrama conmuta
!

g " X!
X

!
f

f
"

!
C
Es decir, los objetos de C/C son flechas f de C de la pinta
X

f
#
C
y las flechas g de C/C:
X X!

g "
f f!
# #
C C
g
son también flechas X " X ! de C tales que el diagrama
g " X!
X
!
f

f
"

C
de C conmuta.
Ejercicio 170. Comprobar que C/C es una categoría, definiendo composición e iden-
tidad adecuadamente.
Ejercicio 171. Sea C una categoría con objeto terminal. ¿Qué puede decir de C/1?
Ejercicio 172. ¿Cuál es el objeto teminal de la categoría C/C?
Ejercicio 173. Demostrar que los productos de la categoría C/C son pullbacks de la
categoría C.
Ejemplo 174. Sea P un poset visto como categoría y sea p ∈ P . Entonces, P/p ∼
=↓ (p),
donde ↓ (p) es el ideal principal ↓ (p) = {q ∈P | q ≤ p}.
 45

Ejercicio 175. Definir análogamente la categoría coslice de C bajo C, C/C donde

f
los objetos ahora son flechas C " X, y una flecha de f en f ! debe satisfacer h◦f = f ! .
Ejercicio 176. Otra alternativa es definir la categoría coslice C/C utilizando la cate-
goría slice C/C y el operador de categoría opuesta.
Ejercicio 177. Demostrar que 1/Set ∼ = Set∗.
dom
Ejemplo 178. Se puede definir un funtor C/C " C por
dom0 (f ) = dom(f ), y
dom1 (g) = g
cod
Ejemplo 179. Se puede definir un funtor C/C " C por
cod0 (f ) = cod(f ), y
cod1 (g) = g
Ejercicio 180. Comprobar que dom y cod son funtores.
Definición 181. Dada una categoría C se define la categoría flecha C→ cuyos objetos
son flechas de C. Más precisamente,
(C→ )0 = C1 .
g g!
C→ (f, f ! ) = {(g, g ! ) | dom(f ) " dom(f ! )∧cod(f ) " cod(f ! )∧f ! ◦g = g ! ◦f }.
(g,g ! )
Es decir, f " f ! sii el diagrama

g "
A B

f f!
# #
A! " B!
g!
de C conmuta.
Ejercicio 182. Comprobar que C→ es una categoría.
dom cod
Ejercicio 183. Definir los funtores C ! C→ " C.
Ejercicio 184. Es esto un diagrama producto?
Funtores. En su momento definimos funtores y vimos algunos ejemplos, principalmen-
te el funtor de olvido y los únicos funtores que convierten a la categoría 0 y 1 en objetos
inicial y terminal de la categoría Cat. También se mencionó que el producto cartesiano
de categorías satisface la definición de producto definida categóricamente, dando lugar
a los funtores π1 y π2 de la categoría C × D en C y D respectivamente, y por supuesto
<F, G>" C × D asociado a los funtores X F" C y X G" D.
el funtor X
Para algunas categorías de flechas (o diagramas), acabamos de dar algunos ejemplos
de funtores que llamamos dom y cod.
A continuación veremos otros ejemplos de funtores.
46

Ejemplo 185. Dada una categoría localmente pequeña C, y un objeto A ∈ C, se define

Hom(A, _)
el funtor representable (covariante) C " Set de la siguiente manera:
f
dado un objeto B ∈ C, Hom(A, B) = {f ∈ C | A " B}
g
dada una flecha B " B ! , Hom(A, g) = f )→ g ◦ f . Así, Hom(A, g) es una
funcíon que toma una flecha f ∈ Hom(A, B) y devuelve g ◦ f ∈ Hom(A, B ! ).
Como Hom(A, g) es una función del conjunto Hom(A, B) en el conjunto Hom(A, B ! ),
a veces resulta conveniente escribir Hom(A, g)(f ) = g ◦ f en vez de su equivalente
Hom(A, g) = f )→ g ◦ f . Se puede comprobar que Hom(A, _) es un funtor:
g g!
Sean B " B ! y B ! " B !! , Hom(A, g ! ◦ g)(f ) = g ! ◦g◦f = g ! ◦Hom(A, g)(f ) =
Hom(A, g ! )(Hom(A, g)(f )) = (Hom(A, g ! ) ◦ Hom(A, g))(f ), donde la última
composición ◦ es la composición de funciones. Esto demuestra que se satisface
la propiedad Hom(A, g ! ◦ g) = Hom(A, g ! ) ◦ Hom(A, g).
Hom(A, 1B ) = f )→ 1B ◦ f = f )→ f = 1Hom(A, B) .
×
Ejemplo 186. Dada una categoría C con productos, se define un funtor C × C " C
de la siguiente manera:
dado un objeto (A, B) ∈ C × C, ×((A, B)) = A × B
(f,g) f g
dada una flecha (A, B) " (A! , B ! ) ∈ C × C (o sea, A " A! y B " B! ∈
×((f,g))
C), ×((A, B)) " × ((A! , B ! )). Éste es exactamente el diagrama que había-
f ×g
mos denotado A × B " A! × B ! .
π1 π2
Observar que se asume acá que se ha elegido un diagrama A ! A×B " B
para cada par de objetos A y B y en base a dicha elección se define el funtor ×.
Ejercicio 187. Comprobar que si C tiene productos, × es un funtor.
Ejercicio (posgrado) 188. Sea C una categoría, y el siguiente un diagrama en C,
f! "
g! "
F E D

h!! h! h
# f # g #
A " B " C
Entonces, si
f! "
g! "
F E E D

h!! h! h! h
# f # # g #
A " B B " C
 47

son pullbacks, entonces

g! ◦ f ! "
F D

h!! h
# g◦f " #
A C

también lo es.
Recíprocamente, si

g! ◦ f ! " g! "
F D E D

h!! h h! h
# g◦f " # # g #
A C B " C

son pullbacks, entonces

f! "
F E

h!! h!
# f #
A " B

también lo es.

Ejercicio (posgrado) 189. Sea C una categoría con el siguiente triángulo conmutativo

A
γ
"

α B
β

#
!

C
48

Entonces, si
hα " hβ "
A! A B! B

α! α β! β
# h # # h #
C! " C C! " C
γ!
son pullbacks, entonces, hay una única flecha A! " B ! tal que el diagrama
hα "
A! A
γ
!

γ
α
"

"
α! B! " B
hβ
β!

β
# #
!

C! " C
h
conmuta.
h
Prop 190. Pullback es un funtor. Sea C ! " C en una categoría C con pullbacks,
h∗
entonces hay un funtor C/C " C/C ! que lleva el objeto (de C/C) A α" C en el
α!
objeto (de C/C ! ) C ! ×C A " C ! donde α! es la paralela a α en el pullback entre α y
γ
h. El efecto de h∗ sobre una flecha (de C/C) α " β está dada por el ejercicio 189.

En la proposición, la flecha h está fija. Dado el objeto α, para obtener h∗(α) se usa
que C tiene pullbacks, en particular el de h y α:
hα "
C ! ×C A A

α! α
# h " #
C! C
de donde h∗(α) = α es el efecto de h∗ en objetos de C/C.
!
γ
Dada una flecha α " β de C/C, podemos formar el pullback de α y el de β
obteniendo un diagrama como el del ejercicio 189, la existencia y unicidad de γ ! nos
permite tomar h∗(γ) = γ ! como el efecto de h∗ en las flechas.
Ejercicio (posgrado) 191. Comprobar que h∗ es un funtor.