Ordinal Category

Let $\alpha$ be some ordinal.
The ordinal category $[\alpha ]$ is the thin category given by the preorder of ordinals less than $\alpha$.
It is sometimes written with ‘mathbb’ font, such as $0,1,2,\dots$, however I prefer to use $[\_]$ as not all fonts have ‘mathbb’ Greek letters.