Spahn Et/X (Rev #1)

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

$Et/X\hookrightarrow E/X$

on the étale morphisms.

Revision on February 15, 2013 at 08:23:20 by Stephan Alexander Spahn?. See the history of this page for a list of all contributions to it.