Monoidal Grothendieck construction

Abstract

We lift the standard equivalence between fibrations and indexed categories to an equivalence between monoidal fibrations and monoidal indexed categories, namely weak monoidal pseudofunctors to the 2-category of categories. In doing so, we investigate the relation between this `global' monoidal structure where the total category is monoidal and the fibration strictly preserves the structure, and a `fibrewise' one where the fibres are monoidal and the reindexing functors strongly preserve the structure, first hinted by Shulman. In particular, when the domain is cocartesian monoidal, lax monoidal structures on the functor to the 2-category of categories correspond to lifts of the functor to the 2-category of monoidal categories. Finally, we give examples where this correspondence appears, spanning from the fundamental and family fibrations to network models and systems.

arXiv comment40 pages

References in corpus (7)

• A 2-categories companion
• Homotopy field theory in dimension 3 and crossed group-categories
• Duality and traces for indexed monoidal categories
• Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams
• String diagrams for traced and compact categories are oriented 1-cobordisms
• Generalization of Algebraic Operations via Enrichment
• On Enriched Fibrations

Cited by in corpus (19)

• Towards Foundations of Categorical Cybernetics
• Open Diagrams via Coend Calculus
• Operads for complex system design specification, analysis and synthesis
• Operadic Modeling of Dynamical Systems: Mathematics and Computation
• Structured versus Decorated Cospans
• A functorial characterization of von Neumann entropy
• Generalized Lens Categories via functors ${\mathcal{C}}^{\mathrm{op}}\to \mathsf{Cat}$
• On Enriched Fibrations
• Categorical composable cryptography
• String Diagrams for Regular Logic (Extended Abstract)
• Graphical Regular Logic
• Categorical composable cryptography: extended version
• Cyber Kittens, or Some First Steps Towards Categorical Cybernetics
• Dependent Optics
• Structured and Decorated Cospans from the Viewpoint of Double Category Theory
• Inner autoequivalences in general and those of monoidal categories in particular
• Regular Calculi I: Graphical Regular Logic
• The Grothendieck construction in the context of tangent categories
• Approximate Inference via Fibrations of Statistical Games