The Stacks project

Improve a proof

Thanks to Jonas Ehrhard
https://stacks.math.columbia.edu/tag/01QY#comment-3989
https://stacks.math.columbia.edu/tag/01QY#comment-3990

Invisible changes

LaTeX

Introduced a macro

\def\QCoh{{\textit{QCoh}}}

and replaced almost all occurences of \textit{QCoh} by \QCoh. There are
still some places where we use \textit{QCoh}, namely in the chapter
on examples of stacks. This is because the meaning there is different;
it indicates a category fibred in groupoids over Sch and not the notational
gadget that takes a ringed topos and spits out its category of
quasi-coherent modules.

Start deformation theory modules

Should probably move this theory to a chapter dealing with modules on
arbitrary ringed spaces...

Whitespace changes

LaTeX: uniformize notation

LaTeX: \Spec

	Introduced the macro

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

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

Smorgasbord of changes

	Loose ends:
		algebra: add colimit over almost directed cats
		sites-modules: exactness of g_!
		more-morphisms: exactness of g_!
		spaces-morphisms: closed immersions and sheaves
		spaces-more-morphisms: conormal sheaves
	should be fixed up soon

Started tags infrastructure

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

More neurotic changes

More on morphisms

	modified:   Makefile
	modified:   algebra.tex
	modified:   modules.tex
	modified:   morphisms.tex
	modified:   schemes.tex