2 citations · 3 across the 5 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…