Homodular pseudofunctors and bicategories of modules

Dit artikel presenteert een tot nu toe ongedrukte universele eigenschap voor de Bénabou-bicategorie van distributoren (modules) die de constructie van $\mathscr{W}\text{-}\mathrm{Mod}$ uit $\mathscr{W}\text{-}\mathrm{Cat}$ beschrijft als een objectieve versie van het homologische functor-concept van André Joyal.

De kern

De Reis van de Bouwmeester: Modules, Spiegels en Universale Regels

Stel je voor dat wiskunde een enorme stad is, vol met verschillende soorten gebouwen (dit noemen wiskundigen categorieën). Sommige gebouwen zijn simpele huizen, andere zijn complexe wolkenkrabbers. In deze paper gaat het over hoe je deze gebouwen kunt verbinden, veranderen en hoe je regels kunt vinden die voor alle gebouwen tegelijk werken.

De auteur, Ross Street, probeert een universele "bouwcode" te vinden die beschrijft hoe je van simpele gebouwen naar complexe netwerken kunt gaan.

1. De Basis: Gebouwen en hun "Spiegelbeelden" (Modules)

Stel je een gebouw voor als een V-categorie. Dit is een verzameling punten (de objecten) met wegen ertussen (de morfismen).

Nu wil je niet alleen binnen één gebouw lopen, maar ook tussen verschillende gebouwen communiceren. Hiervoor introduceert Street het concept van een Module (of "distributeur").

• De Metafoor: Stel je voor dat een module een tussenpersoon of een brug is tussen twee gebouwen.
• Als je een gebouw $A$ hebt en een gebouw $B$, dan is een module een manier om te zeggen: "Hier is hoe je van $A$ naar $B$ kunt reizen, zelfs als er geen directe weg is."
• In de wiskunde noemen ze dit het bicategorie van modules. Het is een soort "super-gebouw" dat alle mogelijke manieren om tussen andere gebouwen te reizen verzamelt.

2. De Magische Lift: Van Gebouw naar Brug

Er is een speciale machine (een pseudofunctor) die een gewoon gebouw ($V$-Cat) omzet in een brug (een module in $V$-Mod).

• Hoe werkt het? Als je een directe weg hebt van punt $X$ naar punt $Y$ in een gebouw, maakt deze machine daar een brug van.
• Het probleem: Soms werkt deze machine niet perfect voor elke situatie. Street vraagt zich af: Is dit de beste, meest universele manier om dit te doen?

3. De "Homodulaire" Regel: De Kunst van het Aanpassen

Hier komt het nieuwe woord in het spel: Homodulair.
Stel je voor dat je een architect bent die een nieuwe wet ontwerpt voor steden.

• Regel 1 (De Lift): Als je een specifieke soort brug (een "cofibatie") hebt, moet je machine er een spiegelbeeld van kunnen maken (een "rechter-adjunct").
• Regel 2 (De Puzzelstukjes): Als je twee steden samenvoegt tot een grotere stad (een "bipushout"), moet de machine ervoor zorgen dat de nieuwe bruggen die ontstaan, logisch aansluiten bij de oude bruggen.

Een homodulair pseudofunctor is dus een architect die deze regels altijd volgt. Street bewijst dat de machine die gebouwen omzet in modules, de universele architect is. Dat betekent: als je een andere architect hebt die ook deze regels volgt, dan is die architect eigenlijk alleen maar een kopie van Streets machine, misschien met een andere verpakking.

4. De "Coslice": Het Bouwen van Nieuwe Werelden

Een belangrijk concept in de paper is de coslice (of collage).

• De Metafoor: Stel je hebt een gebouw $A$ en een brug $u$ die ergens naartoe wijst. Een "coslice" is het bouwen van een nieuwe, grotere stad die het oude gebouw $A$ bevat, maar ook een nieuw stuk land toevoegt waar de brug $u$ naartoe leidt.
• Het is alsof je een bestaand huis uitbreidt met een aanbouw die precies past bij de bestaande structuur.
• Street laat zien dat als je deze uitbreidingen op de juiste manier doet, je automatisch de universele eigenschappen krijgt die je nodig hebt.

5. De "Int"-Constructie: Het Spiegelpaleis

In het laatste deel van de paper (Sectie 5) gaat het over een constructie genaamd Int.

• De Metafoor: Stel je hebt een stad met straten. De Int-constructie is alsof je een spiegelpaleis bouwt.
• In dit paleis kun je niet alleen vooruit lopen, maar ook achteruit. Als je een brug van $A$ naar $B$ hebt, heb je in dit paleis ook een "terugbrug" van $B$ naar $A$.
• Dit maakt het systeem autonoom: alles kan omgekeerd worden. Het is alsof je een taal leert die perfect werkt, ongeacht of je de zin vooruit of achteruit leest.
• Street toont aan dat je dit spiegelpaleis kunt bouwen voor elk type "module-stad", en dat dit een heel krachtige manier is om wiskundige structuren te bestuderen die lijken op kwantummechanica of logica.

Samenvatting in één zin

Ross Street laat zien dat de manier waarop we wiskundige gebouwen omzetten in bruggen (modules) niet zomaar een willekeurige keuze is, maar de universele, perfecte methode is die automatisch alle logische regels volgt, en dat we met deze methode zelfs "spiegelwerelden" kunnen bouwen waar alles omkeerbaar is.

Waarom is dit belangrijk?
Het helpt wiskundigen om complexe systemen (zoals computerwetenschappen, logica of fysica) te begrijpen door te kijken naar de "bruggen" tussen hen, in plaats van alleen naar de gebouwen zelf. Het is de ultieme handleiding voor het verbinden van verschillende werelden.

Technische samenvatting

Hier is een gedetailleerde technische samenvatting van het artikel "Homodular pseudofunctors and bicategories of modules" van Ross Street, geschreven in het Nederlands.

Titel: Homodulaire pseudofunctoren en bicategorieën van modules

Auteur: Ross Street
Datum: 6 maart 2026 (gepubliceerd op arXiv)
Onderwerp: Categorietheorie, verrijkte categorieën, bicategorieën, distributoren.

---

1. Het Probleem en de Context

Het artikel richt zich op het vastleggen van de universele eigenschap van de constructie die een bicategorie $W$-Mod (de bicategorie van $W$-verrijkte categorieën en modules/distributoren) afleidt uit een bicategorie $W$-Cat (de 2-categorie van $W$-verrijkte categorieën).

Hoewel de inbegrepen eigenschappen van deze constructie impliciet verspreid liggen over een reeks eerdere werken (o.a. Street, Wood, Carboni), ontbreekt er een expliciete, gepubliceerde formulering van de universele eigenschap zelf. De auteur wil deze eigenschap objectief definiëren, in de geest van homologische functoren zoals geïntroduceerd door André Joyal. Het centrale vraagstuk is: hoe karakteriseren we de inbedding $V\text{-Cat} \to V\text{-Mod}$ als de "universele homodulaire pseudofunctie"?

Daarnaast onderzoekt het papier de interactie tussen deze constructie en monoidale structuren (coproducten en tensorproducten) en de relatie met het concept van "pro-arrow equipment" (pro-pijl apparatuur) van Richard Wood.

2. Methodologie

De auteur hanteert een strikt categorisch en bicategorisch raamwerk, met de volgende methodologische pijlers:

• Verrijkte Categorieën: De analyse is beperkt tot het geval waar de basis $W$ een enkel object heeft en reduceert tot een monoidale categorie $V$. Dit maakt gebruik van de theorie uit Kelly's standaardwerk over verrijkte categorieën.
• Bicategorische Constructies: Er wordt uitgebreid gebruikgemaakt van concepten zoals:
  • Adjuncties: Links- en rechtsadjuncten binnen bicategorieën.
  • Coslices en Collages: De constructie van "collages" (lax colimieten) voor modules, die fungeren als de bicategorische equivalentie van de "comma categorie".
  • Cofibraties: Een cruciaal concept in dit artikel. Een morfisme wordt een cofibratie genoemd als het een linkse adjunct heeft met een inverteerbare eenheid in de context van coslices.
• Definitie van "Homodulair": De auteur introduceert een nieuwe definitie voor pseudofunctoren die specifiek gedrag vertonen ten opzichte van cofibraties en bipushouts.
• Equipment Theorie: De resultaten worden geïntegreerd in het kader van Wood's "pro-arrow equipment", specifiek een versie genaamd "module equipment".

3. Kernbijdragen en Definities

A. Homodulaire Pseudofunctoren (Sectie 3)

De auteur definieert een pseudofunctie $T: \mathcal{K} \to \mathcal{X}$ als homodulair als aan twee voorwaarden wordt voldaan:

1. H1: Voor elke cofibratie $i$ in $\mathcal{K}$ heeft $Ti$ een rechtsadjunct $Ti^*$.
2. H2: Voor elke bipushout vierkant in $\mathcal{K}$ waarbij $i$ een cofibratie en $j$ een coopfibratie is, is de "mate" (de natuurlijke transformatie afgeleid van de isomorfie in het vierkant) $Tj \circ Ti^* \Rightarrow Tk^* \circ Th$ inverteerbaar.

B. Module Equipment (Sectie 4)

Er wordt een verband gelegd met Richard Wood's theorie. Een module equipment voor een bicategorie $\mathcal{K}$ bestaat uit een eindige cosmos $\mathcal{M}$ en een pseudofunctie $Q: \mathcal{K} \to \mathcal{M}^*$ (waarbij $\mathcal{M}^*$ de subbicategorie is van morfismen met een rechtsadjunct).
De belangrijkste stelling (Theorema 4.7) stelt dat de inbedding $J: \mathcal{K} \to \mathcal{M}$ van een module equipment universeel homodulair is. Dit betekent dat elke andere homodulaire pseudofunctie uit $\mathcal{K}$ uniek (tot equivalentie) kan worden uitgebreid naar $\mathcal{M}$.

C. De Universele Eigenschap van $V\text{-Mod}$

Het artikel bewijst dat de standaard inbedding $(\cdot)^*: V\text{-Cat} \to V\text{-Mod}$ (die een $V$-functor afbeeldt op de bijbehorende linkeradjunct module) de universele homodulaire pseudofunctie is met domein $V\text{-Cat}$.
Dit impliceert dat $V\text{-Mod}$ de "vrije" bicategorie is die wordt gegenereerd door $V\text{-Cat}$ door het vrij toevoegen van lax colimieten (collages) en het respecteren van de homodulaire structuur.

4. Belangrijkste Resultaten

1. Universele Karakterisering: De constructie $V\text{-Cat} \to V\text{-Mod}$ is de universele oplossing voor het probleem van het uitbreiden van een bicategorie met modules, gezien door de lens van homodulariteit.
2. Behoud van Structuur:
   • Als een homodulaire functie $T$ sterk monoidaal is, dan is haar uitbreiding $\bar{T}$ naar de modules ook sterk monoidaal.
   • Als $T$ coproducten behoudt, dan doet $\bar{T}$ dit ook, zowel op het niveau van objecten als op het niveau van hom-categorieën.
3. De Int-construktie (Sectie 5):
   • De auteur beschrijft een constructie genaamd $i\mathcal{M}$ (analoog aan de "Int-construktie" voor getraceerde monoidale categorieën) die een autonome monoidale bicategorie bouwt uit een cosmos $\mathcal{M}$ (zoals $V\text{-Mod}$).
   • Deze constructie maakt gebruik van matrices van modules en de "geometrische reeks" voor endomodules ($R^\odot = \sum R^{\circ n}$), wat leidt tot een structuur die lijkt op de relatie tussen verzamelingen en relaties, maar dan veralgemeend naar verrijkte categorieën.
4. Relatie met Cofibraties: Er wordt aangetoond dat cofibraties in $V\text{-Cat}$ equivalent zijn met de inbeddingen van "zeven" (sieves), en dat deze structuur essentieel is voor het begrijpen van de pushout-constructies in de module-bicategorie.

5. Betekenis en Impact

• Theoretische Verduidelijking: Het artikel vult een gat in de literatuur door de universele eigenschap van de bicategorie van modules expliciet te formuleren. Dit biedt een stevige theoretische basis voor het werken met distributoren in verrijkte contexten.
• Verbinding van Concepten: Het verbindt diverse concepten die vaak los van elkaar worden behandeld: cofibraties, collage-constructies, pro-arrow equipment en homologische functoren.
• Toepassingsgebied: De resultaten zijn relevant voor onderzoekers die werken met:
  • Verrijkte categorietheorie.
  • De theorie van distributoren (modules) in de context van topoi en abelse categorieën (zoals besproken in de voorbeelden).
  • De structuur van getraceerde en autonome monoidale bicategorieën.
• Nieuwe Kader: De introductie van "homodulaire pseudofunctoren" biedt een nieuw instrument om de interactie tussen categorieën en hun modules te analyseren, met name in situaties waar "vrije" uitbreidingen nodig zijn.

Kortom, dit artikel biedt een diepgaande, axiomatische beschrijving van hoe de wereld van modules (distributoren) universeel voortkomt uit de wereld van verrijkte categorieën, en hoe deze relatie de structuur van de onderliggende bicategorieën bepaalt.