higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
A morphism of affine schemes is pro-étale if it is a cofiltered limit of étale morphisms of schemes over , dually if is an ind-étale algebra.
Pro étale morphisms into some scheme form the pro-étale site of .
étale morphism pro-étale morphism weakly étale morphism 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.