Example 7.6.1.8 (Initial and Final Objects). Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. An object $Y \in \operatorname{\mathcal{C}}$ is initial (in the sense of Definition 4.6.7.1) if and only if it is the coproduct of the empty collection of objects of $\operatorname{\mathcal{C}}$ (see Example 7.1.1.6). Similarly, $Y$ is final if and only if it is a product of the empty collection of objects.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$