Models of Homotopy Type Theory with an Interval Type

04/29/2020

∙

by   Valery Isaev, et al.

∙

0

∙

share

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.