Current browse context:
math.CT
Change to browse by:
References & Citations
Mathematics > Category Theory
Title: Left-exact Localizations of $\infty$-Topoi II: Grothendieck Topologies
(Submitted on 4 Jan 2022 (v1), last revised 28 May 2023 (this version, v2))
Abstract: We revisit the work of To\"en--Vezzosi and Lurie on Grothendieck topologies, using the new tools of acyclic classes and congruences. We introduce a notion of extended Grothendieck topology on any $\infty$-topos, and prove that the poset of extended Grothendieck topologies is isomorphic to that of topological localizations, hypercomplete localizations, Lawvere--Tierney topologies, and covering topologies (a variation on the notion of pretopology). It follows that these posets are small and have the structure of a frame. We revisit also the topological--cotopological factorization by introducing the notion of a cotopological morphism. And we revisit the notions of hypercompletion, hyperdescent, hypercoverings and hypersheaves associated to an extended Grothendieck topology. We also introduce the notion of forcing, which is a tool to compute with localizations of $\infty$-topoi.
Submission history
From: Mathieu Anel [view email][v1] Tue, 4 Jan 2022 16:40:59 GMT (55kb)
[v2] Sun, 28 May 2023 15:07:00 GMT (60kb)
Link back to: arXiv, form interface, contact.