Abstract

In the recent years, homotopy type theory has become the subject of much study. Homotopy type theory studies the correspondence between the (propositional) equality in Martin-Löf type theory and the concept of homotopy from topology. The correspondence roughly means that inhabitants of a type can be seen as points of
... read more