Ordinal category Interval category The interval category is a posetal category with and a single non-indentity morphism , #m/def/cat thus it is the Von Neumann ordinal viewed as a category. #state/develop | #lang/en | #SemBr