Example 4.7.8.11. Let $\lambda $ be an uncountable cardinal and let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is locally $\lambda $-small. Then, for every object $X \in \operatorname{\mathcal{C}}$, the $\infty $-categories $\operatorname{\mathcal{C}}_{/X}$ and $\operatorname{\mathcal{C}}_{X/}$ are locally $\lambda $-small.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$