Strictly commutative models for E_ quasi-categories

DOI10.4310/HHA.2015.V17.N1.A5MaRDI QIDQ2354972zbMATH OpenFDO

Authors Dimitar Kodjabachev, Steffen Sagave

Publication date 27 July 2015

Published in Homology, Homotopy and Applications (Search for Journal in Brave)

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

zbMATH Keywords

E-infinity operadinfinity categoryoperad

Mathematics Subject Classification ID

Simplicial sets and complexes in algebraic topology (55U10) Abstract and axiomatic homotopy theory in algebraic topology (55U35)

Abstract: In this short note we show that E-infinity quasi-categories can be replaced by strictly commutative objects in the larger category of diagrams of simplicial sets indexed by finite sets and injections. This complements earlier work on diagram spaces by Christian Schlichtkrull and the second author.

Review text

This short note gives a method of replacing \(E_\infty\)-quasi-categories by strictly commutative monoids in the category \(\text{sSet}^\mathcal{I}\), where \(\mathcal{I}\) is the category of finite sets and inclusions. This result is useful as it is often easier to construct a strictly commutative monoid in \(\text{sSet}^\mathcal{I}\) than it is to construct an \(E_\infty\)-quasi-category. In more detail, the category of strictly commutative monoids in \(\text{sSet}^\mathcal{I}\) is shown to have a model structure that is left proper with weak equivalences those maps \(f\) such that \(\text{HoColim}_\mathcal{I}(f)\) is a Joyal equivalence of simplicial sets. This model category is then shown to be Quillen equivalent (by a zig-zag of Quillen pairs) to the model category of \(E_\infty\)-simplicial sets (whose model structure has been lifted from the Joyal model structure on simplicial sets). The adjunctions used in the zig-zag depend upon the choice of \(E_\infty\)-operad.

Recommendations

• Model structures on commutative monoids in general model categories
• A homotopy theory of coherently commutative monoidal quasi-categories
• Presentably symmetric monoidal \(\infty\)-categories are represented by symmetric monoidal model categories
• Morita homotopy theory for (\(\infty\),1)-categories and \(\infty\)-operads
• The 2-category theory of quasi-categories

Cited in

(7)

• Model structures on commutative monoids in general model categories
• Presentably symmetric monoidal \(\infty\)-categories are represented by symmetric monoidal model categories
• A homotopy theory of coherently commutative monoidal quasi-categories
• Parsummable categories as a strictification of symmetric monoidal categories
• Symmetric monoidal categories and \Gamma-categories
• Functors (between \(\infty \)-categories) that aren't strictly unital
• A Quillen model category structure on some categories of comonoids

This page was built for publication: Strictly commutative models for \(E_\infty\) quasi-categories

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