Strictly commutative models for \(E_\infty\) quasi-categories (Q2354972)

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.