$L'$-localization in an $\infty$-topos
Abstract: We prove that, given any reflective subfibration $L_\bullet$ on an $\infty$-topos $\mathcal{E}$, there exists a reflective subfibration $L'_\bullet$ on $\mathcal{E}$ 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".
Paper Prompts
Sign up for free to create and run prompts on this paper using GPT-5.
Top Community Prompts
Collections
Sign up for free to add this paper to one or more collections.