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.
De Dustin Clausen
De Riccardo Zanfa
De Jean-Claude Belfiore
De Daniel Bennequin
De Samson Abramsky
De Jens Hemelaer
De Francesco Genovese
