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

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.

Fix problems found by script

Started tags infrastructure

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

Done with the proof of main theorem hypercoverings!