Δ is a category defined with finite ordered integers set as objects and non-decreasing maps as morphisms.
