Left-exact localizations of -topoi. I: Higher sheaves

DOI10.1016/J.AIM.2022.108268MaRDI QIDQ2125994zbMATH OpenOpenAlexFDO

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

Publication date 14 April 2022

Published in Advances in Mathematics (Search for Journal in Brave)

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

zbMATH Keywords

congruenceleft-exact localizationsheaftopos

Mathematics Subject Classification ID

Presheaves and sheaves, stacks, descent conditions (category-theoretic aspects) (18F20) Localizations (e.g., simplicial localization, Bousfield localization) (18N55) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60)

Abstract: We are developing tools for working with arbitrary left-exact localizations of $infty$-topoi. We introduce a notion of higher sheaf with respect to an arbitrary set of maps $Sigma$ in an $infty$-topos $mathscrE$. We show that the full subcategory of higher sheaves $mathrmSh(mathscrE,Sigma)$ is an $infty$-topos, and that the sheaf reflection $mathscrEomathrmSh(mathscrE,Sigma)$ is the left-exact localization generated by $Sigma$. The proof depends on the notion of congruence, which is a substitute for the notion of Grothendieck topology in 1-topos theory.

Review text

Every Grothendieck topos arises as a left-exact localisation of a category of presheaves of sets on a small category. Any such localisation uniquely corresponds to a Grothendieck topology on that small category. Lurie's work on higher topos theory has shown that every \(\infty\)-topos is a left-exact localisation of a category of presheaves of spaces, and each such localisation is a composition of a topological localisation followed by a `cotopological' localisation. A theory of sheaves and Grothendieck topologies applies to the topological localisations but not the cotopological ones. In this paper, the authors define sheaves for a set of morphisms in an \(\infty\)-topos. They show that the left-exact localisation generated by a set of morphisms is precisely the category of sheaves for that set. They obtain their definition of sheaves by studying classes of maps inverted by co-continuous left-exact functors called \textit{congruences}, which are a substitute for the Grothendieck topologies in ordinary topos theory. The paper also explicitly describes the congruence generated by an arbitrary class of maps. The paper is written in a `model independent style': the authors do not choose an explicit model for \((\infty,1)\)-categories, but say they instead give arguments that they feel are robust enough to hold in any model.

Recommendations

• Left-exact localizations of -topoi. II: Grothendieck topologies
• Higher categories and homotopical algebra
• $L'$-localization in an $\infty$-topos
• Topo-logie
• Higher Topos Theory (AM-170)

Cites work

• \(\mathbb{A}^1\)-homotopy theory of schemes
• A generalized Blakers–Massey theorem
• Cellular spaces, null spaces and homotopy localization
• Elements of -category theory
• Goodwillie's calculus of functors and higher topos theory
• Higher categories and homotopical algebra
• Homotopical algebraic geometry. I: Topos theory
• Homotopy type theory. Univalent foundations of mathematics
• Modalities in homotopy type theory
• Some characterizations of acyclic maps
• Topo-logie

Cited in

(16)

• Univalence for inverse EI diagrams
• Filter quotients and non-presentable \((\infty,1)\)-toposes
• Locale morphisms with exact direct image functor in sheaves
• $L'$-localization in an $\infty$-topos
• Constructing coproducts in locally Cartesian closed -categories
• Left-exact localizations of -topoi. II: Grothendieck topologies
• Homotopy type theory as a language for diagrams of -logoses
• Culf maps and edgewise subdivision
• The equifibered approach to -properads
• Parametrized stability and the universal property of global spectra
• Partial parametrized presentability and the universal property of equivariant spectra
• The category of -finite spaces
• (, 1)-categorical comprehension schemes
• Smooth and proper maps with respect to a fibration
• Rigid algebras and cospans
• Left-exact localizations of -topoi. III: The acyclic product

This page was built for publication: Left-exact localizations of \(\infty\)-topoi. I: Higher sheaves

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