Presentably symmetric monoidal \(\infty\)-categories are represented by symmetric monoidal model categories (Q2409820)

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.