The Stacks project

Better proof of a lemma in modules

plus an extra lemma for free

Proof of injectivity

Thanks to Minh-Tien Tran
https://stacks.math.columbia.edu/tag/01BS#comment-4323

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

Stack project corrections by Albert Gunawan

Thanks to Albert Gunawan

LaTeX: Hom and SheafHom

	Introduced the macros

	\def\Hom{\mathop{\rm Hom}\nolimits}
	\def\SheafHom{\mathop{\mathcal{H}\!{\it om}}\nolimits}

	and replaced all the occurences of \text{Hom} and \textit{Hom}
	with these.

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

Finished with ample invertible sheaves for now

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