Tambara modules como flechas horizontales en un equipment de doble categoría

Tambara Equipment

En esta entrada, Bartosz Milewski explora la conexión entre los módulos de Tambara y las dobles categorías, mostrando cómo pueden interpretarse como flechas horizontales en un proarrow equipment. Partiendo de su interés por la teoría de categorías aplicada a los ópticos de Haskell, introduce los módulos de Tambara como profuntores compatibles con la acción de una categoría monoidal. El artículo esboza el trabajo de Mateusz Stroiński, que unifica estos conceptos en un marco de doble categoría, y lo ilustra con código en Haskell. Además, se discute la construcción de un equipment de Tambara, los módulos libres y su relación con los ópticos, así como la internalización de acciones monoidales mediante adjunciones.