The Stacks project

Fix application of Nakayama

Thanks to Rein Janssen Groesbeek

Fix typo in algebra.tex

Thanks to Lenny Taelman
http://stacks.math.columbia.edu/tag/00NX#comment-1191

LaTeX

Introduced a macro

\def\Ker{\text{Ker}}

and replace all occurrences of \text{Ker} with \Ker

Improve exposition finitely presented modules

Thanks to Keenan Kidwell
http://stacks.math.columbia.edu/tag/0517#comment-269

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.

Finite+flat+constant rnak => projective

	Fun!

Moving results

	Moved some esoteric results on Mittag-Leffler modules and
	completion into flat.tex apart from a result on lifting
	projective modules which I put into a section on projective
	modules.

Code changes

Cleanup

	Mostly code changes. But also some work is done to remove
	duplicated results and to get the order of lemmas etc correct.

	Still have to move lemma-Mittag-Leffler to the correct spot.

Started tags infrastructure

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

Added Deligne's proof of existence of points

	modified:   algebra.tex
	modified:   categories.tex
	modified:   sites.tex

	modified:   algebra.tex

	modified:   algebra.tex