Definition 9.2.9.4. Let $\kappa \leq \lambda $ be regular cardinals and let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be an inner fibration of simplicial sets. We will say that $U$ is $(\kappa ,\lambda )$-cocomplete if, for every $n$-simplex $\sigma : \Delta ^ n \rightarrow \operatorname{\mathcal{C}}$, the fiber product $\operatorname{\mathcal{E}}_{\sigma } = \Delta ^ n \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{E}}$ is a $(\kappa ,\lambda )$-cocomplete $\infty $-category (in the sense of Definition 9.2.1.3).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$