The Stacks project

Shorten a proof

Thanks to Manu
https://stacks.math.columbia.edu/tag/02UW#comment-7837

Fix complaints of scripts

Corrected tiny typos.

Fix signs in section on Cech cohomology of complexes

	The Cech complex of a complex of abelian sheaves F^* has terms

		C^p(U, F^q)

	and p is the first index. Hence the differential, according to
	our general conventions should be

		Cech differential + sign * differential of F^*

	This simplifies many of the calculations. We also added a script
	which checks the signs for the cup-product.

Whitespace changes

Added new tags to stacks project

	modified:   tags/tags

Vanishing of cohomology above the dimension of a Noetherian topological
space, and the application to vanishing of higher direct images for
proper morphisms above the fibre dimensions.

	modified:   coherent.tex
	modified:   cohomology.tex
	modified:   homology.tex
	modified:   modules.tex