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.