The main objective of this paper is to construct a symmetric monoidal closed model category of coherently commutative monoidal quasi-categories. We construct another model category structure whose fibrant objects are (essentially) those coCartesian fibrations which represent objects that are known as symmetric monoidal quasi-categories in the literature. We go on to establish a zig zag of Quillen equivalences between the two model categories.
Keywords: Symmetric monoidal quasi-categories, coherently commutative monoidal quasi-categories
2020 MSC: 18N60, 18M05, 18N40, 18N55, 18F25, 19D23
Theory and Applications of Categories, Vol. 37, 2021, No. 16, pp 418-481.