36 citations · 55 across the 13 of their papers we have counts for
1 paper · 1 filter
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…