Interval category

The interval category $2 ――$ is a posetal category with $O b (2 ――) = {0, 1}$ and a single non-indentity morphism $0 \to 1$ , #m/def/cat thus it is the Von Neumann ordinal $2$ viewed as a category.

#state/develop | #lang/en | #SemBr