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...

ell check: words starting with s, t, S, or T

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.

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!