1 paper · 1 filter
Yuhang Wei
The goal of this dissertation is to present results from synthetic homotopy theory based on homotopy type theory (HoTT). After an introduction to Martin-Löf's dependent type theory…