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
- 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?)
- 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
- 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)- Approximate inference via fibrations of statistical games
- Structured and decorated cospans from the viewpoint of double category theory
- Inner autoequivalences in general and those of monoidal categories in particular
- Dependent Optics
- Indexed Grothendieck construction
- Pointwise Kan extensions along 2-fibrations and the 2-category of elements
- Monoidally graded manifolds
- Lifting star-autonomy
- Operadic modeling of dynamical systems: mathematics and computation
- Towards foundations of categorical cybernetics
- Constructing set-operads from monoids
- Categorical composable cryptography: extended version
- Categorical composable cryptography
- Monoidal reverse differential categories
- scientific article; zbMATH DE number 7646802 (Why is no real title available?)
- Monoidal relative categories model monoidal -categories
- A diagrammatic view of differential equations in physics
- The third cohomology \(2\)-group
- Monoidal closure of Grothendieck constructions via -tractable monoidal structures and Dialectica formulas
- Presheaves on Lax double functors; or, instances of models of double theories
- Doctrines, modalities and comonads
- Reconstruction theorem for monoid schemes
- A monoidal Grothendieck construction for -categories
- On pseudofunctors sending groups to 2-groups
- Noncommutative differential \(K\)-theory
- Dynamical systems and sheaves
- The Grothendieck construction in the context of tangent categories
- A comonad for Grothendieck fibrations
- String diagrams for regular logic (extended abstract)
- The operadic theory of convexity
- Open diagrams via coend calculus
- Cyber kittens, or some first steps towards categorical cybernetics
- The enriched Grothendieck construction
- Structured cospans
- Operads for complex system design specification, analysis and synthesis
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)
