Classification of Covering Spaces and Canonical Change of Basepoint

Jelle Wemmenhove, Cosmin Manea, Jim Portegies

Using the language of homotopy type theory (HoTT), we 1) prove a synthetic version of the classification theorem for covering spaces, and 2) explore the existence of canonical chan…