8 citations · 10 across the 6 of their papers we have counts for
Showing 2024Show all
2 papers · 1 filter
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…
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…