Models of Homotopy Type Theory with an Interval Type
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.
READ FULL TEXTIn 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.
READ FULL TEXT