Remark 7.6.2.15. 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.7.5.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$