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