Kerodon

$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$

Example 6.2.2.5. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category, and let $\operatorname{\mathcal{C}}^{\triangleright } \simeq \operatorname{\mathcal{C}}\star \{ X\} $ denote the right cone on $\operatorname{\mathcal{C}}$. Then the cone point $\{ X \} $ is a reflective subcategory of $\operatorname{\mathcal{C}}^{\triangleright }$.