3

Châtelet’s theorem in synthetic algebraic geometry
We work in synthetic algebraic geometry. It is an extension of homotopy type theory by three axioms, which can be interpreted in a …
Thierry Coquand, Hugo Moeneclaey
PDF Cite
Differential geometry of synthetic schemes
Synthetic algebraic geometry uses homotopy type theory extended with three axioms to develop algebraic geometry internal to a higher …
Felix Cherubini, Matthias Hutzler, Hugo Moeneclaey, David Wärn
PDF Cite
Notions of parametricity as monoidal models for type theory
This article gives a solid theoretical grounding to the observation that cubical structures arise naturally when working with …
Hugo Moeneclaey
PDF Cite