Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 09A1

Go back to the tag's page.

type time link
changed the proof 2019-03-22 f760832
Improve section on hypercoverings in proetale
changed the proof 2017-02-20 d94b319
Fix a small mistake

The problem was in the lemma producing a hypercovering consisting of
weakly contractible objects. In the proof we did not check the maps
compose correctly and in general they do not.

So now we rely on the very general construction of hypercovers
given an ample supply of objects and then we afterwards take
disjoint unions of objects to get weakly contractible ones.

This stuff is just a matter of bookkeeping but you still have
to do the bookkeeping correctly.
assigned tag 09A1 2013-06-11 855db3b
Tags: Added new tags
created statement with label lemma-w-contractible-hypercovering in proetale.tex 2013-05-28 e11c853
More basics on pro-etale cohomology