nLab
pro-étale morphism of schemes

Context

Étale morphisms

Geometry

=–

Contents

Definition

A morphism of affine schemes SpecASpecBSpec A \to Spec B is pro-étale if it is a filtered limit of étale morphisms of schemes over SpecBSpec B, dually if BAB \to A is an ind-étale algebra.

Pro étale morphisms into some scheme XX form the pro-étale site of XX.

References

étale morphism \Rightarrow pro-étale morphism \Rightarrow weakly étale morphism \Rightarrow formally étale morphism

Revised on November 20, 2013 13:12:48 by Urs Schreiber (77.251.114.72)