Models of Homotopy Type Theory with an Interval Type

Valery Isaev

In this short note, we construct a class of models of an extension of homotopy type theory, which we call homotopy type theory with an interval type.