Remark 7.33.
There is a general formalism of fractured localization, in which a compatible localization of the corporeal topos induces a localization of the ambient topos and a new fracture. The preceding construction is an instance of this formalism.