A condensed proof of the pro-étale and étale exodromy theorems

Remy van Dobben de Bruyn

The exodromy correspondence of Barwick, Glasman, and Haine computes constructible sheaves of spaces on a scheme $X$ as an $\infty$-category of continuous functors from the profinit…