8 citations · 10 across the 6 of their papers we have counts for
6 papers
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…
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…
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…
A Foundation for Synthetic Algebraic Geometry
Felix Cherubini, Thierry Coquand, Matthias Hutzler
This is a foundation for algebraic geometry, developed internal to the Zariski topos, building on the work of Kock and Blechschmidt. The Zariski topos consists of sheaves on the si…
Modal Descent
Felix Cherubini, Egbert Rijke
Any modality in homotopy type theory gives rise to an orthogonal factorization system of which the left class is stable under pullbacks. We show that there is a second orthogonal f…
Synthetic G-jet-structures in modal homotopy type theory
Felix Cherubini
This article constructs the moduli stack of torsionfree -jet-structures in homotopy type theory with one monadic modality. This yields a construction of this moduli stack for an…