Proposition 11.5.0.8. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $\operatorname{\mathcal{C}}' \subseteq \operatorname{\mathcal{C}}$ be a reflective subcategory. If $\operatorname{\mathcal{C}}$ has a final object $X$, then $\operatorname{\mathcal{C}}'$ contains an object which is isomorphic to $X$. In particular, if $\operatorname{\mathcal{C}}'$ is replete, then it contains every final object of $\operatorname{\mathcal{C}}$.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$