3 papers
math.AT2026
Hypercubical manifolds in homotopy type theory
Samuel Mimram, Ãmile Oleon
Homotopy type theory provides a logical framework in which geometric constructions and proofs can be carried out synthetically: in this setting, types correspond to spaces up to ho…
cs.LO2026
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 interpre…
cs.LO2026
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…