Models of Homotopy Type Theory with an Interval Type
arXiv:2004.14195
Abstract
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.
arXiv comment7 pages
arXiv:2004.14195
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.
arXiv comment7 pages