Reconstrucción Tannakiana: cómo recuperar una categoría a partir de sus imágenes

Tannakian Reconstruction

En esta entrada técnica, Bartosz Milewski explica la reconstrucción tannakiana en teoría de categorías mediante una analogía con fotografías de larga exposición: así como Bob superpone fotos nocturnas para localizar la ventana de Alice, los functores hacia la categoría de conjuntos actúan como 'fotografías' de una categoría. Aunque cada functor pierde información, al superponer todos ellos se pueden recuperar los hom-conjuntos originales. El artículo demuestra esta idea usando el lema de Yoneda y la reducción de Yoneda, y concluye con un ejemplo de reconstrucción de un monoide a partir de sus representaciones.