The Pro-Étale Topos as a Category of Pyknotic Presheaves

Sebastian Wolf

Let $X$ be a coherent scheme and let $\mathrm{Gal}(X)$ denote the Galois category of $X$, as introduced by Barwick, Glasman and Haine. In this paper we prove that the hyperco…