Characterizations of modalities and lex modalities

DOI10.1016/J.JPAA.2021.106848MaRDI QIDQ2229967zbMATH OpenOpenAlexFDO

Authors J. Daniel Christensen, Egbert Rijke

Publication date 17 September 2021

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

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

zbMATH Keywords

localizationmodalityfactorization systemhomotopy type theorylex modalityreflective subuniverse

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Localization and completion in homotopy theory (55P60) Categorical logic, topoi (03G30) Type theory (03B38) ((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) Localizations (e.g., simplicial localization, Bousfield localization) (18N55)

Abstract: A reflective subuniverse in homotopy type theory is an internal version of the notion of a localization in topology or in the theory of $infty$-categories. Working in homotopy type theory, we give new characterizations of the following conditions on a reflective subuniverse $L$: (1) the associated subuniverse $L^{\prime }$ of $L$-separated types is a modality; (2) $L$ is a modality; (3) $L$ is a lex modality; and (4) $L$ is a cotopological modality. In each case, we give several necessary and sufficient conditions. Our characterizations involve various families of maps associated to $L$, such as the $L$-'etale maps, the $L$-equivalences, the $L$-local maps, the $L$-connected maps, the unit maps $et{a}_X$, and their left and/or right orthogonal complements. More generally, our main theorem gives an overview of how all of these classes related to each other. We also give examples that show that all of the inclusions we describe between these classes of maps can be strict.

Recommendations

• Modalities in homotopy type theory
• Localization in Homotopy Type Theory
• Modal descent
• Good fibrations through the modal prism
• $L'$-localization in an $\infty$-topos

Cites work

• A generalized Blakers–Massey theorem
• Brouwer's fixed-point theorem in real-cohesive homotopy type theory
• Geometric topology. Localization, periodicity and Galois symmetry. The 1970 MIT Notes. Edited by A. Ranicki
• Higher Topos Theory (AM-170)
• Homotopy type theory. Univalent foundations of mathematics
• Localization in Homotopy Type Theory
• Modal Homotopy Type Theory
• Modal logic
• Modalities in homotopy type theory
• Quantum gauge field theory in cohesive homotopy type theory
• Semantics of higher inductive types
• The homotopy theory of type theories
• The localization of spaces with respect to homology

Cited in

(6)

• Good fibrations through the modal prism
• Modal descent
• Non-accessible localizations
• Left-exact localizations of \(\infty\)-topoi. II: Grothendieck topologies
• $L'$-localization in an $\infty$-topos
• Modal frame characterization by way of auxiliary modalities

This page was built for publication: Characterizations of modalities and lex modalities

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