Corollary 5.1.5.16. Let $\kappa $ be an uncountable regular cardinal and let $U: \operatorname{\mathcal{E}}\rightarrow \operatorname{\mathcal{C}}$ be a locally cartesian fibration of $\infty $-categories. Suppose that $\operatorname{\mathcal{C}}$ is essentially $\kappa $-small. The following conditions are equivalent:
- $(1)$
The $\infty $-category $\operatorname{\mathcal{E}}$ is essentially $\kappa $-small.
- $(2)$
For every vertex $C \in \operatorname{\mathcal{C}}$, the $\infty $-category $\operatorname{\mathcal{E}}_{C} = \{ C\} \times _{\operatorname{\mathcal{C}}} \operatorname{\mathcal{E}}$ is essentially $\kappa $-small.