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