The Stacks project

Fix an error in simplicial.tex

Thanks to Juan Pablo Acosta López
http://stacks.math.columbia.edu/tag/017M#comment-1299

The object U constructed in Lemma tag 017M was not Hom(\Delta[k], X) but
equal to Hom(C[k], X) where C[k] is the cosimplicial set constructed
dually to the construction of \Delta[k]. This snafu actually had some
ramifications for later work, including the proof of an important lemma
in the chapter on hypercoverings...

Fix an error in simplicial.tex

Thanks to Juan Pablo Acosta López
http://stacks.math.columbia.edu/tag/017M#comment-1299

The object U constructed in Lemma tag 017M was not Hom(\Delta[k], X) but
equal to Hom(C[k], X) where C[k] is the cosimplicial set constructed
dually to the construction of \Delta[k]. This snafu actually had some
ramifications for later work, including the proof of an important lemma
in the chapter on hypercoverings...

Clarify proof lemma simplicial.tex

LaTeX: \Mor

	Introduced a macro

	\def\Mor{\mathop{\rm Mor}\nolimits}

	and replaced all the occurences of \text{Mor} with \Mor.

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: get rid of some overfull boxes

	modified:   algebraic.tex
	modified:   chow.tex
	modified:   coherent.tex
	modified:   cohomology.tex
	modified:   constructions.tex
	modified:   descent.tex
	modified:   desirables.tex
	modified:   divisors.tex
	modified:   etale.tex
	modified:   examples-stacks.tex
	modified:   examples.tex
	modified:   exercises.tex
	modified:   fdl.tex
	modified:   homology.tex
	modified:   hypercovering.tex
	modified:   modules.tex
	modified:   morphisms.tex
	modified:   properties.tex
	modified:   schemes.tex
	modified:   simplicial.tex
	modified:   sites.tex
	modified:   spaces.tex
	modified:   topologies.tex
	modified:   varieties.tex

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

Done with the proof of main theorem hypercoverings!