Ordinal category Interval category The interval category is a posetal category with and a single non-indentity morphism , cat thus it is the Von Neumann ordinal viewed as a category. develop | en | sembr