El lema de Yoneda en teoría de las categorías nos permite encajar una categoría en otra categoría de funtor es definida sobre aquella, y clarifica cómo la categoría encajada se relaciona con los objetos de la categoría de funtores que la encajan. Es una herramienta importante que se encuentra subyacente a varios de los desarrollos modernos en geometría algebraica y teoría de la representación. Es una extensa generalización del teorema de Cayley de la teoría de grupos (todo grupo es un monoide, que es a su vez una categoría con un solo objeto).

Algo sobre su filosofía

editar

Hablando en general, el lema de Yoneda sugiere que en vez de investigar la categoría (pequeña) C, podemos estudiar la categoría de todos los funtores desde C a la categoría Set (donde Set es la categoría de todos los conjuntos con las aplicaciones en el papel de morfismos). Set es la categoría que mejor entendemos, y un funtor de C a Set puede verse como una "representación" de C en términos de estructuras conocidas. La categoría original C está contenida en dicha categoría de funtores, pero en esta aparecerán objetos nuevos que en cierto modo estaban escondidos en C. Tratando tales objetos nuevos como los viejos en C a menudo unificamos y simplificamos la teoría.

Este modo de ver es parecido (y de hecho lo generaliza) al método corriente de estudiar un anillo mediante el estudio de los módulos sobre el anillo. El anillo haría el papel de la categoría C, y la categoría de funtores donde se le encaja sería la categorías de módulos sobre el anillo encajado.

Lema de Yoneda

editar

Un objeto A de una categoría C define un funtor covariante de C en la categoría Set de los conjuntos :

 

De esta manera disponemos de un funtor contravariante de C en la categoría Func(C,Set) de los funtores contravariantes de C en Set. Todo morfismo de A a B en la categoría C induce un morfismo de   en  . El lema de Yoneda afirma que estos son los únicos morfismos de los que disponemos; además, mediante el lema se caracterizan los conjuntos de morfismos de   a cualquier otro funtor de C a Set.

Enunciado

editar

Para todo objeto   de una categoría  , todo morfismo   de   sobre un funtor   está definido únicamente por el elemento de   que se define como la imagen de   en   por  . Más precisamente, disponemos de una biyección:

 
 

En particular, para todos los objetos   y   de  , tenemos que  , donde h se denomina el encaje de Yoneda[1]​ (en inglés, Yoneda embedding).

El encaje de Yoneda a veces es denotado por , el símbolo en hiragana de la sílaba "yo".[2]

Demostración

editar

Inyectividad

editar

Con las notaciones de arriba, consideremos   un morfismo de   sobre  . Para todo elemento   en  , tenemos :

 

Aplicando a esta identidad la aplicación conjuntista  , obtenemos :

 

donde la segunda igualdad viene de la definición de un morfismo de funtores. El elemento   es por tanto la imagen de   mediante  . De hecho, haciendo variar f, se demuestra que   está unívocamente determinadad por  . La aplicación dada es inyectiva.

Sobreyectividad

editar

Sea un elemento v de  . La prueba de la inyectividad permite intuir un (forzosamente único) antecedente de v. Para todo objeto B de C, definimos :

 
 

Verifiquemos que   es un morfimo de funtores. Para toda flecha   y para todo elemento f de  , podemos escribir :

 

Ahora bien, la composición g.f puede ser vista como la imagen def por  . Por tanto, la identidad obtenida se reescribe:

 

Haciendo variar f :

 

Siendo esto verificado para toda flecha g,   es un funtor de   sobre   y su imagen es casi por definición v (se ha definido para ello).

Referencias

editar
  1. Revista de la Real Academia de Ciencias Exactas, Físicas, Químicas y Naturales de Zaragoza, tomo 57. 2002. p. 93. Consultado el 18-abril-2023. 
  2. «Yoneda embedding». nLab. Consultado el 6 de julio de 2019.