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 toposEEidempotent monad , s) we on have a for cohesive every higher object toposXE X\in E, we have for every object XEX\in E a wide reflective- and coreflective sub-higher topos

Et/XE/XEt/X\hookrightarrow E/X

on the étale morphisms.

Last revised on February 18, 2013 at 00:51:50. See the history of this page for a list of all contributions to it.