Search Results - "Institute for Advanced Study, Princeton"

Truncation levels in homotopy type theory by Kraus, Nicolai

“…This solves a hitherto open problem of the 2012/13 special year program on Univalent Foundations at the Institute for Advanced Study (Princeton). The main result of this thesis is a generalised universal property of the propositional truncation, using a construction of coherently constant functions. …”
Get full text