Non-accessible localizations

DOI10.1112/TOPO.12336zbMATH Open1546.18018MaRDI QIDQ6564515FDOQ6564515

Authors: J. Daniel Christensen 

Publication date: 1 July 2024

Published in: Journal of Topology (Search for Journal in Brave)

zbMATH Keywords

homotopy type theoryindependence resultsaccessible and reflective localizationssynthetic higher category theory

Mathematics Subject Classification ID

Localization and completion in homotopy theory (55P60) Categorical logic, topoi (03G30) Localization of categories, calculus of fractions (18E35) Abstract and axiomatic homotopy theory in algebraic topology (55U35) 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

• The localization of spaces with respect to homology
• Higher Topos Theory (AM-170)
• Homotopy Type Theory: Univalent Foundations of Mathematics
• Implications of large-cardinal principles in homotopical localization
• Geometric topology. Localization, periodicity and Galois symmetry. The 1970 MIT Notes. Edited by A. Ranicki
• Simplicial structures on model categories and functors
• Homotopy localization of groupoids
• The simplicial model of univalent foundations (after Voevodsky)
• The law of excluded middle in the simplicial model of type theory
• The homotopy theory of type theories
• Title not available (Why is that?)
• Semantics of higher inductive types
• Modalities in homotopy type theory
• Eilenberg-MacLane spaces in homotopy type theory
• Modal Homotopy Type Theory
• Localization in Homotopy Type Theory
• Higher Groups in Homotopy Type Theory

This page was built for publication: Non-accessible localizations

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