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]$.
Created on January 19, 2010 at 02:29:46 by joyal