Definition 15.2.2 (Cocartesian monoidal structure). The symmetric monoidal \(\infty \)-category \((C,\amalg )\) from Proposition 15.2.1 is called the cocartesian monoidal structure on \(C\).

Generated from the authoritative LaTeX source.