Characterizations of modalities and lex modalities

DOI10.1016/J.JPAA.2021.106848zbMATH Open1482.18015arXiv2008.03538OpenAlexW3197934996MaRDI QIDQ2229967FDOQ2229967

Authors: J. Daniel Christensen, Egbert Rijke 

Publication date: 17 September 2021

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

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.

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

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

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)

Cites Work

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

Cited In (6)

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

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)