The Stacks project

Reference definition quasi-projective morphism

Thanks to Matt Stevenson
https://stacks.math.columbia.edu/tag/01VW#comment-2734

Fix typo in morphisms.tex

Thanks to prefaisceau
http://stacks.math.columbia.edu/tag/01VW#comment-1162

Cleanup definitions in morphisms.tex

	Tried to make things be more uniform.

Morphisms: Simplification of a proof

	Somewhat random lemma on dimensions had a overly complicated
	proof. We also found some labels with spaces in them.

	modified:   limits.tex
	modified:   morphisms.tex
	modified:   tags/tags
	modified:   topology.tex

Started tags infrastructure

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

More about relatively (very) ample sheaves and quasi-projective
morphisms, and a formulation of cohomology of coherent sheaves on
projective space over a Noetherian ring

	modified:   coherent.tex
	modified:   limits.tex
	modified:   morphisms.tex
	modified:   properties.tex

Started more seriously on schemes

	new file:   constructions.tex
	modified:   modules.tex
	new file:   morphisms.tex
	new file:   properties.tex