The pro-Nisnevich topology

Abstract

We construct the pro-Nisnevich topology, an analog of the pro-étale topology. We then show that the Nisnevich $\infty$-topos embeds into the pro-Nisnevich $\infty$-topos, and that the pro-Nisnevich $\infty$-topos is locally of homotopy dimension $0$.

10 pages, Comments welcome!