#
L'-localization in an ∞-topos

##
Marco Vergura

We prove that, given any reflective subfibration L on an ∞-topos E, there exists a reflective subfibration L' on E whose local maps are the L-separated maps, that is, the maps whose diagonals are L-local.

Keywords:
reflective subfibration, separated map, higher topos theory, localization theory, homotopy type theory

2010 MSC:
55P60, 18E35

*Theory and Applications of Categories,*
Vol. 35, 2020,
No. 8, pp 196-227.

Published 2020-02-19.

http://www.tac.mta.ca/tac/volumes/35/8/35-08.pdf

TAC Home