higher geometry / derived geometry
Ingredients
Concepts
geometric little (∞,1)-toposes
geometric big (∞,1)-toposes
Constructions
Examples
derived smooth geometry
Theorems
A commutative ring is w-contractible if every faithfully flat pro-étale morphism has a section.
(Bhatt-Scholze 13, def. 2.4.1)
For every commutative ring , there is a w-contractible , def. , equipped with a faithfully flat pro-étale morphism .
(Bhatt-Scholze 13, lemma 2.4.9)
For w-contractible, the profinite set is an extremally disconnected profinite set.
part of (Bhatt-Scholze 13, theorem 1.8)
Last revised on November 21, 2013 at 09:38:30. See the history of this page for a list of all contributions to it.