Homodular pseudofunctors and bicategories of modules

Este artigo apresenta a propriedade universal da construção do bicategorial de módulos $\mathscr{W}\text{-}\mathrm{Mod}$ a partir de $\mathscr{W}\text{-}\mathrm{Cat}$, oferecendo uma versão objetiva da noção de functor homológico de André Joyal e formalizando uma propriedade de completude que já era conhecida implicitamente na literatura.

O essencial

Imagine que você está tentando organizar uma biblioteca gigante de ideias matemáticas. O autor deste artigo, Ross Street, está propondo uma nova maneira de entender como essas ideias se conectam, especialmente quando elas vêm de diferentes "mundos" ou categorias.

Para explicar isso de forma simples, vamos usar a analogia de construir pontes entre ilhas.

1. O Cenário: Ilhas e Pontes (Categorias e Módulos)

Imagine que cada "Categoría" (um conceito matemático) é uma ilha.

• Ilhas (Categorias): São lugares onde vivem objetos e regras.
• Pessoas viajando (Funções): Normalmente, as pessoas viajam de uma ilha para outra usando barcos diretos (chamados de funções). Isso é o que a matemática tradicional faz.

Mas, e se quisermos entender não apenas quem viaja, mas todas as possíveis conexões entre as ilhas? E se quisermos construir uma "ponte" que não seja apenas uma rota direta, mas um sistema complexo que permite ir e vir, misturar coisas e criar novos caminhos?

É aqui que entra o conceito de Módulos (ou Distribuidores). Em vez de apenas barcos diretos, os "Módulos" são como pontes flutuantes ou sistemas de transporte público que conectam duas ilhas de forma mais flexível. Eles permitem que você "misture" os habitantes de uma ilha com os de outra.

2. O Problema: Como Construir Essas Pontes?

O artigo pergunta: "Qual é a melhor maneira universal de transformar nossas ilhas simples (Categorias) em um sistema gigante de pontes (Módulos)?"

A resposta de Street é que existe uma "fórmula mágica" (uma propriedade universal) para fazer isso. Ele diz que, se você seguir certas regras ao construir essas pontes, você cria o sistema mais completo possível, sem precisar inventar nada novo do zero.

3. Os "Cofibrations": As Pontes Especiais

O texto fala muito sobre cofibrações. Na nossa analogia, imagine que algumas ilhas são "ilhas de entrada" ou "portos de partida" muito especiais.

• Uma cofibração é como uma rampa de acesso perfeita. Quando você constrói uma ponte a partir de uma dessas rampas, ela se encaixa perfeitamente no sistema, sem criar buracos ou emaranhados.
• O autor mostra que, se você usa essas rampas especiais, a construção da sua "ponte de módulos" fica muito mais organizada e previsível.

4. A "Receita Universal" (Homodular Pseudofunctors)

A parte mais técnica do artigo (sobre "pseudofunções homodulares") pode ser traduzida como uma receita de bolo universal.

• Imagine que você tem uma receita básica para fazer bolos (transformar ilhas em pontes).
• Street descobre que existe uma única receita perfeita que funciona para qualquer tipo de bolo que você queira fazer, desde que você siga duas regras simples:
  1. Se você começar com uma "rampa perfeita" (cofibração), o resultado final também deve ter uma "porta de saída perfeita" (um adjunto à direita).
  2. Se você juntar duas pontes (um empurrão ou pushout), a receita deve garantir que a nova ponte gigante continue funcionando perfeitamente.

Ele prova que a maneira como ele transforma "Ilhas" em "Pontes de Módulos" é a única que segue essa receita perfeitamente. É como se dissesse: "Não importa quem você seja, se quiser conectar ilhas dessa forma, você tem que usar o meu método."

5. O "Int": A Máquina de Reutilização

No final, o artigo fala sobre uma construção chamada Int.

• Pense no Int como uma máquina de reciclagem de pontes.
• Você pega uma ponte (um módulo) que vai de um lugar para outro, e a máquina a transforma em um ciclo. Ela permite que você "dobre" a ponte sobre si mesma, criando um sistema onde você pode ir e voltar infinitamente, como um loop de um jogo de vídeo game.
• Isso é útil para criar sistemas matemáticos que são "autônomos" (que se sustentam sozinhos), permitindo fazer contas complexas de forma elegante.

Resumo da Ópera

Em termos simples, Ross Street escreveu este artigo para dizer:

"Existe uma maneira fundamental e única de transformar mundos matemáticos simples em um sistema complexo de conexões (módulos). Se você seguir as regras que eu descrevi (usando rampas especiais chamadas cofibrações), você obterá o sistema mais completo e organizado possível. Além disso, mostrei como usar esse sistema para criar máquinas de loop (Int) que permitem fazer matemática de forma mais poderosa e flexível."

É como se ele tivesse encontrado o plano mestre de arquitetura para construir a cidade de conexões matemáticas mais eficiente que já existiu, garantindo que todas as pontes se encaixem perfeitamente.

Resumo técnico

Resumo Técnico: Homodular Pseudofunctors and Bicategories of Modules

Autor: Ross Street
Data: Março de 2026 (versão arXiv)
Classificação Matemática: 18D20; 18D30; 18D60; 18N10
Palavras-chave: Categoria enriquecida, bicategoria, distribuidor, módulo, categoria fibrada, cofibração, equipment (equipamento).

---

1. Problema e Motivação

O artigo aborda a propriedade universal da construção da bicategoria de módulos ($W\text{-Mod}$) a partir da 2-categoria de categorias enriquecidas ($W\text{-Cat}$). Embora a propriedade universal da bicategoria de distribuidores (módulos) de Bénabou tenha sido implicitamente explorada em uma série de trabalhos anteriores (como [7, 23, 3, 31, 9]), o autor argumenta que uma formulação explícita e completa dessa universalidade, especificamente no contexto de pseudofuntores homodulares, não havia sido publicada anteriormente.

O objetivo central é caracterizar a inclusão $V\text{-Cat} \to V\text{-Mod}$ (onde $V$ é uma categoria monoidal simétrica fechada) não apenas como uma inclusão, mas como o pseudofunctor homodular universal a partir de $V\text{-Cat}$. O trabalho conecta conceitos de teoria das categorias enriquecidas, adjunções, cofibrações e a teoria de "pro-arrow equipment" de Richard Wood.

2. Metodologia

A metodologia do artigo é puramente teórica e estrutural, baseada na teoria de 2-categorias e bicategorias. O autor desenvolve o trabalho através das seguintes etapas:

1. Fundamentos de Adjuntos e Co-slices: A Seção 1 estabelece a linguagem técnica necessária, definindo adjuntos em bicategorias, slices (categorias de vírgula), bipushouts e, crucialmente, o conceito de cofibração (uma fibração na bicategoria oposta). O autor demonstra como cofibrações e bipushouts interagem com adjunções e limites.
2. Construção de Módulos: A Seção 2 revisita a construção da bicategoria $V\text{-Mod}$, onde os objetos são categorias $V$-enriquecidas e os morfismos são módulos (distribuidores). A inclusão $(−)^*: V\text{-Cat} \to V\text{-Mod}$ é analisada, mostrando que ela preserva colimites bicategoriais e, especificamente, co-slices.
3. Definição de Homodularidade: A Seção 3 introduz o conceito central do artigo: pseudofuntores homodulares. Um pseudofunctor $T: \mathcal{K} \to \mathcal{X}$ é definido como homodular se satisfaz duas condições:
   • (H1) Mapeia cofibrações em morfismos que possuem adjuntos direitos.
   • (H2) Preserva a estrutura de bipushouts envolvendo cofibrações e coopfibrações através de isomorfismos de "mates" (transformações naturais associadas a adjunções).
4. Universalidade e Equipment: A Seção 4 conecta a homodularidade à teoria de "module equipment" de Wood. O autor prova que a inclusão de uma bicategoria em seu equipment de módulos é o exemplo universal de um pseudofunctor homodular.
5. Construção Int: A Seção 5 estende a análise para estruturas monoidais, descrevendo a construção "Int" (análoga à construção de traço em categorias monoidais) para módulos, resultando em uma bicategoria monoidal autônoma.

3. Principais Contribuições e Resultados

A. Definição de Pseudofuntores Homodulares

O autor formaliza a noção de homodular pseudofunctor. Este é um conceito que generaliza a ideia de funtores homológicos (no sentido de André Joyal) para o contexto de bicategorias. A propriedade chave é a preservação de certas estruturas de colimites (co-slices e bipushouts) através de adjunções.

B. Universalidade da Inclusão $V\text{-Cat} \to V\text{-Mod}$

O resultado principal (Teorema 4.7 e Exemplo 4.9) estabelece que o pseudofunctor de inclusão:
$$(-)^*: V\text{-Cat} \to V\text{-Mod}$$
é o pseudofunctor homodular universal com domínio em $V\text{-Cat}$.

• Significado: Qualquer outro pseudofunctor homodular $T: V\text{-Cat} \to \mathcal{X}$ fatora-se essencialmente de forma única através de $V\text{-Mod}$. Isso significa que $V\text{-Mod}$ é a "extensão livre" de $V\text{-Cat}$ que adiciona colimites lax (collages) de maneira compatível com a estrutura de adjunção.

C. Conexão com Equipment de Pro-arrow

O trabalho demonstra que a noção de "module equipment" (um cosmos finitário $M$ e uma inclusão $K \to M^*$) fornece o quadro geral para a universalidade. O autor prova que a inclusão $M^* \to M$ é universal homodular se $M$ for um cosmos finitário. Isso unifica a teoria de módulos com a teoria de equipment de Wood.

D. Preservação de Estruturas Monoidais

O artigo investiga como as estruturas monoidais (coproduto $+$ e tensor $\otimes$) se comportam sob essa universalidade:

• A bicategoria $V\text{-Mod}$ é mostrada como sendo monoidal traçada (trace monoidal) de forma bicategórica.
• O autor descreve a construção $iM$ (uma versão bicategórica da construção Int de Joyal-Street-Verity), que transforma uma bicategoria de módulos em uma bicategoria monoidal autônoma.
• É provado que se um pseudofunctor homodular $T$ é forte monoidal, sua extensão $\bar{T}$ a $V\text{-Mod}$ também é forte monoidal.

E. Caracterização de Cofibrações em $V\text{-Cat}$

O artigo fornece uma caracterização clara de cofibrações no contexto de categorias enriquecidas:

• Toda cofibração em $V\text{-Cat}$ é equivalente a uma inclusão de um "sieve" (subcategoria cheia com propriedades específicas de homs nulos).
• Isso conecta a teoria abstrata de cofibrações com construções concretas de subcategorias.

4. Significado e Impacto

Este trabalho é significativo por várias razões:

1. Unificação Conceitual: Ele fornece uma definição precisa e universal para a construção de módulos sobre categorias enriquecidas, preenchendo uma lacuna na literatura sobre a propriedade universal de $V\text{-Mod}$.
2. Generalização de Funtores Homológicos: Ao introduzir a "homodularidade", o artigo oferece uma ferramenta poderosa para estudar funtores que preservam estruturas de homologia e cofibrações em contextos gerais de teoria das categorias.
3. Aplicabilidade em Teoria de Topos e Categorias Abelianas: O artigo cita exemplos onde a homodularidade se aplica a topoi e categorias abelianas, sugerindo que a teoria pode ser usada para unificar resultados dispersos nessas áreas.
4. Base para Estruturas Monoidais Avançadas: A descrição da construção $iM$ e da estrutura traçada em $V\text{-Mod}$ abre caminho para o estudo de invariantes topológicos e algébricos em contextos de categorias superiores (higher categories), conectando-se com a teoria de categorias traçadas e álgebras de Hopf.

Em suma, o artigo de Ross Street estabelece os fundamentos axiomáticos e universais para a teoria de módulos enriquecidos, demonstrando que a passagem de categorias para módulos é o processo universal de "adicionar colimites lax" de maneira compatível com a dualidade e adjunção.