Definition 15.2.6 (Cocartesian operad). For an \(\infty \)-category \(C\), we refer to the \(\infty \)-operad \(\OpCocart _C := (C^{\amalg },p_C^{\amalg })\) from Proposition 15.2.5 as the cocartesian operad of \(C\).
Generated from the authoritative LaTeX source.