Answers are grounded in this paper and cite their sources.
We construct the pro-Nisnevich topology, an analog of the pro-\'etale topology. We then show that the Nisnevich ∞-topos embeds into the pro-Nisnevich ∞-topos, and that the pro-Nisnevich ∞-topos is locally of homotopy dimension $0$.
No takes yet. Share an insight, caveat, or question.
Klaus Mattis (2024) studied this question.
Synapse has enriched 5 closely related papers on similar clinical questions. Consider them for comparative context: