Example 9.2.0.4. Let $\operatorname{\mathcal{C}}= \operatorname{Set}$ be the category of sets. An object $S \in \operatorname{\mathcal{C}}$ is compact if and only if is is a finite set. See Example 9.2.2.9 for a more general statement.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$