Actegories: el secreto matemático detrás de las ópticas en programación

En este artículo técnico, Bartosz Milewski explora las actegorías, estructuras que generalizan la acción de una categoría monoidal sobre otra, y muestra su papel central en la programación funcional, especialmente en la implementación de ópticas como lentes, prismas y traversals. Partiendo de la definición de categoría monoidal, el autor presenta ejemplos en Haskell para ilustrar conceptos como el producto tensorial, la unidad y las condiciones de coherencia. Luego introduce las actegorías, su formalización como funtores y las transformaciones naturales que las rigen, hasta llegar a los funtores monoidales que mapean entre actegorías. El texto incluye código Haskell disponible en un repositorio, ofreciendo una guía práctica para quienes deseen profundizar en estos fundamentos categóricos.