3 papers
math.CT2025
Realization of relational presheaves
Yorgo Chamoun, Samuel Mimram
Relational presheaves generalize traditional presheaves by going to the category of sets and relations (as opposed to sets and functions) and by allowing functors which are lax. Th…
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…
math.AT2025
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…