History of tag 0D8I
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2018-10-27 |
78adc2c |
Move a section earlier
|
|
assigned tag 0D8I
|
2017-02-09 |
d294faa
|
Tags: Added new tags
|
|
changed the statement
|
2017-02-07 |
560fb00 |
More notational changes
TODO: The section on proper hypercovering has to be rewritten
We should introduce morphisms between simplicial sites and
then we should state that the morphism
c : LC_{qc}/U ---> U
satisfies descent for abelian sheaves. We have already proved
this actually, but we haven't stated it.
Then this proves Lemma \ref{lemma-compute-via-proper-hypercovering}
directly by looking at the commutative square and using the
already proven descent for
a : (LC_{qc}/U)_{total} ---> LC_{qc}/X
Finally, we deduce Lemma \ref{lemma-spectral-sequence-proper-hypercovering}
as a consequence of this rather than the other way around.
Doing the same for Ra_* will give a better proof of
Lemma \ref{lemma-cohomological-descent-for-proper-hypercovering}
as well.
|
|
created statement with label lemma-hypercovering-equivalence-bounded in spaces-simplicial.tex
|
2017-02-06 |
5a34368 |
Consequences of earlier work in spaces-simplicial
|