Definition
Let be some ordinal.
The ordinal category is the thin category given by the preorder of ordinals less than .
Remarks
- It is sometimes written in other work with ‘mathbb’ font, such as , however prefer to use as not all fonts have ‘mathbb’ Greek letters.