Definition 7.7.4.5. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. We say that $\operatorname{\mathcal{C}}$ has disjoint coproducts if it has an initial object and every pair of objects $X_0, X_1 \in \operatorname{\mathcal{C}}$ have a disjoint coproduct.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$