L'-localization in an \infty-topos

MaRDI QIDQ5220050zbMATH OpenFDO

Authors Marco Vergura

Publication date 10 March 2020

Full work available at URL https://arxiv.org/abs/1907.03837, http://www.tac.mta.ca/tac/volumes/35/8/35-08abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

higher topos theoryhomotopy type theorylocalization theoryreflective subfibrationseparated map

Mathematics Subject Classification ID

((infty,1))-categories (quasi-categories, Segal spaces, etc.); (infty)-topoi, stable (infty)-categories (18N60) Localization and completion in homotopy theory (55P60)

Abstract: We prove that, given any reflective subfibration $$ on an $infty$-topos $mathcalE$, there exists a reflective subfibration $$ on $mathcalE$ whose local maps are the $L$-separated maps, that is, the maps whose diagonals are $L$-local. This is the companion paper to "Localization theory in an $infty$-topos".

Recommendations

• Characterizations of modalities and lex modalities
• Indexed type theories
• Modal Homotopy Type Theory
• Left-exact localizations of \(\infty\)-topoi. I: Higher sheaves
• Higher-order concepts for the potential infinite
• Constructing coproducts in locally Cartesian closed -categories
• Modalities in homotopy type theory
• An Ad-Hoc Semantics to Study Structural Properties of Types
• Higher categories and homotopical algebra
• The homotopy theory of type theories

Cites work

• Higher Topos Theory (AM-170)
• scientific article; zbMATH DE number 2117177 (Why is no real title available?)
• Localization in Homotopy Type Theory
• Modalities in homotopy type theory
• The 2-category theory of quasi-categories
• Univalence in locally Cartesian closed categories

Cited in

(12)

• Embedding locales and formal topologies into positive topologies
• On bornologies, locales and toposes of \(M\)-sets
• Filter quotients and non-presentable \((\infty,1)\)-toposes
• Left-exact localizations of \(\infty\)-topoi. I: Higher sheaves
• Characterizations of modalities and lex modalities
• Implications of large-cardinal principles in homotopical localization
• scientific article; zbMATH DE number 7471696 (Why is no real title available?)
• A generalized Blakers–Massey theorem
• Localization in Homotopy Type Theory
• Constructing coproducts in locally Cartesian closed -categories
• Left-exact localizations of -topoi. II: Grothendieck topologies
• Non-accessible localizations

This page was built for publication: $L'$-localization in an $\infty$-topos

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