nLab little etale topos

Contents

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.

Last revised on November 24, 2013 at 11:28:04. See the history of this page for a list of all contributions to it.