Example 9.2.2.19. The inclusion functor $\operatorname{N}_{\bullet }(\operatorname{Set}) \hookrightarrow \operatorname{\mathcal{S}}$ is finitary (see Variant 9.1.6.4). For a more general statement, see Variant 9.1.9.3.
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$