directed-interval

Directed interval type 2 axiomatizing (0 → 1). Time-directed homotopy