Lema de Yoneda

El lema de Yoneda en Teoría de las categorías nos permite sumergir una categoría en otra categoría de funtores definida sobre aquella, y clarifica cómo la categoría sumergida se relaciona con los objetos de la categoría de funtores que la sumerge. 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 una categoría con un sólo objeto).

Algo sobre su filosofía

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 embebe sería la categorías de módulos sobre el anillo embebido.

Other Languages
English: Yoneda lemma
français: Lemme de Yoneda
日本語: 米田の補題
русский: Лемма Йонеды
中文: 米田引理