Indexed Monoidal Actions: Coherence in Fibred Structures

• Indexed monoidal actions generalize interaction between monoidal categories and indexed structures, enabling coherent monoidal actions across fibers.
• Applications include network models via decorated cospans and open dynamical systems, illustrating the versatility of indexed actions in systems theory.
• The monoidal Grothendieck construction provides a 2-equivalence between monoidal fibrations and lax pseudofunctors, bridging classical and indexed monoidal frameworks.

Indexed monoidal actions generalize the interaction between monoidal categories and fibered or indexed structures, synthesizing aspects of monoidal fibrations, monoidal indexed categories, and enriched indexed categories. They enable a monoidal structure to act coherently across the fibers of an indexed or fibred category, unifying classical enriched/fibered categories and ordinary monoidal actions. Rigorous accounts of indexed monoidal actions appear in several foundational works, including the monoidal Grothendieck construction (Moeller et al., 2018), enriched indexed categories (Shulman, 2012), O-monoidal Grothendieck construction (Haderi et al., 2024), and the formalism of Cat-indexed actions (Pisani, 2012).

1. Monoidal Fibrations and Indexed Monoidal Categories

A central duality exists between monoidal fibrations and monoidal indexed categories. Given a monoidal base category $B$ with tensor $\otimes_B$ and unit $I_B$, a fibration $p: E \to B$ is called a monoidal fibration if:

• $E$ is monoidal, with tensor $\otimes_E$, unit $I_E$;
• $p$ is a strict monoidal functor $(E, \otimes_E, I_E) \to (B, \otimes_B, I_B)$;
• The tensor $\otimes_E$ preserves cartesian liftings in $E$, which concretely means the comparison map

$$f^* a \otimes_E g^* b \to (f \otimes_B g)^* (a \otimes_E b)$$

is an isomorphism in the fiber $E_{x \otimes_B x'}$.

Dually, a monoidal indexed category over $B$ is a lax monoidal pseudofunctor

$F: B^{op} \to \mathrm{Cat}$

equipped with laxators $$\varphi_{b,b'}: F(b)\times F(b') \to F(b\otimes_{B} b')$$, a unitor $\varphi_0: 1 \to F(I_B)$, and invertible modifications encoding associativity and unit constraints. These provide the necessary structure for monoidal coherence at both base and fiber levels (Moeller et al., 2018).

2. The Monoidal Grothendieck Construction

The monoidal Grothendieck construction extends the well-known equivalence between fibrations and indexed categories to the monoidal setting, yielding a 2-equivalence between monoidal fibrations and lax monoidal pseudofunctors:

$$\{\text{monoidal fibrations } p: E \to B\} \simeq \{\text{lax monoidal pseudofunctors } F: B^{op}\to \mathrm{Cat}\}$$

This equivalence lifts all structural data: monoidal fibred 1-cells correspond to monoidal pseudonatural transformations, and monoidal 2-cells to monoidal modifications (Moeller et al., 2018).

The explicit construction is as follows:

• From a lax monoidal pseudofunctor to a monoidal fibration: The Grothendieck total category $\int F$ is given by pairs $(b,x)$ with $b\in B$, $x\in F(b)$. Monoidal structure on $\int F$ is defined by

$$(b,x)\otimes (b',x') := (b\otimes_B b',\, \varphi_{b,b'}(x,x'))$$

and similar formulas for morphisms and unit.

• From a monoidal fibration to a lax monoidal pseudofunctor: For $p: E \to B$, the indexed category $B^{op} \to \mathrm{Cat}$ sends $b\mapsto E_b$ (the fiber), $f:b\to b' \mapsto f^*: E_{b'} \to E_b$, with fiberwise monoidal structure and strong monoidality of reindexing.

For cartesian (or cocartesian) monoidal $B$, global and fiberwise monoidal structures coincide—given by fiberwise monoidal categories $E_b$ and strong monoidal reindexing $f^*$ (Moeller et al., 2018, Shulman, 2012).

3. Enriched Indexed Categories and Generalized Actions

The theory of indexed monoidal actions is inherently enriched. Let $S$ be a base category with finite products, and let $\mathcal{V}$ be an $S$-indexed monoidal category: a pseudofunctor $S^{op}\to \mathrm{MonCat}$ assigning to each $X\in S$ a monoidal category $(\mathcal{V}^X, \otimes^X, I^X)$ and to each $f:X\to Y$ a strong monoidal functor $f^*:\mathcal{V}^Y\to \mathcal{V}^X$, with appropriate coherence 2-cells.

A $\mathcal{V}$-enriched, $S$-indexed category $\mathcal{A}$ consists of:

• For each $X$, a $\mathcal{V}^X$-enriched category $\mathcal{A}^X$;
• For each $f:X\to Y$, a fully faithful $\mathcal{V}^X$-functor $f^*: (f^*)_\star \mathcal{A}^Y \to \mathcal{A}^X$.

The enrichment in each fiber is equivalent to specifying a monoidal action:

$$\triangleright^X: \mathcal{V}^X\times \mathcal{A}^X\to \mathcal{A}^X$$

subject to

$$\mathcal{A}^X(J\triangleright^X x,\, y) \cong \mathcal{V}^X(J,\, \mathcal{A}^X(x,y))$$

and pseudofunctorial coherence in $X\in S$. This presents indexed monoidal actions as "indexed modules" for an $S$-indexed monoidal category (Shulman, 2012).

4. Coherence, Calculus, and Generalizations

Coherence in indexed monoidal actions is controlled by the interaction between fiberwise and external tensor structures, Beck–Chevalley conditions, and projections. The essential three-fold correspondence—external, fiberwise, and "canceling" tensor calculus—unifies the behavior of tensors, internal homs, and limits/colimits in the enriched indexed context (Shulman, 2012).

Weighted limits and colimits in this context utilize the machinery of profunctors and their right/left hom in the associated "equipment." The existence and computation of limits and colimits assemble fiberwise behaviors compatible along reindexing, producing a theory that combines enriched, indexed, and classical category theory (Shulman, 2012).

For structured compositions (e.g., O-monoids), the generalization extends to $\mathcal{O}$-monoidal indexed categories, i.e., O-pseudomonoids in a suitable 2-category, often DFib (discrete fibrations) (Haderi et al., 2024). Grothendieck constructions at this level implement a 2-equivalence between lax O-monoidal functors and strict O-monoidal fibrations, so that indexed monoidal actions in this sense correspond to assigning an O-algebra structure to each fiber, varying functorially along the base.

5. Concrete and Enriched Examples

• Fundamental opfibration: For a monoidal category $C$, the codomain functor $\mathrm{cod}: \mathrm{Arr}(C)\to C$ yields a monoidal fibration; its associated indexed category sends $b\mapsto C/b$, with monoidal structure induced by colimits or coproducts (Moeller et al., 2018).
• Family fibration: For any monoidal $M$, the Grothendieck construction yields $\mathrm{Fam}(M)\to \mathrm{Set}$, corresponding to the indexed functor $X\mapsto M^X$ with pointwise tensor (Moeller et al., 2018).
• Presheaf case: For $\mathcal{V}_X = \mathrm{Set}^{X^{op}}$ and $\mathcal{M}_X = (\mathrm{Set}^X)^{op}$, the action $(A\circ_X M)_x = M_x^{A_x}$ is biclosed, with left and right adjoints given by pointwise hom-sets (Pisani, 2012).
• Enriched analogues: For complete and cocomplete symmetric monoidal closed $\mathcal{V}$, the fiberwise action $(A\circ_X M)_x = [A_x, M_x]_\mathcal{V}$ retains the biclosed, monoidal, and adjoint structure (Pisani, 2012).

Indexed monoidal actions appear in applications such as network models and decorated cospans (via symmetric lax monoidal functors $$F: (\mathrm{FinSet},+,0)\to (\mathrm{Set},\times,1)$$), and in the study of systems via open dynamical systems and wiring diagrams (Moeller et al., 2018).

6. Morphisms, Adjunctions, and Structural Features

Morphisms between indexed monoidal actions, or between complemented categories in the Cat-indexed setting, are required to preserve monoidal structure, action, and adjunctions up to coherent isomorphism. For strong morphisms, this entails:

• The functor is strong monoidal closed;
• The reindexing functor preserves the action up to coherent isomorphism;
• Both admit adjoints in the appropriate directions (Pisani, 2012).

Adjunctions such as the comprehension adjunction relate categories of elements and categories of profunctors—key in the organization of enriched and indexed monoidal structures, allowing for constructions like the free cocompletion given by Yoneda embeddings (Shulman, 2012).

7. Extensions and Connections

The formalism of indexed monoidal actions synthesizes classical and enriched category theory with fibrations and indexed structures, supporting generalizations to symmetric, closed, and operadic settings. Under mild completeness hypotheses, the triple tensor–hom calculi, theory of limits/colimits, Day convolution for cocompletion, and connection to bicategorical traces (notably for duality/refinements such as the Reidemeister trace) demonstrate the power and flexibility of indexed monoidal actions (Ponto et al., 2012).

A plausible implication is that further developments will continue to exploit the interplay between global (total-category) and fiberwise behaviors, with operadic generalizations ($\mathcal{O}$-monoidal) providing flexible frameworks for parametrized and structured categories (Haderi et al., 2024). This suggests a natural pathway to new applications in categorical representation theory, higher category theory, and beyond.