Showing math.LOShow all
2 papers · 1 filter
math.LO2025
A Note About Models of Synthetic Algebraic Geometry
Thierry Coquand, Jonas Hofer, Christian Sattler
We show how to build models of Synthetic Algebraic Geometry over rings k such that finitely presented k-algebra have a decidable equality. The construction is done in a constructiv…
math.LO2024
A Foundation for Synthetic Stone Duality
Felix Cherubini, Thierry Coquand, Freek Geerligs +1
The language of homotopy type theory has proved to be appropriate as an internal language for various higher toposes, for example with Synthetic Algebraic Geometry for the Zariski…