Remark 7.7.3.15. Let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is locally cartesian closed. Then, for every object $Y \in \operatorname{\mathcal{C}}$, the slice $\infty $-category $\operatorname{\mathcal{C}}_{/Y}$ is cartesian closed, and therefore admits finite products. Applying Corollary 7.6.2.17, we conclude that $\operatorname{\mathcal{C}}$ admits pullbacks.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$