Remark 7.6.2.13. Let $U: \operatorname{\mathcal{C}}\rightarrow \operatorname{\mathcal{D}}$ be a right fibration of $\infty $-categories, and suppose that $\operatorname{\mathcal{D}}$ admits pullbacks. Then $\operatorname{\mathcal{C}}$ also admits pullbacks, and the functor $U$ preserves pullbacks. See Corollary 7.1.6.20.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$