Classifying covering types in homotopy type theory

Samuel Mimram, Émile Oleon

Covering spaces are a fundamental tool in algebraic topology because of the close relationship they bear with the fundamental groups of spaces. Indeed, they are in correspondence w…