Cores and localizations of $(\infty,\infty)$-categories

Este artigo compara duas abordagens para definir $(\infty,\infty)$-categorias como limites de $(\infty,d)$-categorias quando $d \to \infty$ — através de núcleos (cores) e localizações — demonstrando que a versão obtida por localização é uma localização reflexiva da versão obtida por núcleo, enquanto também investiga localizações intermediárias baseadas em noções de invertibilidade que surgem apenas no limite infinito.

O essencial

Imagine que você está tentando descrever a estrutura de um universo de regras e conexões, como um jogo de tabuleiro extremamente complexo ou uma rede social infinita. Os matemáticos chamam isso de categorias.

Neste artigo, os autores (Ozornova, Rovelli e Walde) estão explorando o que acontece quando essas categorias têm infinitas camadas de regras. Vamos chamar isso de "Categorias Infinitas".

O Problema: O Labirinto Infinito

Pense em uma categoria como uma cidade:

• Nível 0: São as pessoas (objetos).
• Nível 1: São as ruas que ligam as pessoas (setas/funções).
• Nível 2: São as "regras de trânsito" que dizem como uma rua se transforma em outra (setas entre setas).
• Nível 3: São as regras sobre como as regras de trânsito funcionam.
• ...e assim por diante, até o infinito.

O grande dilema é: O que significa ser "invertível" (ou seja, poder voltar para trás) nesse mundo infinito?

Em um jogo normal, se você pode ir de A para B e voltar de B para A, você diz que o caminho é reversível. Mas, em um mundo infinito, para voltar, você precisa de uma "regra" que diga que o caminho de volta é o inverso. E para provar que essa regra é válida, você precisa de outra regra sobre ela, e assim por diante, para sempre. É um "boca de lobo" de definições que nunca termina.

As Duas Soluções (Os Dois Lados da Moeda)

Os autores mostram que existem duas maneiras principais de tentar resolver esse infinito, e elas levam a dois "mundos" diferentes de categorias infinitas:

1. O Mundo "Core" (O Núcleo): Imagine que você pega esse universo complexo e decide apagar todas as regras que não são perfeitamente reversíveis. Você fica apenas com o que é estritamente, perfeitamente simétrico. É como limpar uma sala bagunçada jogando fora tudo que não é um objeto essencial.

   • Resultado: Um mundo muito "limpo", mas que pode ter perdido muita informação interessante sobre como as coisas se conectam.

2. O Mundo "Localization" (A Localização): Imagine que você pega o mesmo universo e decide forçar todas as regras a se tornarem reversíveis. Se algo não é reversível, você inventa uma nova regra mágica que diz "agora isso é reversível". É como se você pegasse um caminho de mão única e colocasse uma placa dizendo "Agora é mão dupla", mesmo que o asfalto não permita.

   • Resultado: Um mundo onde tudo parece reversível, mas que pode ter criado "falsas equivalências" (coisas que parecem iguais, mas não são).

A Grande Descoberta: A Relação entre os Mundos

A parte mais importante do artigo é mostrar como esses dois mundos se relacionam. Eles descobrem que:

• O mundo "Localização" (onde tudo é forçado a ser reversível) é, na verdade, uma versão simplificada do mundo "Core" (o mundo limpo).
• Existe uma "máquina" (um processo matemático) que pega o mundo "Core" e o transforma no mundo "Localização".
• Essa máquina funciona como um filtro. Ela pega o mundo complexo e remove certas "falhas" ou "assimetrias" específicas.

A Analogia da Foto:
Pense no mundo "Core" como uma foto em altíssima resolução, com todos os detalhes, sombras e imperfeições.
O mundo "Localização" é como essa mesma foto, mas com um filtro de "suavização" aplicado. O filtro remove certas imperfeições para deixar a imagem mais "lisa" e uniforme.
O artigo prova que você pode transformar a foto original na versão suavizada, mas não consegue recuperar a foto original apenas olhando para a versão suavizada (porque você perdeu detalhes).

O Que é "Coindução"? (O Conceito Chave)

Para entender o que é "invertível" nesse infinito, os autores usam uma ideia chamada Coindução.

Imagine que você está tentando provar que duas pessoas são "irmãs".

• Indução (o jeito comum): Você olha para os pais delas. Se os pais são os mesmos, elas são irmãs. Você desce até a raiz.
• Coindução (o jeito infinito): Você não olha para a raiz. Você olha para o comportamento delas. Se elas agem como irmãs agora, e se as coisas que elas fazem agora também agem como irmãs, e assim por diante, para sempre... então elas são irmãs.

No mundo infinito, não há um "fim" para chegar. Então, a única maneira de saber se algo é reversível é se ele continuar se comportando como reversível infinitamente.

Conclusão Simples

O artigo diz, basicamente:

1. Existem duas formas de lidar com categorias infinitas: uma que remove o que não é perfeito (Core) e outra que força tudo a ser perfeito (Localization).
2. A forma que "força" a perfeição é, na verdade, uma versão simplificada da primeira.
3. Existe um tipo de "perfeição infinita" chamada completude coindutiva. É como se o universo tivesse uma regra secreta: "Se algo parece reversível em todas as camadas, então é reversível".
4. Os autores mostram que o mundo "Localização" é exatamente o mundo onde essa regra secreta é obedecida.

Em resumo: Eles mapearam a geografia de um universo matemático infinito, mostrando que, embora existam duas formas de olhar para ele, uma delas é apenas uma versão "filtrada" da outra, e que a chave para entender esse infinito está em como as coisas se comportam infinitamente, e não em como elas começam.

Resumo técnico

1. O Problema: A Natureza das (∞, ∞)-Categorias

O artigo aborda uma questão fundamental na teoria das categorias de ordem superior: como definir rigorosamente uma $(\infty, \infty)$-categoria.

• O Dilema da Indução: Para dimensões finitas $d$, uma $(\infty, d)$-categoria é definida indutivamente: objetos formam um espaço (anima), e os morfismos entre eles formam uma $(\infty, d-1)$-categoria. O processo para quando $d$ é finito, pois acima dessa dimensão todos os morfismos são invertíveis.
• O Limite $d \to \infty$: Ao tentar levar esse processo ao infinito, surge um conundrum auto-referencial. A definição de "isomorfismo" (morfismo invertível) depende da existência de inversos, mas a própria noção de igualdade/inversibilidade em dimensões superiores é definida recursivamente. Se a composição é definida apenas "até isomorfismos coerentes", a definição de isomorfismo torna-se circular se não houver um ponto de parada.
• Duas Abordagens Naturais: Existem duas maneiras universais de tentar construir o limite de uma sequência de categorias $(\infty, d)$:
  1. Via Núcleos (Cores): Inverter apenas os morfismos que já são "obviamente" invertíveis em cada etapa, removendo morfismos não-invertíveis de dimensão superior. Isso leva à categoria de $(\infty, \infty)$-categorias da direita (ou right $\infty$-categories), denotada por $\text{Cat}^R_\infty$.
  2. Via Localizações: Inverter formalmente todos os morfismos de dimensão $d+1$ ao passar de $d$ para $d+1$. Isso leva à categoria de $(\infty, \infty)$-categorias da esquerda (ou left $\infty$-categories), denotada por $\text{Cat}^L_\infty$.

O problema central é entender a relação entre essas duas categorias limite e determinar se elas são equivalentes ou se uma é uma localização da outra.

2. Metodologia

Os autores utilizam uma abordagem que combina teoria de categorias sintética, teoria de modelos e abstração axiomática.

• Sistemas Bi-indutivos: Eles abstraem a estrutura das categorias $(\infty, d)$ em um sistema de subcategorias completas $C_0 \subseteq C_1 \subseteq \dots \subseteq C$. Para cada inclusão, existem adjuntos à esquerda ($L_d$, localização) e à direita ($R_d$, núcleo).
• Conceito de $n$-Sobrejetividade: Introduzem e estudam a noção de mapas $n$-sobrejetivos. Um mapa é $n$-sobrejetivo se é sobrejetivo em objetos e induz mapas $(n-1)$-sobrejetivos nos hom-objetos. Isso generaliza a noção de conexidade em topologia.
• Viés (Bias): Definem um "viés" em um sistema bi-indutivo como uma sequência de subcategorias que capturam propriedades de cancelamento e composição de mapas $n$-sobrejetivos. Isso permite provar resultados gerais sem depender de um modelo específico (como simplicial, globular ou cubical).
• Isomorfismos Co-indutivos: Na seção 5, eles investigam noções internas de invertibilidade dentro de uma $(\infty, \infty)$-categoria, definindo isomorfismos co-indutivos (onde a inversão ocorre através de uma torre infinita de inversos) e $\omega$-isomorfismos (inversão em qualquer altura finita, mas não necessariamente uma torre consistente infinita).

3. Principais Contribuições e Resultados

A. Teorema Principal: A Relação entre $\text{Cat}^R_\infty$ e $\text{Cat}^L_\infty$

O resultado central do artigo é o Teorema 4.25, que estabelece:

• Existe uma adjunção entre as categorias de limites:
  $$L: \text{Cat}^R_\infty \rightleftarrows \text{Cat}^L_\infty : R$$
• O funtor $R$ (núcleo) é plenamente fiel.
• O funtor $L$ (localização) é uma localização reflexiva.
• Conclusão: $\text{Cat}^L_\infty$ é a localização de $\text{Cat}^R_\infty$ na classe dos mapas fracamente $\infty$-sobrejetivos (weakly $\infty$-surjective maps).
• Significado: A escolha "da direita" ($\text{Cat}^R_\infty$) é a categoria "maior" e mais rica. A escolha "da esquerda" ($\text{Cat}^L_\infty$) é uma versão "colapsada" onde certas estruturas não-invertíveis são forçadas a se tornarem invertíveis. O funtor $L$ não é plenamente fiel; por exemplo, a categoria de spans (correspondências) torna-se trivial sob $L$.

B. Caracterização via Completude Co-indutiva

Os autores conectam a localização abstrata a propriedades internas de invertibilidade:

• Definem categorias $\infty$-completas co-indutivamente ($\text{Cat}^{\text{coind}}_\infty$) como aquelas onde todo isomorfismo co-indutivo é, de fato, um isomorfismo real.
• Mostram que a localização de $\text{Cat}^R_\infty$ nos mapas $\infty$-sobrejetivos (sem qualificação) resulta exatamente em $\text{Cat}^{\text{coind}}_\infty$.
• Demonstram que $\text{Cat}^L_\infty$ está contida em $\text{Cat}^{\text{coind}}_\infty$, mas a inclusão é estrita (existem categorias co-indutivamente completas que não estão no imagem de $R$).

C. $\omega$-Completude e a Conjectura de Loubaton

• Introduzem o conceito de $\omega$-completude: uma categoria onde todo $\omega$-isomorfismo (inversão em qualquer altura finita) é um isomorfismo.
• Provam que o imagem de $R$ (ou seja, $\text{Cat}^L_\infty$) consiste exatamente nas categorias $\omega$-completas.
• Apresentam um contra-exemplo (devido a Henry-Loubaton) de uma categoria que é co-indutivamente completa, mas não $\omega$-completa, provando que a localização para $\text{Cat}^L_\infty$ é mais forte do que apenas forçar a completude co-indutiva.
• Discutem a Conjectura 5.57 de Loubaton: "A imagem de $R$ consiste precisamente nas categorias $\omega$-completas". O artigo mostra que isso é equivalente a perguntar se a localização $L$ inverte apenas mapas que são $\infty$-sobrejetivos até $\omega$-isomorfismos.

D. Complexos Celulares e Isomorfismos Co-indutivos

• Constroem explicitamente um isomorfismo co-indutivo caminhante (walking coinductive isomorphism) $E$, um complexo celular livre que serve como o "universo" para testar a invertibilidade co-indutiva.
• Demonstram que a noção de isomorfismo co-indutivo é independente da escolha de $E$ e caracteriza-se como a solução máxima de uma fórmula recursiva de invertibilidade.

4. Significado e Impacto

• Resolução de uma Questão Fundamental: O artigo clarifica a ambiguidade histórica sobre o que é uma $(\infty, \infty)$-categoria, mostrando que existem duas noções distintas e bem-comportadas, relacionadas por uma localização reflexiva.
• Distinção entre "Esquerda" e "Direita: A distinção entre $\text{Cat}^L_\infty$ e $\text{Cat}^R_\infty$ é crucial. A versão "da direita" preserva mais estrutura (como a categoria de cobordismos ou spans), enquanto a versão "da esquerda" colapsa essas estruturas em gruposoides ou categorias mais simples.
• Conexão com Teoria de Homotopia: O uso de $n$-sobrejetividade e a conexão com completude de Postnikov e hipercompletude fornecem uma ponte sólida entre a teoria de categorias de ordem superior e a topologia algébrica.
• Ferramentas para Futuras Pesquisas: A introdução de sistemas bi-indutivos com "viés" oferece um quadro axiomático que pode ser aplicado a outras situações de limites de categorias, não apenas no contexto de $(\infty, \infty)$.
• Questões Abertas: O artigo deixa em aberto se a conjectura de Loubaton é verdadeira (se $\text{Cat}^L_\infty$ coincide exatamente com as categorias $\omega$-completas) e se a noção de sobrejetividade até $\omega$-isomorfismos é equivalente à sobrejetividade até $n$-isomorfismos para todo $n$.

Em suma, o trabalho fornece uma fundação rigorosa e estruturada para o estudo de categorias infinitas, distinguindo claramente entre diferentes noções de completude e invertibilidade no limite infinito.