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

DOI10.1016/J.JPAA.2023.107472zbMATH Open1523.18008arXiv2201.01236OpenAlexW4380301803MaRDI QIDQ6057732FDOQ6057732

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)

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.

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

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)

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)

Cites Work

• 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
• Title not available (Why is that?)
• Higher Topos Theory (AM-170)
• Goodwillie's calculus of functors and higher topos theory
• A generalized Blakers–Massey theorem
• Homotopical algebraic geometry. I: Topos theory
• Elements of \(\infty\)-category theory
• Topo-logie
• Higher categories and homotopical algebra
• Some characterizations of acyclic maps
• Left-exact localizations of \(\infty\)-topoi. I: Higher sheaves
• Modalities in homotopy type theory
• Characterizations of modalities and lex modalities
• Localization in Homotopy Type Theory

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)