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.


TAC Home