Left-exact localizations of -topoi. II: Grothendieck topologies

DOI10.1016/J.JPAA.2023.107472MaRDI QIDQ6057732zbMATH OpenOpenAlexFDO

Authors Mathieu Anel, Georg Biedermann, Eric Finster, André Joyal

Publication date 26 October 2023

Published in Journal of Pure and Applied Algebra (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/2201.01236

zbMATH Keywords

Grothendieck topologies\(\infty\)-toposhypercompletionacyclic classes

Mathematics Subject Classification ID

Grothendieck topologies and Grothendieck topoi (18F10) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)

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.

Recommendations

• Left-exact localizations of \(\infty\)-topoi. I: Higher sheaves
• Topo-logie
• $L'$-localization in an $\infty$-topos
• Local Maps of Toposes
• Higher Topos Theory (AM-170)

Cites work

• scientific article; zbMATH DE number 1840601 (Why is no real title available?)
• A generalized Blakers–Massey theorem
• Characterizations of modalities and lex modalities
• Elements of \(\infty\)-category theory
• Goodwillie's calculus of functors and higher topos theory
• Higher Topos Theory (AM-170)
• Higher categories and homotopical algebra
• Homotopical algebraic geometry. I: Topos theory
• Left-exact localizations of \(\infty\)-topoi. I: Higher sheaves
• Localization in Homotopy Type Theory
• Modalities in homotopy type theory
• Seminar of algebraic geometry du Bois-Marie 1963--1964. Topos theory and étale cohomology of schemes (SGA 4). Vol. 1: Topos theory. Exp. I--IV
• Some characterizations of acyclic maps
• Topo-logie

Cited in

(1)

• Left-exact localizations of \(\infty\)-topoi. I: Higher sheaves

This page was built for publication: Left-exact localizations of \(\infty\)-topoi. II: Grothendieck topologies

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6057732)