Variant 9.2.0.5. Let $\operatorname{\mathcal{C}}= \operatorname{Set_{\Delta }}$ be the category of simplicial sets. An object $S \in \operatorname{\mathcal{C}}$ is compact if and only if it is a finite simplicial set, in the sense of Definition 3.6.1.1. See Proposition 3.6.1.7.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$