Ordinal category

Let be an ordinal number. The ordinal category , is the Small category resulting from regarding as a poset-as-category. Particular examples include , , and .

#state/tidy | #lang/en | #SemBr