$L'$-localization in an $\infty$-topos

zbMath1439.18024arXiv1907.03837MaRDI QIDQ5220050

Marco Vergura

Publication date: 10 March 2020

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

zbMATH Keywords

homotopy type theorylocalization theoryhigher topos theoryseparated mapreflective subfibration

Mathematics Subject Classification ID

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

Related Items (2)

Localization in Homotopy Type Theory ⋮ Filter quotients and non-presentable \((\infty,1)\)-toposes

Cites Work

• Unnamed Item
• Univalence in locally Cartesian closed categories
• The 2-category theory of quasi-categories
• Modalities in homotopy type theory
• Localization in Homotopy Type Theory
• Higher Topos Theory (AM-170)

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