Small category, whose objects are sets of natural numbers of the form {0,1,…,n}, and whose morphisms are nondecreasing functions