Loading [MathJax]/jax/output/HTML-CSS/config.js

The Stacks project

History of tag 094K

Go back to the tag's page.

type time link
changed the statement and 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.
changed the proof 2014-09-09 9728b0a
Changes thanks to correction_bot

Thanks to correction_bot
http://stacks.math.columbia.edu/tag/01G6#comment-1025
changed the proof 2014-07-20 4d88746
Remove some invisible characters
changed the proof 2013-08-03 6cc7a5d
ell check: words starting with s, t, S, or T
assigned tag 094K 2013-06-11 855db3b
Tags: Added new tags
changed the statement and the proof 2013-05-28 e11c853
More basics on pro-etale cohomology
created statement with label lemma-w-contractible in hypercovering.tex 2013-05-28 e91e22d
Hypercoverings constructed out of weakly contractible objects

Fits nicely into the already existing discussion.