Example 9.2.2.5. If $K$ is a $\kappa $-small simplicial set, then the limit functor $\varprojlim : \operatorname{Fun}(K, \operatorname{\mathcal{S}}) \rightarrow \operatorname{\mathcal{S}}$ is $\kappa $-finitary: this is a refomulation of Theorem 9.1.5.9 (see Proposition 7.7.7.1). In particular, if $K$ is a finite simplicial set, then the functor $\varprojlim : \operatorname{Fun}(K, \operatorname{\mathcal{S}}) \rightarrow \operatorname{\mathcal{S}}$ is finitary.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$