The Stacks project

More standard use of "partial ordering"

Thanks to Wei Xu
http://stacks.math.columbia.edu/tag/00CR#comment-588
and to Keenan Kidwell
http://stacks.math.columbia.edu/tag/00D3#comment-2102

Descent finite type modules under a flat, surjective, open morphism of
locally ringed spaces.

LaTeX: fix colim

	Introduced the macro

	\def\colim{\mathop{\rm colim}\nolimits}

	and changed all the occurences of \text{colim} into \colim.

Started tags infrastructure

	new file:   scripts/add_tags.py
	modified:   scripts/functions.py
	new file:   tags/initial_tags
	new file:   tags/tags

List of changes:
	Improved exposition colimits modules in algebra.tex
	Fixed typo on categories.tex
	Proof basic lemma cohomology P^n_R, R Noetherian
	Characterize affines by vanishing cohomology
	Cohmology commutes with directed colimits sometimes
	Typos constructions.tex
	Clarify quasi-affine section
	Ideals directed limit finite type ideals
	Characterize affines in properties.tex
	Closed points exist in quasi-compact spaces

	modified:   algebra.tex
	modified:   categories.tex
	modified:   coherent.tex
	modified:   cohomology.tex
	modified:   constructions.tex
	modified:   limits.tex
	modified:   modules.tex
	modified:   properties.tex
	modified:   topology.tex

More neurotic changes

Finished with ample invertible sheaves for now

	modified:   modules.tex
	modified:   properties.tex
	modified:   sheaves.tex
	modified:   topology.tex

Finished with ample invertible sheaves for now

	modified:   modules.tex
	modified:   properties.tex
	modified:   sheaves.tex
	modified:   topology.tex

Small change

	modified:   modules.tex
	modified:   sheaves.tex