Interval Object

An interval object in a category C 𝐶 C is a bipointed object I 𝐼 I ; IE, an object I 𝐼 I equipped with a pair of maps 1 I 1 1 𝐼 1 1\to I\leftarrow 1 .