Kerodon

Remark 11.5.0.5. Let $\lambda $ be an uncountable cardinal and let $\operatorname{\mathcal{C}}$ be an $\infty $-category which is locally $\lambda $-small. Let $\kappa = \mathrm{ecf}(\lambda )$ be the exponential cofinality of $\lambda $ and let $K$ be a $\kappa $-small simplicial set. Then, in the statements of Proposition 7.4.1.18 and Corollary 7.4.1.19, we can replace $\operatorname{\mathcal{S}}$ by the $\infty $-category $\operatorname{\mathcal{S}}^{< \lambda }$ of $\lambda $-small spaces (see Variant 7.4.1.15).