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

Last revised on November 20, 2013 at 13:12:48. See the history of this page for a list of all contributions to it.