Definition 15.2.14. An \(\infty \)-operad \(\Oo \) is called cocartesian if there exists an equivalence \(\Oo \simeq \OpCocart _C\) for some \(\infty \)-category \(C\). We denote by \(\Op ^{\cocart }_{\infty } \subseteq \Op _{\infty }\) the full subcategory spanned by the cocartesian \(\infty \)-operads.
Generated from the authoritative LaTeX source.