Joyal's CatLab simplicial category

Definition

• The [simplicial category] $\Delta$ has objects the ordered sets $[n]=\{0,\ldots,n\}$ for $n\geq 0$, and for morphisms the order preserving maps $[n]\to [m]$.