This is the category whose objects are natural numbers, and whose morphisms n -> m are nondecreasing functions {0, 1, ..., n} -> {0, 1, ..., m}. (There's also the augmented simplex category where you also allow -1 as a strict initial object.)
This issue has been created by Daniel Schepler via the submission form on https://catdat.app/categories
This is the category whose objects are natural numbers, and whose morphisms n -> m are nondecreasing functions {0, 1, ..., n} -> {0, 1, ..., m}. (There's also the augmented simplex category where you also allow -1 as a strict initial object.)
This issue has been created by Daniel Schepler via the submission form on https://catdat.app/categories