Remark 1.1.0.3. The category $\operatorname{{\bf \Delta }}$ is equivalent to the category of *all* nonempty finite linearly ordered sets, with morphisms given by nondecreasing maps. In fact, we can say something better: for every nonempty finite linearly ordered set $I$, there is a *unique* nondecreasing bijection $I \simeq [n]$, for some $n \geq 0$.

$\Newextarrow{\xhookrightarrow}{10,10}{0x21AA}$