Simplex Category

The simplex category is the category $\Delta$ where

• Objects are Natural Numbers
• Morphisms are monotone maps $[m]\to[n]$ between Finite Ordinals