Exercise 8.5.2.9. Show that the category $\operatorname{Idem}$ is filtered (see Definition 9.1.0.1).
$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$
Exercise 8.5.2.9. Show that the category $\operatorname{Idem}$ is filtered (see Definition 9.1.0.1).