Given a notion of étaleness (in terms of suitable idempotent monads) on a cohesive higher topos EE, we have for every object X∈EX\in E a wide reflective- and coreflective sub-higher topos
on the étale morphisms.