$\Newextarrow{\xRightarrow}{5,5}{0x21D2}$ $\newcommand\empty{}$

Corollary Let $\kappa $ be an uncountable cardinal, let $S$ be a $\kappa $-small simplicial set, and let $K$ be a finite simplicial set. Then the simplicial set $\operatorname{Fun}(K, S)$ is $\kappa $-small.

Proof. Without loss of generality, we may assume that $\kappa $ is the least uncountable cardinal for which $S$ is $\kappa $-small. In particular, $\kappa $ is regular (Remark By virtue of Proposition, it will suffice to show that for every finite simplicial set $L$, the set $\operatorname{Hom}_{\operatorname{Set_{\Delta }}}( L, \operatorname{Fun}(K, S) ) \simeq \operatorname{Hom}_{\operatorname{Set_{\Delta }}}(K \times L, S)$ is $\kappa $-small. This is a special case of Proposition, since the simplicial set $K \times L$ is finite (Remark $\square$