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 .