Localization theory in an \infty-topos

MaRDI QIDQ6321753zbMATH OpenFDO

Authors Marco Vergura

Publication date 8 July 2019

Mathematics Subject Classification ID

Localization of categories, calculus of fractions (18E35) Localization and completion in homotopy theory (55P60)

Abstract: We develop the theory of reflective subfibrations on an $infty$-topos $mathcalE$. A reflective subfibration $$ on $mathcalE$ is a pullback-compatible assignment of a reflective subcategory $mathcal{D}_{X}subseteqmathcalE/X$, for every $XinmathcalE$. Reflective subfibrations abound in homotopy theory, albeit often disguised, e.g., as stable factorization systems. We prove that $L$-local maps (i.e., those maps that belong to some $mathcal{D}_X$) admit a classifying map, and we introduce the class of $L$-separated maps, that is, those maps with $L$-local diagonal. $L$-separated maps are the local class of maps for a reflective subfibration $$ on $mathcalE$. We prove this fact in the compantion paper "$L^{\prime }$-localization in an $infty$-topos". In this paper, we investigate some interactions between $$ and $$ and explain when the two reflective subfibrations coincide.

This page was built for publication: Localization theory in an $\infty$-topos

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