Monoidal Grothendieck construction
From MaRDI portal
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.
Recommendations
- Monoid extensions and the Grothendieck construction
- Monoidal structures
- Cohomology of the Grothendieck construction
- The monoidal Eilenberg-Moore construction and bialgebroids
- scientific article; zbMATH DE number 970065
- Cohomology of monoid algebras
- The monoidal nature of the Feistel-Toffoli construction
- Publication:3209336
- Monoidal structures for \(N\)-complexes
- scientific article; zbMATH DE number 3843975
Cites work
- A 2-categories companion
- A Categorical Approach to Turaev's Hopf Group-Coalgebras
- Algebras of Open Dynamical Systems on the Operad of Wiring Diagrams
- Braided tensor categories
- Categorical logic and type theory
- Categories for Quantum Theory
- Coherence for tricategories
- Coherence in Three-Dimensional Category Theory
- Decorated cospans
- Descent for monads
- Duality and traces for indexed monoidal categories
- Dynamical systems and sheaves
- Enriched duality in double categories: \(\mathcal{V}\)-categories and \(\mathcal{V}\)-cocategories
- Fibred 2-categories and bicategories
- Framed bicategories and monoidal fibrations
- Hopf measuring comonoids and enrichment
- Hopf monoidal comonads
- scientific article; zbMATH DE number 3680046 (Why is no real title available?)
- scientific article; zbMATH DE number 3522194 (Why is no real title available?)
- scientific article; zbMATH DE number 1463531 (Why is no real title available?)
- scientific article; zbMATH DE number 2152035 (Why is no real title available?)
- scientific article; zbMATH DE number 1840601 (Why is no real title available?)
- scientific article; zbMATH DE number 822489 (Why is no real title available?)
- scientific article; zbMATH DE number 1418815 (Why is no real title available?)
- scientific article; zbMATH DE number 3305157 (Why is no real title available?)
- Hypergraph categories
- Monoidal bicategories and Hopf algebroids
- Network models
- Noncommutative network models
- On Enriched Fibrations
- Some properties of Fib as a fibred \(2\)-category
- String diagrams for traced and compact categories are oriented 1-cobordisms
- The enriched Grothendieck construction
- The periodic table of n-categories. II: Degenerate tricategories
Cited in
(35)- The enriched Grothendieck construction
- Reconstruction theorem for monoid schemes
- Noncommutative differential \(K\)-theory
- Monoidally graded manifolds
- Dynamical systems and sheaves
- On pseudofunctors sending groups to 2-groups
- Constructing set-operads from monoids
- String diagrams for regular logic (extended abstract)
- Open diagrams via coend calculus
- Cyber kittens, or some first steps towards categorical cybernetics
- Doctrines, modalities and comonads
- Structured cospans
- scientific article; zbMATH DE number 7646802 (Why is no real title available?)
- Monoidal reverse differential categories
- The third cohomology \(2\)-group
- Dependent Optics
- Operadic modeling of dynamical systems: mathematics and computation
- Towards foundations of categorical cybernetics
- Categorical composable cryptography: extended version
- Categorical composable cryptography
- A diagrammatic view of differential equations in physics
- A comonad for Grothendieck fibrations
- Inner autoequivalences in general and those of monoidal categories in particular
- Indexed Grothendieck construction
- Pointwise Kan extensions along 2-fibrations and the 2-category of elements
- Monoidal relative categories model monoidal -categories
- Monoidal closure of Grothendieck constructions via -tractable monoidal structures and Dialectica formulas
- A monoidal Grothendieck construction for -categories
- The Grothendieck construction in the context of tangent categories
- Approximate inference via fibrations of statistical games
- Structured and decorated cospans from the viewpoint of double category theory
- The operadic theory of convexity
- Operads for complex system design specification, analysis and synthesis
- Lifting star-autonomy
- Presheaves on Lax double functors; or, instances of models of double theories
This page was built for publication: Monoidal Grothendieck construction
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3305544)
