Recordemos la denicin de punto universal y el lema de Yoneda:

Denicin. Sea C una categora arbitraria y supongamos que puede denirse un funtor,
F : C Set
Entonces un punto universal del funtor F es un elemento d del conjunto imagen FD, de algn
C-objeto D bajo F, con la propiedad de que para todo C-objeto A y para todo punto a en FA,
existe un nico C-morsmo,
f : D A
tal que,
Ff (d) = a
Lema de Yoneda. Sea C una categora arbitraria y supongamos que se tiene un funtor,
F : C Set
arbitrario. Entonces, cualquiera que sea D en |C|, la aplicacin,
d
d
dene una biyeccin del conjunto FD en el conjunto de transformaciones naturales de H
D
en F.
El lema de Yoneda nos pone en condiciones para demostrar los siguientes resultados.
Proposicin. Sea C cualquier categora desde la cual haya un funtor,
F : C Set
Entonces son equivalentes:
(a) F tiene un punto universal.
(b) F es naturalmente isomorfo a un hom-funtor.
Demostracin. (a) (b) Sea D en |C| tal que d FD es un punto universal de F. Aseguramos
que la transformacin,

d
: H
D
F
es un isomorsmo natural. Para probarlo basta demostrar que para todo C-objeto A la funcin,

d
A
: [D, A]
C
FA
es biyectiva.

d
A
es inyectiva. En efecto, sean f
1
, f
2
[D, A]
C
dos morsmos con la misma imagen a FA
bajo
d
A
. Debido a la universalidd del punto d tenemos que en [D, A]
C
existe un nico morsmo f
tal que,
Ff (d) = a
Luego, puesto que,
a =

d
A
(f
1
) = Ff
1
(d)

d
A
(f
2
) = Ff
2
(d)
tenemos,
f
1
= f = f
2
1

d
A
es suprayectiva pues, por denicin de punto universal, para todo a FA existe un morsmo
(nico) f [D, A]
C
, tal que Ff (d) = a.
(b) (a) Supongamos que,
: H
D
F
es un isomorsmo natural. Por el lema de Yoneda sabemos que,

dFD
es el conjunto de transformacines naturales de H
D
en F, En consecuencia, existe d FD tal que
=
d
. Probaremos que d es un punto universal para F. Sean, A cualquier C-objeto y a cualquier
elemento de FA; debido a la isomorfa de
d
, la funcin,

d
A
: [D, A]
C
FA
es biyectiva; por lo tanto, existe un nico f [D, A]
C
tal que,

d
A
(f) = Ff (d) = a
y esto es a lo que se queria llegar.
Lema del encaje de Yoneda. Cualquier categora pequea R se puede encajar plenamente en
la categora de funtores y transformaciones naturales Set
R
op
.
Demostracin. Sea,
F : R Set
R
op
el funtor que asocia a cada R-objeto A el funtor,
H
op
A
: R
op
Set
B [B, A]
R
f [B, C]
R
op
[B, A]
R
H
op
A
(f)
[C, A]
R
g g
R
f
(Notemos que H
op
A
puede ser visto como el hom-funtor de R
op
en Set basado en A). Y a cada
R-morsmo,
f : A B
la transformacin natural,

f
: H
op
A
H
op
B
que a cada R-objeto C le asocia la funcin,

f
C
: [C, A]
R
[C, B]
R
g H
op
B
(g) (f) = f
R
g
Por el lema de Yoneda, sabemos que para cualquiera que sea A en |R|, existe una biyeccin del
conjunto H
op
B
(A) = [A, B]
R
en el conjunto de transformaciones naturales de H
op
A
en H
op
B
. Esta
biyeccin est dada por la aplicacin,
(f : A B)
f
2
donde
f
es justamente la transformacin natural denida arriba. En caso de que F fuera efecti-
vamente un funtor, entonces F sera el, pleno (esto es por Yoneda) e inyectivo en los objetos. En
consecuencia, F sera un encaje. As pues, comprobemos que realmente F es un funtor.
() F preserva composiciones. Sean f : A B y g : B C R-morsmos arbitrarios;
entonces,
F : (g
R
f) =
g
R
f
: H
op
A
H
op
C
Esta transformacin natural le asocia a cada R-objeto D, la funcin,

g
R
f
D
: [D, A]
R
[D, B]
R
h (g
R
f)
R
h
Ahora bien, dado que,
(g
R
f)
R
h = g
R
(f
R
h) =
g
D

f
D
(h)
entonces,

g
R
f
D
(h) =
g
D

f
D
(h)
En consecuencia,

g
R
f
D
=
g
D

f
D
= F (g) F (f)
() F preserva identidades. Sea A cualquier R-objeto y consideremos al R-morsmo identidad
1
A
. Entonces,
F (1
A
) =
1
A
: H
op
A
H
op
A
es la transformacin natural que a cada R-objeto B le asocia la funcin,

1
A
B
: [B, A]
R
[B, A]
R
g g
Por lo tanto,
1
A
B
= 1
[B,A]
R
= 1
H
op
A
(B)
. Esto demuestra que
1
A
= 1
H
op
A
= 1
F(A)
, que es a lo que se
quera llegar.
3