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.