Homodular pseudofunctors and bicategories of modules

This paper establishes the previously unprinted universal property of the bicategory of modules ($\mathscr{W}\text{-}\mathrm{Mod}$) constructed from $\mathscr{W}$-enriched categories, presenting it as an objective generalization of Joyal's homological functors that characterizes the inclusion of a bicategory into its module bicategory as a completion with respect to freely adjoining lax colimits.

The Gist

Here is an explanation of Ross Street's paper, "Homodular pseudofunctors and bicategories of modules," translated into simple, everyday language using analogies.

The Big Picture: Building a Universal Translator

Imagine you are a cartographer trying to map a new continent. You have a detailed map of the land (the existing world of categories and functors), but you realize that to truly understand how things connect, you need a map of the oceans (the world of modules and distributors) that flow between the lands.

This paper is about building a universal translator that takes you from the "Land" to the "Ocean" in the most efficient, rule-abiding way possible. The author, Ross Street, is essentially saying: "We have a specific way of turning maps of land into maps of ocean currents. This paper proves that this specific way is the 'best possible' way to do it, and it works for almost any similar situation."

---

1. The Characters: Land, Water, and Bridges

To understand the paper, we need to meet the main characters:

• The Land ($V$-Cat): Think of this as a collection of islands. Each island is a "category" (a place with points and paths between them). The "land" is the world where we only look at the islands and the direct paths (functors) between them.
• The Ocean ($V$-Mod): This is the world of "modules" (or distributors). Instead of just direct paths, we look at the currents flowing between islands. A current can carry things from Island A to Island B even if there is no direct bridge. It's a more flexible, fluid way of connecting things.
• The Bridge Builder (The Pseudofunctor): This is the machine that takes a direct path on the Land and turns it into a current in the Ocean. The paper focuses on a specific bridge builder called $(−)^*$. It turns a direct path into a "left current" (a specific type of module).

2. The Special Property: "Homodular"

The paper introduces a fancy word: Homodular. Don't let the name scare you. Think of it as a "Good Neighbor" rule.

Imagine you are building a new neighborhood (a "coslice" or a "collage"). You are adding a new house to an existing street.

• The Rule: If you build a house that connects to the street in a specific way (a "cofibration"), the bridge builder must respect that connection.
• The "Homodular" Check: When you push two neighborhoods together (a "bipushout"), the bridge builder must ensure that the currents flowing out of the new combined neighborhood match exactly what you would get if you built the currents separately and then merged them.

If the bridge builder follows this "Good Neighbor" rule, it is Homodular. The paper proves that our specific bridge builder, $(−)^*$, is the ultimate Good Neighbor. It is the universal one, meaning any other bridge builder that follows these rules is just a copycat of this one.

3. The "Collage" (The Construction Site)

A key concept in the paper is the Collage (or coslice).

• Analogy: Imagine you have a pile of bricks (Island A) and a pile of wood (Island B). You want to build a new structure that combines them, but you also want to lay down a specific type of mortar (the module) between them.
• The Result: You get a new, bigger island where the bricks and wood are glued together by the mortar.
• The Paper's Insight: The paper shows that the "Land" (categories) naturally creates these collages, and the "Ocean" (modules) is the perfect place to store the blueprints for them. The bridge builder $(−)^*$ is special because it automatically knows how to build these collages without breaking anything.

4. The "Int" Construction: The Time-Traveling Machine

In the final section, the author talks about the Int construction.

• The Analogy: Imagine you have a machine that takes a current flowing forward and turns it into a loop that can flow backward too.
• The Magic: In the world of modules, you can usually only go from A to B. But the Int construction creates a new world where you can treat "going from A to B" and "going from B to A" as two sides of the same coin. It turns the ocean into a self-contained, autonomous system (like a closed loop of water).
• Why it matters: This allows mathematicians to do "calculus" on these categories—adding, subtracting, and looping currents in a way that feels like standard arithmetic, but for complex mathematical structures.

5. Why Does This Matter? (The "So What?")

You might ask, "Why do we need a universal translator for ocean currents between islands?"

1. Unification: It shows that many different mathematical structures (like sets, vector spaces, or topological spaces) all follow the same underlying rules when you look at how they connect.
2. Efficiency: By proving this bridge builder is "universal," mathematicians don't have to reinvent the wheel every time they encounter a new type of category. They can just say, "Oh, this is a homodular situation; we already know the rules!"
3. Homology and Topology: The introduction mentions "homological functors." In simple terms, this helps mathematicians count holes, loops, and shapes in high-dimensional spaces. This paper provides the rigorous foundation for doing that counting in a very flexible way.

Summary in a Nutshell

Ross Street has written a manual for the Ultimate Connector.

He proves that the way we naturally turn "direct paths" into "fluid currents" is the most perfect, rule-following method possible. This method respects all the complex ways we can glue shapes together (collages) and allows us to build a self-contained system where we can loop and reverse directions (the Int construction).

It's like discovering that the way water flows between islands isn't random; it follows a perfect, universal law that allows us to predict the tides of mathematics itself.

Technical Summary

Here is a detailed technical summary of the paper "Homodular pseudofunctors and bicategories of modules" by Ross Street.

1. Problem Statement

The paper addresses the lack of a unified, explicit formulation of the universal property of the construction of the bicategory of modules ($\mathcal{V}\text{-Mod}$) from the 2-category of enriched categories ($\mathcal{V}\text{-Cat}$). While the inclusion of a bicategory $\mathcal{W}$ into $\mathcal{W}\text{-Mod}$ is known to involve freely adjoining lax colimits (collages), the specific universal characterization of this inclusion as a homodular pseudofunctor had not been formally stated in print, despite being implicitly present in a series of prior works by the author and others.

The author aims to:

1. Define the concept of a homodular pseudofunctor.
2. Prove that the canonical inclusion $(−)^* : \mathcal{V}\text{-Cat} \to \mathcal{V}\text{-Mod}$ is the universal homodular pseudofunctor.
3. Generalize this result to the context of module equipment (a variation of Richard Wood's pro-arrow equipment).
4. Investigate how monoidal structures (coproducts and tensor products) behave under this universal extension.

2. Methodology

The paper employs advanced category theory, specifically within the realms of bicategories, enriched category theory, and 2-dimensional category theory. The methodology proceeds through the following logical steps:

• Foundational Definitions: The author establishes necessary definitions regarding adjoints, coslices (lax colimits), bipushouts, and cofibrations within general bicategories. A key focus is on the relationship between cofibrations and the existence of right adjoints with invertible units/counits.
• Enriched Context: The theory is specialized to $\mathcal{V}\text{-Cat}$ (categories enriched over a symmetric monoidal closed category $\mathcal{V}$) and $\mathcal{V}\text{-Mod}$ (the bicategory of modules/distributors). The construction of coslices in $\mathcal{V}\text{-Mod}$ is explicitly described using "collages."
• Definition of Homodularity: A pseudofunctor $T: \mathcal{K} \to \mathcal{X}$ is defined as homodular if it satisfies two conditions:
  1. It maps cofibrations to morphisms having right adjoints.
  2. It preserves the "mate" isomorphisms arising from bipushout squares involving cofibrations and coopfibrations.
• Universality Proof: The author constructs a "module equipment" (a finitary cosmos $\mathcal{M}$ and a pseudofunctor $Q: \mathcal{K} \to \mathcal{M}^*$) and proves that the inclusion $J: \mathcal{K} \to \mathcal{M}$ is the universal homodular pseudofunctor. This involves defining an extension $\bar{T}$ for any homodular $T$ and proving its coherence with composition and identities.
• Monoidal Analysis: The paper examines how the universal extension interacts with the monoidal structures of $\mathcal{V}\text{-Mod}$ (specifically the coproduct $+$ and tensor $\otimes$), utilizing the Int construction to create autonomous monoidal bicategories.

3. Key Contributions

A. Definition of Homodular Pseudofunctors

The paper introduces the notion of a homodular pseudofunctor. This concept captures the structural behavior of functors that preserve the "module-like" properties of cofibrations and pushouts.

• Condition H1: Maps cofibrations to morphisms with right adjoints.
• Condition H2: Preserves the invertibility of mates in bipushout squares involving cofibrations.

B. Universal Property of the Module Inclusion

The central theorem (Theorem 4.7) establishes that the inclusion pseudofunctor $J: \mathcal{K} \to \mathcal{M}$ (where $\mathcal{M}$ is a module equipment for $\mathcal{K}$) is universal homodular.

• Result: For any homodular pseudofunctor $T: \mathcal{K} \to \mathcal{X}$, there exists a unique (up to equivalence) extension $\bar{T}: \mathcal{M} \to \mathcal{X}$ such that $\bar{T} \circ J \simeq T$.
• Specific Application: The inclusion $(−)^* : \mathcal{V}\text{-Cat} \to \mathcal{V}\text{-Mod}$ is the universal homodular pseudofunctor with domain $\mathcal{V}\text{-Cat}$. This provides a rigorous categorical justification for why modules are the "free" completion of categories under lax colimits.

C. Connection to Pro-Arrow Equipment

The paper reframes the construction of $\mathcal{V}\text{-Mod}$ within the framework of module equipment (a modification of Wood's pro-arrow equipment). It shows that if a bicategory admits a module equipment, it automatically admits coslices, and the equipment preserves cofibrations.

D. Monoidal Extensions and the Int Construction

• Monoidal Preservation: The paper proves that if the original functor $T$ is strong monoidal (preserving tensor products), its universal extension $\bar{T}$ is also strong monoidal. Similarly, if $T$ preserves coproducts, $\bar{T}$ preserves coproducts.
• Trace Monoidal Structure: The bicategory $\mathcal{V}\text{-Mod}$ is identified as trace monoidal.
• Autonomous Bicategories: The author describes the Int construction (generalizing the construction from sets/relations to general finitary cosmoses) to generate an autonomous monoidal bicategory $i\mathcal{M}$ from $\mathcal{M}$. This allows for the definition of duals and traces in the context of modules.

4. Results

• Proposition 2.1: The inclusion $(−)^*$ preserves bicategorical colimits.
• Corollary 2.2: The inclusion preserves coslices, ensuring that the mate of the 2-morphism in a coslice diagram is invertible.
• Proposition 2.4 & 2.5: Characterization of cofibrations in $\mathcal{V}\text{-Cat}$ as fully faithful functors and equivalences to sieve inclusions.
• Theorem 4.7: The main universality result for module equipment.
• Proposition 4.11 & 4.12: The extension $\bar{T}$ preserves monoidal structures (tensor and coproducts) if $T$ does.
• Lemma 5.1: Canonical isomorphisms for free monads (geometric series) in the context of the Int construction, facilitating the definition of composition in $i\mathcal{M}$.

5. Significance

• Unification of Theory: The paper synthesizes scattered results regarding distributors, modules, and cofibrations into a coherent framework defined by the "homodular" property. It clarifies the precise universal nature of the passage from categories to modules.
• Objective Homological Functor: The work provides an "objective version" of the homological functor concept used by André Joyal, grounding it in the universal properties of bicategories.
• Foundation for Higher Structures: By establishing the universality of $\mathcal{V}\text{-Mod}$ and the behavior of the Int construction, the paper lays the groundwork for further developments in traced monoidal categories, autonomous bicategories, and linear logic applications within enriched category theory.
• Generalization: The results are not limited to $\mathcal{V}\text{-Cat}$ but apply to any bicategory admitting a module equipment, making the theory applicable to topoi, abelian categories, and other higher categorical structures.

In summary, Ross Street provides a definitive categorical characterization of the bicategory of modules as the universal completion of a category under lax colimits, formalized through the lens of homodular pseudofunctors and module equipment.