Definition 22.5.1. A symmetric monoidal \(\infty \)-category \((C,\otimes )\) is called presentably symmetric monoidal if \(C\) is presentable and the tensor product \(-\otimes -\colon C\times C\to C\) preserves small colimits separately in both variables.
Generated from the authoritative LaTeX source.