nLab pro-étale morphism of schemes

Contents

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 October 28, 2021 at 08:22:18. See the history of this page for a list of all contributions to it.