The simplest kind of Grothendieck topology is the one with only trivial covering sieves, where the associated topos is equal to the presheaf topos. The next simplest topology has coverings given by finite disjoint unions. From an intrinsic perspective, the toposes which arise from such a topology are exactly those which, as a category, have the useful property that they are generated by compact projective objects. I will discuss some general aspects of this situation, then specialize to a specific example, that of condensed sets. This is joint work with Peter Scholze.
By Dustin Clausen
By Riccardo Zanfa
By Jean-Claude Belfiore
By Daniel Bennequin
By Samson Abramsky
By Jens Hemelaer
By Francesco Genovese
By Clément Delcamp
By Christoph Koutschan
By Christoph Koutschan
By Christiane Koch
By Misha Gromov
By Céline Duval
By Olivier Benoist
