The Only Distributive Law Over the Powerset Monad Is the One You Know

Resumen Técnico: Leyes Distributivas sobre el Mónada de Potencias

1. Planteamiento del Problema

El artículo aborda un problema fundamental en la teoría de categorías y sus aplicaciones en semántica relacional, lógica coalgébrica y teoría de autómatas: la existencia y unicidad de leyes distributivas (también conocidas como leyes de Kleisli) entre un funtor de conjuntos $F: \mathbf{Set} \to \mathbf{Set}$ y el mónada de potencias $\mathcal{P}$ (que modela la no determinismo).

• Contexto: Una ley distributiva $\sigma: F\mathcal{P} \to \mathcal{P}F$ es equivalente a una extensión del funtor $F$ desde la categoría de conjuntos y funciones ($\mathbf{Set}$) a la categoría de conjuntos y relaciones ($\mathbf{Rel}$).
• Estado del Arte: Se sabe que si un funtor preserva pullbacks débiles (weak pullbacks), admite una extensión canónica conocida como la extensión de Barr. Sin embargo, la pregunta de si esta extensión es única (es decir, si no existen otras leyes distributivas para el mismo funtor) ha recibido menos atención.
• La Pregunta Central: ¿Bajo qué condiciones un funtor admite una única extensión a relaciones? ¿Es la preservación de pullbacks débiles suficiente para garantizar la unicidad, o existen contraejemplos?

2. Metodología y Herramientas Teóricas

Los autores emplean un enfoque categórico riguroso, combinando teoría de mónadas, propiedades de funtores y análisis de estructuras de relaciones.

• Funtores Accesibles vs. No Accesibles: Se distingue entre funtores accesibles (que preservan colímites filtrados para algún cardinal regular) y funtores no accesibles (como el funtor de potencias completo $\mathcal{P}$).
• Acotación Elemental (Elementwise Boundedness): Introducen una nueva propiedad llamada "acotación elemental" (definición 3.5). Un funtor es elementalmente acotado si, para cualquier conjunto $X$ y elemento $a \in F(X \times KX)$, existe un subconjunto $A$ que no contiene copias completas de ningún elemento de $X$. Esta propiedad generaliza la accesibilidad.
• Análisis de Monotonía Local: Utilizan lemas para demostrar que, bajo ciertas condiciones, cualquier extensión de un funtor debe ser localmente monótona (preserva el orden de inclusión de relaciones).
• Construcción de Contraejemplos: Para el caso de no unicidad, utilizan morfismos de mónadas y análisis combinatorio directo sobre el funtor de potencias para construir leyes distributivas alternativas.

3. Contribuciones Clave y Resultados Principales

El trabajo presenta dos resultados principales que refinan drásticamente la comprensión de las extensiones de funtores:

A. Resultado de Unicidad para Funtores "Buenos" (Sección 3)
Los autores demuestran que para una clase amplia de funtores que incluye a todos los funtores accesibles y se extiende más allá de ellos (los funtores elementalmente acotados), la situación es muy rígida:

• Teorema 3.12: Un funtor elementalmente acotado admite una extensión a $\mathbf{Rel}$ si y solo si preserva pullbacks débiles.
• Unicidad: Si cumple la condición anterior, la extensión es única y coincide exactamente con la extensión de Barr (también llamada "power law").
• Implicación: Esto explica conceptualmente por qué la extensión de Barr es omnipresente en la semántica coalgébrica: para la gran mayoría de funtores utilizados en modelado (polinomiales, distribuciones discretas, ultrafiltros, etc.), no hay otra opción posible si se desea una extensión válida.

B. Fallo de Unicidad para Funtores No Accesibles (Sección 4)
El resultado más sorprendente del artículo es que la unicidad falla fuera del contexto de los funtores accesibles/acotados:

• Caso del Funtor de Potencias Completo ($\mathcal{P}$): Aunque $\mathcal{P}$ preserva pullbacks débiles, no es elementalmente acotado.
• Proposición 4.3: Se demuestra que el funtor de potencias completo $\mathcal{P}$ admite exactamente tres leyes distributivas distintas sobre el mónada de potencias:
  1. La extensión de Barr: $A \mathrel{\tilde{F}r} B$ si y solo si $B \subseteq r[A]$ y $A \subseteq r^\circ[B]$ (relación de Egli-Milner).
  2. La extensión de imagen relacional: $A \mathrel{\tilde{F}r} B$ si y solo si $B = r[A]$.
  3. La extensión de imagen relacional restringida: Una variante que trata el conjunto vacío de manera específica (envía $\{\emptyset\}$ a $\emptyset$).
• Significado: Esto demuestra que la preservación de pullbacks débiles, aunque necesaria para la existencia, no es suficiente para garantizar la unicidad en ausencia de condiciones de acotación (accesibilidad).

4. Significado e Impacto

• Clarificación Conceptual: El artículo resuelve una duda abierta en la literatura (mencionada por Kurz y Velebil) sobre la unicidad de las extensiones. Establece que la unicidad no es una propiedad universal, sino que depende crucialmente de la "accesibilidad" o "acotación elemental" del funtor.
• Justificación de la Extensión de Barr: Proporciona una justificación teórica sólida de por qué la extensión de Barr es la elección estándar en lógica modal coalgébrica y semántica relacional: para los funtores accesibles, es la única opción posible.
• Nuevas Direcciones: Identifica que los funtores no accesibles (como el de potencias completo o los de vecindarios) requieren un análisis más cuidadoso, ya que pueden admitir múltiples extensiones, algunas de las cuales no son localmente monótonas.
• Aplicaciones: Los resultados son relevantes para el diseño de lógicas modales, la definición de equivalencias comportamentales y la teoría de autómatas, donde la elección de la ley distributiva determina la semántica del sistema.

En conclusión, el título del artículo es una afirmación irónica pero precisa: para la clase de funtores que la comunidad utiliza habitualmente (accesibles), "la única ley distributiva que conoces" (la de Barr) es, de hecho, la única que existe. Sin embargo, el universo de los funtores generales es más rico y complejo, permitiendo múltiples leyes distributivas.