topos theory

# Contents

## Definition

For $X$ a scheme or more generally an algebraic stack, let $X_{et}$ be its small étale site: the full subcategory of the slice category $Sch/X$ on the étale morphisms equipped with the induced étale topology.

Then the category of sheaves $Sh(X_{et})$ is called the étale topos of $X$. (See there for more) This is the little topos-incarnation of $X$.

Revised on November 24, 2013 11:28:04 by Urs Schreiber (89.204.139.68)