Showing math.AGShow all
2 papers · 1 filter
math.AG2025
Differential Geometry of Synthetic Schemes
Felix Cherubini, Matthias Hutzler, Hugo Moeneclaey +1
Synthetic algebraic geometry uses homotopy type theory extended with three axioms to develop algebraic geometry internal to a higher version of the Zariski topos. In this article w…
math.AG2024
Projective Space in Synthetic Algebraic Geometry
Felix Cherubini, Thierry Coquand, Matthias Ritter +1
Synthetic algebraic geometry is a new approach to algebraic geometry. It consists in using homotopy type theory extended with three axioms, together with the interpretation of thes…