Remark 9.3.2.7. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category and let $X$ be an object of $\operatorname{\mathcal{C}}$. If $X$ is discrete, then the canonical map $\mathrm{h} \mathit{(\operatorname{\mathcal{C}}_{/X} )} \rightarrow (\mathrm{h} \mathit{\operatorname{\mathcal{C}}})_{/X}$ is an equivalence of categories. This is a special case of Corollary 9.3.1.15.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$