Monadas y adjunciones: factorización a través de Kleisli y Eilenberg-Moore

Monadas y Adyunciones: Factorización mediante adyunciones de Kleisli y Eilenberg-Moore

Una monada en una categoría puede representarse como una composición de funtores adyuntos que pasan por una categoría intermedia. Este enfoque revela la estructura interna de una monada y permite analizarla a través de dos adyunciones extremas: la adyunción inicial de Kleisli y la adyunción terminal de Eilenberg-Moore. Cada una demuestra una forma única de organizar la información perdida o recuperada por los funtores.

Funtor olvidadizo y funtor libre

Las adyunciones entre funtores suelen describirse en términos de sus roles: el funtor derecho suele ser "olvidadizo", mientras que el funtor izquierdo es "libre". Un funtor olvidadizo pierde parte de la estructura de la categoría original, colapsando objetos distintos en uno solo. El funtor libre, que es el adjunto izquierdo, intenta recuperar tanta información como sea posible, construyendo el objeto "más general" en la categoría intermedia.

El ejemplo de los monoides ilustra esto: el funtor olvidadizo U mapea la categoría de monoides Mon(Set) a la categoría de conjuntos Set, eliminando la operación de multiplicación y las leyes de asociatividad. El funtor libre F, adjunto izquierdo a U, construye para cualquier conjunto a el monoi libre Fa — una estructura con una operación binaria lo más general posible, permitiendo obtener cualquier otro monoi mediante morfismos.

Estos roles no son definiciones matemáticas estrictas, sino que ayudan a comprender cómo organiza la adyunción la información:

• El funtor derecho olvida distinciones, colapsando objetos.
• El funtor libre reconstruye estructura libremente, creando objetos lo más generales posibles.

Categoría de adyunciones de monada

Para una monada T sobre un endofuntor, se puede construir una categoría Adj_T cuyos objetos son todas las adyunciones posibles (D, F, U) que generan T = U∘F. Los morfismos entre adyunciones son funtores K: D → D' que satisfacen K∘F = F' y U'∘K = U.

Esta categoría contiene toda la información sobre las posibles realizaciones de la monada T. Un resultado clave: Adj_T tiene tanto un objeto inicial como un objeto terminal, representando dos formas extremas de factorizar la monada.

Adyunción de Kleisli

La adyunción de Kleisli es el objeto inicial en Adj_T. La categoría intermedia aquí es la categoría de álgebras libres T. Los objetos son simplemente objetos de la categoría original C, pero los morfismos están organizados mediante la operación de la monada.

El funtor F de la adyunción de Kleisli envía el objeto a al álgebra libre (Ta, μ_a), donde μ_a es la multiplicación de la monada. El funtor olvidadizo U devuelve simplemente el objeto del álgebra a la categoría original, olvidando la estructura de multiplicación.

Características clave de la adyunción de Kleisli:

• La categoría intermedia tiene estructura mínima; los objetos corresponden directamente a los de C.
• Los morfismos reflejan la acción de la monada a través de su operación.
• Esta adyunción es maximamente "libre", sin añadir restricciones adicionales.

Adyunción de Eilenberg-Moore

La adyunción de Eilenberg-Moore es el objeto terminal en Adj_T. Su categoría intermedia es la categoría de todos los álgebras T, donde los objetos son pares (a, h: Ta → a) que satisfacen las leyes de álgebra.

Aquí, el funtor F envía el objeto a al álgebra libre (Ta, μ_a), al igual que en la adyunción de Kleisli. Sin embargo, el funtor olvidadizo U ahora mapea el álgebra (a, h) simplemente al objeto a, olvidando no solo la estructura de multiplicación, sino también el morfismo específico h.

La adyunción de Eilenberg-Moore representa el enfoque maximamente "olvidadizo":

• La categoría intermedia contiene todos los álgebras posibles, con una estructura rica.
• El funtor olvidadizo pierde más información, reduciendo los álgebras a sus objetos subyacentes.
• Esta adyunción muestra cómo una monada puede representarse a través de la categoría completa de sus álgebras.

Cambio entre adyunciones

Los morfismos en Adj_T permiten transiciones entre diferentes adyunciones. Un funtor K: D → D', que satisface las condiciones de adyunción, transforma efectivamente una representación de la monada en otra.

Transitar desde la adyunción de Kleisli hasta la adyunción de Eilenberg-Moore se logra mediante un funtor que envía álgebras libres a la categoría de todos los álgebras. Este funtor preserva la estructura pero amplía el contexto.

Puntos clave sobre el cambio:

• Cualquier adyunción que genere la monada T puede conectarse con las adyunciones de Kleisli y Eilenberg-Moore mediante morfismos en Adj_T.
• Las transiciones reflejan niveles variables de "olvido" y "reconstrucción" de estructura.
• Esto permite analizar la monada a lo largo del espectro de sus posibles realizaciones.

Ejemplo: monada Option

Consideremos la monada Option en el contexto de filtrado. La operación de la monada Option puede representarse mediante la adyunción de Kleisli, donde la categoría intermedia consiste en objetos con la posibilidad de tener un valor "faltante".

En la adyunción de Eilenberg-Moore, los álgebras Option son objetos equipados con una operación h: Option a → a que "resuelve" el valor faltante, devolviendo un elemento concreto o ejecutando lógica alternativa.

Comparación de ambos enfoques para Option:

• La adyunción de Kleisli se centra en la operación de la monada misma, con estructura mínima.
• La adyunción de Eilenberg-Moore considera todas las formas posibles de manejar valores faltantes mediante álgebras.
• La transición entre adyunciones muestra cómo una operación monádica abstracta se concretiza mediante implementaciones diferentes.

Lo que importa

• Una monada puede factorizarse mediante funtores adyuntos que pasan por una categoría intermedia.
• La categoría de todas las adyunciones que generan una monada dada tiene objetos inicial y terminal — las adyunciones de Kleisli y Eilenberg-Moore.
• La adyunción de Kleisli representa el enfoque maximamente libre, con estructura intermedia mínima.
• La adyunción de Eilenberg-Moore demuestra el enfoque maximamente olvidadizo, con una categoría rica de álgebras.
• Las transiciones entre adyunciones mediante morfismos en Adj_T revelan todo el espectro de realizaciones posibles de la monada.

— Editorial Team