Perry Hart
Research
Notes
Teaching
Research
Preprints
Colimits in Homotopy Type Theory