3

Châtelet’s theorem in synthetic algebraic geometry
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
A foundation for synthetic Stone duality
The language of homotopy type theory has proved to be appropriate as an internal language for various higher toposes, for example with …
Felix Cherubini, Thierry Coquand, Freek Geerligs, Hugo Moeneclaey
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