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$ , cat thus it is the Von Neumann ordinal $2$ viewed as a category.