Definition 11.1.15. A stably symmetric monoidal \(\infty \)-category is a symmetric monoidal \(\infty \)-category \(C\) which is stable and whose tensor product \(- \otimes - \colon C \times C \to C\) is exact in both variables.
Generated from the authoritative LaTeX source.