nLab
little etale topos

Context

Topos Theory

topos theory

Background

Toposes

Internal Logic

Topos morphisms

Extra stuff, structure, properties

Cohomology and homotopy

In higher category theory

Theorems

Contents

Definition

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

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

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