Spahn Et/X (Rev #1, changes)

Showing changes from revision #0 to #1: Added | Removed | Changed

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

on the étale morphisms.