A taxonomy of categories for relations

Resumo Técnico: Uma Taxonomia de Categorias para Relações

Declaração do Problema
O estudo de categorias que abstraem as propriedades estruturais de relações produziu, nas últimas décadas, um corpo de trabalho diverso e rico. No entanto, a proliferação de conceitos semelhantes originados de contextos diferentes (por exemplo, apresentações algébricas de grafos de termos, probabilidade categórica, funções parciais e lógica) levou a uma literatura fragmentada. Essas estruturas frequentemente compartilham uma natureza fundamental, mas utilizam notações e terminologias distintas (por exemplo, categorias de restrição, categorias de Markov, $p$-categorias e categorias de cópia/descarte). Essa fragmentação torna desafiador navegar no campo e estabelecer um quadro claro que conecte essas diversas noções categóricas. Além disso, embora seja um fato conhecido que a categoria de Kleisli de um monad simétrico monoidal sobre uma categoria cartesiana seja simétrica monoidal, tem faltado uma investigação sistemática de como essas propriedades se estendem a contextos enriquecidos e a subclasses específicas de monads (afins, relevantes e $gs$-monoidais).

Metodologia
Os autores empregam uma abordagem modular baseada na linguagem de diagramas de corda para unificar e classificar essas estruturas. A metodologia central envolve:

1. Decomposição em Axiomas Centrais: A taxonomia é construída sobre dois conceitos fundamentais: categorias share (equipadas com um duplicador $\nabla_X: X \to X \otimes X$) e categorias com lixo (equipadas com um descarregador $!_X: X \to I$).
2. Variação Axiomática: Ao variar os requisitos para a existência e naturalidade dessas setas, os autores derivam uma hierarquia de categorias. Por exemplo, exigir naturalidade para ambas as setas produz categorias monoidais cartesianas, enquanto exigir apenas a existência produz categorias $gs$-monoidais.
3. Dualização e Enriquecimento: O quadro é estendido para estruturas duais (categorias $cogs$-monoidais) e para contextos enriquecidos em pré-ordens (substituindo categorias padrão por 2-categorias onde as 2-células representam uma ordenação, como a inclusão teórica de conjuntos).
4. Análise de Kleisli: O artigo investiga as categorias de Kleisli de monads simétricos monoidais (especificamente monads afins, relevantes e $gs$-monoidais) sobre essas categorias base. Analisa-se como as propriedades estruturais da categoria base (por exemplo, existência de diagonais ou projeções) são preservadas ou transformadas na categoria de Kleisli resultante.

Principais Contribuições

• Taxonomia Unificada: O artigo fornece uma taxonomia diagramática abrangente que organiza "categorias para relações" (incluindo categorias de Markov, de restrição, $gs$-monoidais e cartesianas) com base na presença e naturalidade de duplicadores e descarregadores.
• Caracterização de Estruturas Conhecidas: Estabelece correspondências precisas entre a taxonomia proposta e quadros existentes. Especificamente:
  • Categorias $gs$-monoidais com projeções são mostradas como correspondendo exatamente às categorias de Markov.
  • Categorias $gs$-monoidais com diagonais são mostradas como correspondendo exatamente às categorias de restrição cartesianas.
• Resultados sobre Categorias de Kleisli: Os autores provam que a categoria de Kleisli de um monad relevante (respectivamente, afim) sobre uma categoria com diagonais (respectivamente, projeções) retém essas estruturas específicas. Consequentemente, a categoria de Kleisli de um monad $gs$-monoidal sobre uma categoria monoidal cartesiana é ela mesma monoidal cartesiana.
• Contexto Enriquecido: O artigo estende esses resultados para categorias enriquecidas em pré-ordens. Introduz categorias oplax cartesianas (onde as setas são copiáveis e descartáveis no sentido oplax) e demonstra que categorias oplax cartesianas posetais que satisfazem desigualdades específicas são equivalentes a categorias de restrição.
• Estruturas Duais e Bialgébricas: O trabalho define e analisa estruturas duais ($cogs$-monoidais, bigs-monoidais) e explora a interação entre estruturas de monoide e comonoide, identificando condições para categorias bialgébricas e de Frobenius.

Resultados

• Preservação Estrutural: O artigo demonstra que a propriedade de ser uma categoria $gs$-monoidal é preservada sob a formação de categorias de Kleisli para monads simétricos monoidais.
• Preservação Específica:
  • Se uma categoria base $C$ possui projeções (é uma categoria de Markov) e $T$ é um monad afim, a categoria de Kleisli $C_T$ possui projeções.
  • Se $C$ possui diagonais (é uma categoria de restrição cartesiana) e $T$ é um monad relevante, $C_T$ possui diagonais.
  • Se $C$ é monoidal cartesiana e $T$ é um monad $gs$-monoidal, $C_T$ é monoidal cartesiana.
• Categorias de Kleisli Enriquecidas: Para categorias $gs$-monoidais enriquecidas em pré-ordens, se $C$ é oplax cartesiana e $T$ é um monad $gs$-monoidal colax, então a categoria de Kleisli $C_T$ também é oplax cartesiana.
• Bicategorias Cartesianas: O artigo mostra que bicategorias cartesianas correspondem exatamente a categorias bicartesianas oplax posetais que são lax especiais e lax conectadas e satisfazem uma desigualdade específica. Além disso, a categoria de Kleisli de um monad $gs$-monoidal colax sobre uma bicategoria cartesiana é ela mesma uma bicategoria cartesiana.
• Exemplos: A taxonomia é validada através de vários exemplos, incluindo categorias de spans, relações ponderadas (via monads de semianéis) e categorias de conjuntos e relações parciais/total.

Significado e Alegações
Os autores afirmam que sua contribuição principal é trazer clareza e organização a um campo fragmentado, fornecendo um único ponto de referência modular para esses conceitos relacionados. Ao usar diagramas de corda e um conjunto mínimo de axiomas, oferecem uma linguagem intuitiva, porém rigorosa, para comparar noções relacionais.

Quanto à análise da categoria de Kleisli, o artigo afirma que a extensão desses resultados ao contexto enriquecido (categorias enriquecidas em pré-ordens) é, até onde sabem, original. O trabalho visa servir tanto a pesquisadores experientes, reunindo material relevante em um só lugar, quanto a iniciantes, oferecendo uma introdução autocontida. Os autores observam explicitamente que, embora mencionem brevemente a fatoração epi-mono, uma comparação sistemática com técnicas de decomposição, como leis distributivas, está fora do escopo deste artigo, posicionando sua abordagem $gs$-monoidal como uma alternativa distinta e axiomática simples às taxonomias baseadas em duplas categorias.

O artigo conclui delineando direções futuras, incluindo a apresentação combinatória de categorias $gs$-monoidais livres, a extensão para categorias traçadas para sistemas de feedback e investigações adicionais sobre noções alternativas de categorias de Markov e monads afins no contexto da teoria da probabilidade.