Model structure on the universe of all types in interval type theory
Sign Up to like & getrecommendations! Published in 2020 at "Mathematical Structures in Computer Science"
DOI: 10.1017/s0960129520000213
Abstract: Abstract Model categories constitute the major context for doing homotopy theory. More recently, homotopy type theory (HoTT) has been introduced as a context for doing syntactic homotopy theory. In this paper, we show that a… read more here.
Keywords: model; type theory; universe types; model structure ... See more keywords