The Stacks project

More standard use of "partial ordering"

Thanks to Wei Xu
http://stacks.math.columbia.edu/tag/00CR#comment-588
and to Keenan Kidwell
http://stacks.math.columbia.edu/tag/00D3#comment-2102

LaTeX: \Spec

	Introduced the macro

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

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

LaTeX: fix colim

	Introduced the macro

	\def\colim{\mathop{\rm colim}\nolimits}

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

LaTeX: fix lim

	Replaced all the occurences of \text{lim} by \lim or
	\lim\nolimits depending on whether the invocation occured in
	display math or not.

Morphisms: Simplification of a proof

	Somewhat random lemma on dimensions had a overly complicated
	proof. We also found some labels with spaces in them.

	modified:   limits.tex
	modified:   morphisms.tex
	modified:   tags/tags
	modified:   topology.tex

Morphisms: Simplification of a proof

	Somewhat random lemma on dimensions had a overly complicated
	proof. We also found some labels with spaces in them.

	modified:   limits.tex
	modified:   morphisms.tex
	modified:   tags/tags
	modified:   topology.tex

Started tags infrastructure

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

More on limits of schemes, including a fun result from Brian's paper.

	new file:   limits.tex
	modified:   morphisms.tex
	modified:   my.bib
	deleted:    results.tex

New file results.tex

	modified:   constructions.tex
	modified:   morphisms.tex
	new file:   results.tex
	modified:   stacks-groupoids.tex