Spahn Et/X (changes)

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

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

on the étale morphisms.