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 cofiltered 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 March 27, 2024 at 03:52:13. See the history of this page for a list of all contributions to it.