Example 9.3.2.4. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category. Then every final object of $\operatorname{\mathcal{C}}$ is subterminal, and every subterminal object of $\operatorname{\mathcal{C}}$ is discrete.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$