Warning 4.7.5.6. The statement of Proposition 4.7.5.5 is false in the case $\kappa = \aleph _0$. If $S$ is a finite simplicial set, we generally cannot choose a categorical equivalence $f: S \rightarrow \operatorname{\mathcal{D}}$, where $\operatorname{\mathcal{D}}$ is an $\infty $-category which is also a finite simplicial set. See Warning 4.7.4.17.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$