El lema de Yoneda

D. B. Westra 7 de marzo de 2007

Resumen El lema de Yoneda es un ingrediente importante en el desarrollo de la teor de categor y tambien como herramiento en muchos campos de a as matemticas (non numericos). Por eso, utilic la demonstracion del lema a e como buen material para estudiar el uso de categor y functores. Aqui as presento la demonstracin completa del lema con cas cada detalle. o

1.

Los ingredientes

Para no hacernos dao tomamos categor concretas en cuales los objetos n as son conjuntos con quizs poca estrutura, como la de las k-lgebras por un cuerpo a a k. La categor de los conjuntos es denotado con S. a

1.1.

Functores Asociados con Objetos

Tomemos una categor A y denotemos el conunto de los objetos (s es un a , conjunto de conjuntos) con Ao . Contemplemos por un objeto A Ao el functor asociado lX denido por: lA : A S , lA (X) = HomA (A, X) . (1)

Por supuesto que tenemos que vericar si lA es de verdad un functor. Por eso, supongamos que u HomA (X, Y ). Entonces, si denimos la accin de lA como: o lA (u) : HomA (A, X) = lA (X) HomA (A, Y ) = lA (Y ) , lA (u) : u . (2) Tenemos que vericar lA (idX ) = idlA (X) , cual es trivial, porque lA (idX ) : con la denicin eqn.(2) con Y = X y u = idX . La otra demanda que tenemos o que vericar es que si el functor es covariante o contravariante. Si tenemos objetos X, Y y Z con morsmos u : X Y y w : Y Z, y un HomA (A, X) tenemos lA (u w)() = (u w) = u (w ) = lA (u) lA (w)() HomA (A, Z) , (3) y el functor es un functor covariante; lA (u w) = lA (u) lA (w). En la misma manera podemos denier un functr rA para un objeto A Ao : rA : A S , rA : X rA (X) = HomA (X, A) . (4)

Si tenemos una aplicacin u HomA (X, Y ), u : X Y , la unica posible es o denir la accin de rA sobre u como: o rA (u) : HomA (Y, A) HomA (X, A) , rA (u) : u . (5)

En lo siguiente es muy importante realizarte que en la denicin de una categor o a los morsmos tienen una multiplicacin asociativa y que la accin de lA o rA o o sobre morsmos es multplicacin del lado opuesto. o

1.2.

Transformaciones Naturales

Sean C y D categor y F y G functores covariantes de C a D. Una transforas mac natural consiste de una familia {X |X C o } de D-morsmos tal que on el diagrama siguiene conmuta para todos X, Y C o y u HomC (X, Y ): F (X)
F (u) X

- G(X)
G(u)

? F (Y )

? - G(Y )

Sean A, B objetos en A y sea : B A un morsmo; podemos fabricar una transformacin natural AB : lA rB . Para entender como, miremos a las o relaciones siguientes: lA (X) = HomA (A, X) = rX (A) , lB (X) = HomA (B, X) = rX (B) . (6)

Entonces, necesitamos una colecin de mapas HomA (A, X) HomA (B, X), o para cada X. Pues, podemos utilizar el morsmo : B A as AB es una : AB colecin X |X Ao denida por: o
AB X : HomA (A, X) HomA (B, X) , AB X .

(7)

La vericacin que es natural es fcil; supongamos que tenemos objetos o a X, Y y un morsmo u : X Y (y recordemos que tenemos : B A, as que tenemos el diagrama siguiente: HomA (A, X)
lA (u)
AB X

- HomA (B, X)(X)

lB (u)

? HomA (A, Y )

AB Y

? - HomA (B, Y )

Supongamos que tenemos HomA (A, X), entonces:

AB lB (u) X () = lB (u)( ) = u ( ) = u , AB AB Y lA (u)() = Y (u ) = (u ) = u ,

(8)

y el diagrama es conmutativo por la asociadividad. Entonces, solamente con los objetos y los morsmos hemos construido functores y transformaciones naturales. Pero, si tenemos una transformacin natural : lA lB , podemos encontrar o un elemento de HomA (B, A). En el diagrama anterior tomamos X = A y = idA : A : HomA (A, A) HomA (B, A) , A (idA ) HomA (B, A) . (9) Tenemos que percatarnos que el unico morsmo que siempre - en cada categor a - es presente es la identidad para cada morsmo. Si tomamos la tranformacin o = AB inducida por : B A encontramos:
AB A (idA ) = idA = .

(10)

Entonces, parece que podemos olvidar los morsmos y los objetos de una categor si tenemos los functores lA y las transformaciones naturales. El lema de a Yoneda es exactamente esto!

2.

El lema y la demonstrac on
El lema de Yoneda dice que:

Lemma 2.1. Las aplicaciones anteriormente denidas HomA (B, A) AB y A (idA ) HomA (B, A) son inversas el uno al otro. Un parte ya hemos demonstrado: ( : B A) ( AB : lA lB ) ( : B A). Entonces necesitamos vericar el otro orden. Supongamos que AB es una transformacin natural de lA a lB y denamos: o : B A, = A (idA ) , AB (11)

y desde el morsme construimos AB tal que

AB AB AB X : HomA (A, X) HomA (B, X) , X : = A (idA ) . (12)

Pero, . . . AB es una transformacin natural, entonces tenemos el diagrama o conmutativa: HomA (A, A)
lA () A AB

- HomA (B, A)(X)

lB ()

? HomA (A, X)

X AB

? - HomA (B, X)

donde HomA (A, X) = lA (X). Lo anterior implica: lB () A (idA ) = X lA ()(idA ) , AB AB A (idA ) = A ( idA ) = X () AB AB AB (13)

Pero, al lado derecho vemos que A (idA ) coincide segun la denicin con AB o AB X () y entonces, el resultado es:
AB X () = X () . AB

(14)

Eso era exactamente lo que ten amos que probar! 3

2.1.

Ultimas Palabras

El lema de Yoneda demuestra que tenemos una correspondenc entre al un a lado objetos y morsmes en una categor y al otro lado los functores, asociados a con objetos, y las transformaciones naturales. En algunos casos es una ventaja denir los objetos en una categor por functores. Por ejemple, los grupos a lgebraicos pueden ser denido por functores en tal manera que son tambien a grupos con una multiplicac natural... Ve las notas de J.S. Milne sobre grupos on algebraicos y aritmeticos que puedes encontrar en su pagina web. Tambien los supergrupos pueden ser denido en tal manera. Todo eso funciona por el lema de Yoneda.