Homodular pseudofunctors and bicategories of modules

Cet article établit la propriété universelle de la construction du bicatégorie des modules $\mathscr{W}\text{-}\mathrm{Mod}$ à partir de $\mathscr{W}\text{-}\mathrm{Cat}$, en présentant une version objective de la notion de foncteur homologique introduite par André Joyal.

L'essentiel

Imaginez que les mathématiques avancées, en particulier la théorie des catégories, soient comme un immense univers de Lego. Dans cet univers, les "briques" sont des objets (comme des ensembles, des espaces ou des structures logiques) et les "connexions" sont des flèches qui les relient.

Le papier de Ross Street, intitulé "Homodular pseudofunctors and bicategories of modules", propose une nouvelle façon de construire et de comprendre les règles de ce jeu de Lego. Voici une explication simplifiée, sans jargon technique, pour comprendre l'essentiel de son travail.

1. Le problème : Comment relier les mondes ?

Imaginez que vous avez deux mondes différents :

• Le monde des "Choses" (les catégories enrichies) : C'est un monde très rigide, où les objets sont bien définis et les règles sont strictes.
• Le monde des "Relations" (les modules) : C'est un monde plus fluide, où l'on ne regarde pas seulement les objets, mais comment ils peuvent interagir, se transformer ou se connecter de manière flexible.

L'auteur s'intéresse à un pont spécial entre ces deux mondes. Il veut savoir : "Si je prends une règle stricte du monde des 'Choses', comment se transforme-t-elle quand je la lance dans le monde flexible des 'Relations' ?"

2. L'analogie du "Moule à Gâteau" (Les Modules)

Dans ce papier, les "modules" sont comme des moules à gâteau ou des ponts temporaires.

• Si vous avez une fonction stricte (comme une recette précise), le papier explique comment la transformer en un "module" (une relation plus large).
• L'auteur découvre que cette transformation n'est pas n'importe laquelle. Elle possède une propriété magique qu'il appelle "homodulaire".

Qu'est-ce que "homodulaire" ?
Imaginez que vous avez un jeu de construction où vous pouvez ajouter des pièces supplémentaires (des "collages") pour créer de nouvelles formes.

• Une transformation est homodulaire si elle respecte parfaitement la façon dont on ajoute ces nouvelles pièces.
• Si vous prenez deux pièces séparées et que vous les assemblez d'une certaine manière (un "pushout"), la transformation garantit que le résultat dans le nouveau monde est exactement ce qu'il devrait être, sans déformation. C'est comme si votre moule à gâteau gardait toujours la même forme, même si vous changez la taille du four.

3. La "Boîte à Outils Universelle"

Le cœur de la découverte de Street est que cette transformation (de "Choses" vers "Relations") est universelle.

L'analogie de la clé universelle :
Imaginez que vous avez une clé (la transformation) qui ouvre toutes les portes d'un immeuble complexe.

• L'auteur prouve que cette clé est la seule et unique clé capable d'ouvrir toutes les portes d'une certaine catégorie de bâtiments (les catégories enrichies) tout en respectant les règles de l'architecture (les limites et les colimites).
• Si quelqu'un d'autre essaie de construire un pont entre ces deux mondes, il finira par utiliser exactement la même méthode que celle décrite par Street, ou une version équivalente. C'est la "meilleure" façon de faire les choses.

4. Les "Cofibrations" : Les Portes d'Entrée

Le papier parle beaucoup de cofibrations.

• Imaginez une cofibration comme une porte d'entrée dans un bâtiment. C'est une façon très spécifique d'entrer dans un système sans le casser.
• Street montre que si vous entrez par ces portes spéciales, votre transformation "homodulaire" fonctionne parfaitement. Si vous essayez d'entrer par une fenêtre (une méthode non-standard), tout peut s'effondrer.
• Il prouve que dans le monde des catégories enrichies, toutes les "portes d'entrée" valides sont en fait des inclusions de sous-ensembles très propres (comme ajouter une nouvelle pièce à un puzzle sans modifier les pièces existantes).

5. Le "Construction Int" : Le Monde des Machines à Rembobiner

Vers la fin, l'auteur parle d'une construction appelée "Int".

• Imaginez une machine à rembobiner une vidéo. Si vous avez une relation qui va de A vers B, cette construction crée un nouveau monde où vous pouvez aussi aller de B vers A, comme si vous aviez un bouton "retour" ou "inverse".
• C'est une façon de rendre le monde des relations autonome (capable de se retourner sur lui-même).
• Street montre comment prendre un monde de relations (comme les modules) et y ajouter ce bouton "retour" pour créer un système mathématique très puissant et équilibré, capable de modéliser des phénomènes complexes comme les boucles de rétroaction ou les cycles.

En résumé

Ce papier est une carte au trésor pour les mathématiciens qui travaillent sur la structure profonde des mathématiques.

1. Il définit une règle précise (homodulaire) pour passer du monde rigide au monde flexible.
2. Il prouve que cette règle est la meilleure possible (universelle) : on ne peut pas faire mieux.
3. Il montre comment utiliser cette règle pour construire des machines mathématiques capables de "se retourner" (la construction Int), ce qui est crucial pour comprendre des concepts comme la logique, la physique quantique ou l'informatique théorique.

C'est un travail de fondation : il ne construit pas une maison, il s'assure que les fondations sont solides, que les portes s'ouvrent correctement et que l'on peut ajouter des étages sans que tout ne s'effondre.

Résumé technique

Voici un résumé technique détaillé de l'article « Homodular pseudofunctors and bicategories of modules » de Ross Street, rédigé en français.

Titre

Homodular pseudofoncteurs et bicatégories de modules

1. Problématique et Contexte

L'article s'attaque à la caractérisation universelle de la construction de la bicatégorie des modules (ou distributeurs) $V\text{-Mod}$ à partir de la 2-catégorie des catégories enrichies $V\text{-Cat}$, où $V$ est une catégorie monoidale symétrique fermée.

Bien que la propriété universelle de la bicatégorie de Bénabou des distributeurs ait été implicitement explorée dans une série de travaux antérieurs (cités comme [7, 23, 3, 13, 14, 28, 30, 31, 4, 9]), l'auteur note qu'une formulation explicite et complète de cette propriété universelle n'avait pas encore été publiée. Le but est de fournir une version « objective » de la notion de foncteur homologique utilisée par André Joyal, en se concentrant spécifiquement sur la propriété universelle de l'inclusion $V\text{-Cat} \to V\text{-Mod}$.

Le problème central est de comprendre comment les cofibrations (et les concepts associés comme les coslices et les bipushouts) émergent naturellement dans cette construction et comment elles permettent de définir une classe de foncteurs, les « pseudofoncteurs homodulaires », dont l'inclusion canonique est l'exemple universel.

2. Méthodologie

L'approche de l'article repose sur une analyse fine de la structure bicatégorique, en combinant la théorie des catégories enrichies, la théorie des adjonctions et la théorie des équipements (equipment) de Richard Wood.

• Analyse des cofibrations et des coslices : La première section établit les fondements en étudiant les morphismes ayant un adjoint à droite, les coslices (limites colimites lax), les bipushouts et les cofibrations dans un contexte bicatégorique général. L'auteur démontre des propriétés clés reliant les adjonctions aux morphismes de coslices (collages).
• Restriction aux catégories enrichies : L'étude se concentre ensuite sur le cas où la base $W$ est une catégorie monoidale $V$. L'inclusion $(−)^* : V\text{-Cat} \to V\text{-Mod}$ qui associe à un foncteur $f$ le module $f^*$ est analysée.
• Définition des pseudofoncteurs homodulaires : L'auteur introduit une nouvelle classe de morphismes entre bicatégories, les « pseudofoncteurs homodulaires ». Une telle foncteur $T$ doit satisfaire deux conditions :
  1. $T$ préserve les adjoints à droite pour les cofibrations.
  2. $T$ préserve les « mates » (transposés) des isomorphismes dans les carrés bipushout impliquant des cofibrations et des coopfibrations.
• Théorie des Équipements de Modules : La section 4 relie ces concepts à la notion d'équipement de pro-flèches (pro-arrow equipment) de Wood. L'auteur définit un « équipement de modules » et démontre que l'inclusion d'une bicatégorie dans son équivalent de modules est universelle pour la propriété homodulaire.
• Construction Int : La dernière section explore la structure monoidale de la bicatégorie des modules, en particulier la construction « Int » (introduction d'un objet dual) qui transforme une bicatégorie monoidale en une bicatégorie monoidale autonome.

3. Contributions Clés et Résultats

A. Définition et Caractérisation des Pseudofoncteurs Homodulaires

L'article définit formellement les pseudofoncteurs homodulaires. Le résultat principal (Théorème 4.7) établit que l'inclusion canonique $J : K \to M$ d'un équipement de modules est universelle parmi les pseudofoncteurs homodulaires partant de $K$.
Cela signifie que pour tout pseudofoncteur homodulaire $T : K \to X$, il existe un unique (à équivalence près) pseudofoncteur $\bar{T} : M \to X$ tel que $\bar{T} \circ J \simeq T$.

B. Application à $V\text{-Cat} \to V\text{-Mod}$

L'auteur applique ce cadre général au cas classique des catégories enrichies.

• Théorème : L'inclusion $(−)^* : V\text{-Cat} \to V\text{-Mod}$ est le pseudofoncteur homodulaire universel dont le domaine est $V\text{-Cat}$.
• Cela généralise et unifie des résultats antérieurs sur la complétion de Cauchy et les colimites libres (collages).
• Il est démontré que les cofibrations dans $V\text{-Cat}$ sont équivalentes aux inclusions de « sieves » (sous-catégories pleines fermées par sous-objets).

C. Propriétés Monoidales

L'article examine comment les structures monoidales (coproduits $+$ et produit tensoriel $\otimes$) se comportent sous cette universalité :

• La bicatégorie $V\text{-Mod}$ est montrée être monoidale tracée (trace monoidal) de manière naturelle.
• Si un foncteur homodulaire $T$ est fort monoidal, son extension $\bar{T}$ à $V\text{-Mod}$ l'est également.
• Si $T$ préserve les coproduits, alors $\bar{T}$ préserve les coproduits et les sommes directes dans les catégories d'hom.

D. La Construction Int pour les Modules

En s'inspirant de la construction de Joyal, Street et Verity pour les relations, l'auteur définit une construction $iM$ à partir d'un cosmos finitaire $M$ (comme $V\text{-Mod}$).

• Les objets de $iM$ sont des paires $(X, U)$.
• Les morphismes sont des matrices de modules $2 \times 2$.
• Cette construction produit une bicatégorie monoidale autonome (autonomous monoidal bicategory), généralisant la catégorie des relations avec union disjointe.

4. Signification et Impact

Cet article apporte une clarification théorique majeure dans la théorie des catégories supérieures :

1. Unification Conceptuelle : Il relie la théorie des modules (distributeurs) à la théorie des cofibrations et des équipements de Wood, offrant un cadre unifié pour comprendre la complétion des catégories enrichies.
2. Propriété Universelle Explicite : Il fournit la première formulation imprimée explicite de la propriété universelle de l'inclusion $V\text{-Cat} \to V\text{-Mod}$ en termes de « homodularité », comblant un vide dans la littérature qui reposait auparavant sur des résultats dispersés.
3. Outils pour l'Algèbre Homologique : En reliant ces concepts à la notion de foncteur homologique de Joyal, l'article ouvre des pistes pour l'étude de l'homologie dans des contextes catégoriques généralisés.
4. Généralisation des Structures Monoidales : La description de la structure tracée et autonome sur $V\text{-Mod}$ via la construction $Int$ enrichit la compréhension des structures algébriques dans les bicatégories, avec des applications potentielles en théorie des nœuds, en logique et en informatique théorique (via les catégories de relations et les modules).

En résumé, cet article pose les fondations rigoureuses pour l'étude des modules comme complétion universelle des catégories enrichies, en introduisant la notion technique de « homodularité » comme clé de voûte de cette construction.