Presentably symmetric monoidal -categories are represented by symmetric monoidal model categories

DOI10.2140/AGT.2017.17.3189MaRDI QIDQ2409820zbMATH OpenOpenAlexFDO

Authors Thomas Nikolaus, Steffen Sagave

Publication date 16 October 2017

Published in Algebraic \& Geometric Topology (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1506.01475

zbMATH Keywords

presentable infinity categorypresentable symmetric monoidal category

Mathematics Subject Classification ID

Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: We prove the theorem stated in the title. More precisely, we show the stronger statement that every symmetric monoidal left adjoint functor between presentably symmetric monoidal infinity-categories is represented by a strong symmetric monoidal left Quillen functor between simplicial, combinatorial and left proper symmetric monoidal model categories.

Review text

It is known that every combinatorial simplicial model category \(\mathcal{M}\) has an underlying \(\infty\)-category, \(\mathcal{M}_{\infty}\), which is presentable. Moreover, every presentable \(\infty\)-category is, actually, equivalent to the \(\infty\)-category associated with a combinatorial simplicial model category. Now, if \(\mathcal{M}\) is equipped with a symmetric monoidal product that is compatible with the model structure, it is also known that the underlying \(\infty\)-category \(\mathcal{M}_{\infty}\) is a presentable symmetric monoidal \(\infty\)-category. Then, it is natural to pose the question whether every presentable symmetric monoidal \(\infty\)-category arises from a combinatorial symmetric monoidal model category and, in this paper and as its main object, the authors give an affirmative answer to this question.

Recommendations

• Symmetric monoidal categories and \Gamma-categories
• A homotopy theory of coherently commutative monoidal quasi-categories
• Adjoint functor theorems for homotopically enriched categories
• Adjoint functor theorems for -categories
• Homotopy theory of symmetric powers

Cites work

• Algebras and Modules in Monoidal Model Categories
• Combinatorial model categories have presentations
• Diagram spaces and symmetric spectra
• Higher Topos Theory (AM-170)
• On left and right model categories and left and right Bousfield localizations
• Replacing model categories with simplicial ones
• Strictly commutative models for \(E_\infty\) quasi-categories
• Universality of multiplicative infinite loop space machines

Cited in

(19)

• The Beilinson regulator is a map of ring spectra
• The unitary symmetric monoidal model category of small \(C^\ast\)-categories
• The Chow \(t\)-structure on the \(\infty\)-category of motivic spectra
• Tangent categories of algebras over operads
• Enriched \(\infty \)-operads
• Strictly commutative models for \(E_\infty\) quasi-categories
• Admissible replacements for simplicial monoidal model categories
• The six operations in equivariant motivic homotopy theory
• A homotopy theory of coherently commutative monoidal quasi-categories
• MULTIPLICATIVE PARAMETRIZED HOMOTOPY THEORY VIA SYMMETRIC SPECTRA IN RETRACTIVE SPACES
• On rectification and enrichment of infinity properads
• Higher semiadditive algebraic K-theory and redshift
• Monoidal relative categories model monoidal -categories
• On the equivalence of AQFTs and prefactorization algebras
• Generic motives and motivic cohomology of fields
• C^*-categorical prefactorization algebras for superselection sectors and topological order
• Combinatorial model categories are equivalent to presentable quasicategories
• Rigidification of connective comodules
• Infinity-operadic foundations for embedding calculus

This page was built for publication: Presentably symmetric monoidal \(\infty\)-categories are represented by symmetric monoidal model categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2409820)