8 citations · 10 across the 6 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…