A taxonomy of categories for relations

Resumen Técnico: Una Taxonomía de Categorías para Relaciones

Enunciado del Problema
El estudio de las categorías que abstraen las propiedades estructurales de las relaciones ha producido un cuerpo de trabajo diverso y rico en las últimas décadas. Sin embargo, la proliferación de conceptos similares surgidos de diferentes contextos (por ejemplo, presentaciones algebraicas de gráficos de términos, probabilidad categórica, funciones parciales y lógica) ha llevado a una literatura fragmentada. Estas estructuras a menudo comparten una naturaleza fundamental pero utilizan notaciones y terminologías diferentes (por ejemplo, categorías de restricción, categorías de Markov, $p$-categorías y categorías de copia/descarte). Esta fragmentación hace que sea difícil navegar por el campo y establecer un marco claro que conecte estas diversas nociones categóricas. Además, aunque es un hecho conocido que la categoría de Kleisli de un monada simétrica monoidal sobre una categoría cartesiana es simétrica monoidal, ha faltado una investigación sistemática sobre cómo estas propiedades se extienden a contextos enriquecidos y subclases específicas de monadas (afines, relevantes y $gs$-monoidales).

Metodología
Los autores emplean un enfoque modular basado en el lenguaje de diagramas de cuerdas para unificar y clasificar estas estructuras. La metodología central implica:

1. Descomposición en Axiomas Centrales: La taxonomía se basa en dos conceptos fundamentales: categorías de compartir (equipadas con un duplicador $\nabla_X: X \to X \otimes X$) y categorías con basura (equipadas con un descargador $!_X: X \to I$).
2. Variación Axiomática: Al variar los requisitos para la existencia y naturalidad de estas flechas, los autores derivan una jerarquía de categorías. Por ejemplo, exigir naturalidad para ambas flechas produce categorías monoidales cartesianas, mientras que exigir solo la existencia produce categorías $gs$-monoidales.
3. Dualización y Enriquecimiento: El marco se extiende a estructuras duales (categorías $cogs$-monoidales) y a contextos enriquecidos en preórdenes (reemplazando las categorías estándar por 2-categorías donde las 2-células representan un orden, como la inclusión teórica de conjuntos).
4. Análisis de Kleisli: El artículo investiga las categorías de Kleisli de monadas simétricas monoidales (específicamente monadas afines, relevantes y $gs$-monoidales) sobre estas categorías base. Analiza cómo las propiedades estructurales de la categoría base (por ejemplo, la existencia de diagonales o proyecciones) se preservan o transforman en la categoría de Kleisli resultante.

Contribuciones Clave

• Taxonomía Unificada: El artículo proporciona una taxonomía diagramática integral que organiza las "categorías para relaciones" (incluyendo categorías de Markov, de restricción, $gs$-monoidales y cartesianas) basándose en la presencia y naturalidad de duplicadores y descargadores.
• Caracterización de Estructuras Conocidas: Establece correspondencias precisas entre la taxonomía propuesta y marcos existentes. Específicamente:
  • Se demuestra que las categorías $gs$-monoidales con proyecciones corresponden exactamente a categorías de Markov.
  • Se demuestra que las categorías $gs$-monoidales con diagonales corresponden exactamente a categorías de restricción cartesianas.
• Resultados sobre Categorías de Kleisli: Los autores demuestran que la categoría de Kleisli de una monada relevante (resp. afín) sobre una categoría con diagonales (resp. proyecciones) conserva esas estructuras específicas. En consecuencia, la categoría de Kleisli de una monada $gs$-monoidal sobre una categoría monoidal cartesiana es ella misma cartesiana monoidal.
• Contexto Enriquecido: El artículo extiende estos resultados a categorías enriquecidas en preórdenes. Introduce categorías cartesianas oplax (donde las flechas son copiables y descargables oplax) y demuestra que las categorías cartesianas oplax posetales que satisfacen desigualdades específicas son equivalentes a categorías de restricción.
• Estructuras Duales y Bialgebraicas: El trabajo define y analiza estructuras duales ($cogs$-monoidales, $bigs$-monoidales) y explora la interacción entre estructuras de monoide y comonoide, identificando condiciones para categorías bialgebraicas y de Frobenius.

Resultados

• Preservación Estructural: El artículo demuestra que la propiedad de ser una categoría $gs$-monoidal se preserva bajo la formación de categorías de Kleisli para monadas simétricas monoidales.
• Preservación Específica:
  • Si una categoría base $C$ tiene proyecciones (es una categoría de Markov) y $T$ es una monada afín, la categoría de Kleisli $C_T$ tiene proyecciones.
  • Si $C$ tiene diagonales (es una categoría de restricción cartesiana) y $T$ es una monada relevante, $C_T$ tiene diagonales.
  • Si $C$ es monoidal cartesiana y $T$ es una monada $gs$-monoidal, $C_T$ es monoidal cartesiana.
• Categorías de Kleisli Enriquecidas: Para categorías $gs$-monoidales enriquecidas en preórdenes, si $C$ es cartesiana oplax y $T$ es una monada $gs$-monoidal colax, entonces la categoría de Kleisli $C_T$ es también cartesiana oplax.
• Bicategorías Cartesianas: El artículo muestra que las bicategorías cartesianas corresponden exactamente a las bicategorías cartesianas oplax posetales que son lax especiales y lax conectadas y satisfacen una desigualdad específica. Además, la categoría de Kleisli de una monada $gs$-monoidal colax sobre una bicategoría cartesiana es ella misma una bicategoría cartesiana.
• Ejemplos: La taxonomía se valida mediante diversos ejemplos, incluidas categorías de espigas, relaciones ponderadas (vía monadas de semianillos) y categorías de conjuntos y relaciones parciales/totales.

Significado y Afirmaciones
Los autores afirman que su contribución principal es aportar claridad y organización a un campo fragmentado al proporcionar un único punto de referencia modular para estos conceptos relacionados. Al utilizar diagramas de cuerdas y un conjunto mínimo de axiomas, ofrecen un lenguaje intuitivo pero riguroso para comparar nociones relacionales.

Con respecto al análisis de la categoría de Kleisli, el artículo indica que la extensión de estos resultados al contexto enriquecido (categorías enriquecidas en preórdenes) es, hasta donde saben, original. El trabajo pretende servir tanto a investigadores experimentados al reunir material relevante en un solo lugar como a nuevos llegados ofreciendo una introducción autocontenida. Los autores señalan explícitamente que, aunque mencionan brevemente la factorización epi-mono, una comparación sistemática con técnicas de descomposición como las leyes distributivas está fuera del alcance de este artículo, posicionando su enfoque $gs$-monoidal como una alternativa distinta y axiomáticamente simple a las taxonomías basadas en doble categoría.

El artículo concluye delineando direcciones futuras, incluyendo la presentación combinatoria de categorías $gs$-monoidales libres, la extensión a categorías trazadas para sistemas de retroalimentación e investigaciones adicionales sobre nociones alternativas de categorías de Markov y monadas afines en el contexto de la teoría de la probabilidad.