The Stacks project

Fixed small typos

Fix typo in properties

Thanks to awllower
https://stacks.math.columbia.edu/tag/01PM#comment-4848

Bunch of small mistakes fixed

Thanks to correction_bot
Comments 943 -- 953 on website

Whitespace changes

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: \Spec

	Introduced the macro

	\def\Spec{\mathop{\rm Spec}}

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

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

Multiple changes as follows:
	Trivial change to algebra.tex introducing acc condition
	More local results on coherent sheaves
	More global results on coherent sheaves
	Devissage of coherent sheaves
	Small additions on sheaves of modules regarding behaviour map at
	stalks
	Finite type reflected by pushforward closed immersion
	Fix error in properties.tex on sheaf annihilated by an ideal
	shreaf and added cklarifications to lemma on sections over
	quasi-compact open of an affine

	modified:   algebra.tex
	modified:   coherent.tex
	modified:   modules.tex
	modified:   properties.tex

Changes:
	Lemma in algebra.tex on annihilating modules by powers ideals
	Started devissage of coherent sheaves in coherent.tex
	Section on sections of quasi-coherent sheaves in properties.tex
	Typo in modules.tex

	modified:   algebra.tex
	modified:   coherent.tex
	modified:   modules.tex
	modified:   properties.tex