Operadic stabilization need not be monoidal

Remark 18.4.8. The construction \(\oSp (\Mm _C)\) always produces an \(\infty \)-operad whose underlying \(\infty \)-category is \(\Sp (C)\), but this operad need not be the multimorphism operad of a symmetric monoidal \(\infty \)-category. Thus the representability hypothesis in Corollary 18.4.7 is genuine. It does hold when \(C\) is presentably symmetric monoidal; this will follow from the mode-theoretic construction in Corollary 18.5.5.