The Stacks project

Better writing on proper hypercoverings (topology)

This is now very clean and of course much longer than it was before.

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.

Clean up notation in spaces-simplicial

Improve notation in spaces-simplicial

The index "sites" did not seem to convey the idea of taking the total
site associated to a simplicial one.

Tags: Added new tags

And now we finally have the comparison for proper hypercoverings