Follow
The Pro-\'Etale Topos as a Category of Pyknotic Presheaves. (arXiv:2012.10502v1 [math.AG]) http://arxiv.org/abs/2012.10502
The Pro-\'Etale Topos as a Category of Pyknotic Presheaves. (arXiv:2012.10502v1 [math.AG]) http://arxiv.org/abs/2012.10502