Showing cs.LOShow all
3 papers · 1 filter
cs.LO2025
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…
cs.LO2024
Delooping cyclic groups with lens spaces in homotopy type theory
Samuel Mimram, Émile Oleon
In the setting of homotopy type theory, each type can be interpreted as a space. Moreover, given an element of a type, i.e. a point in the corresponding space, one can define anoth…
cs.LO2024
Delooping presented groups in homotopy type theory
Camil Champin, Samuel Mimram, Emile Oleon
Homotopy type theory is a logical setting based on Martin-Löf type theory in which geometric constructions and proofs can be carried out synthetically. Here, types can be interpret…