The Stacks project

Fix ordering maps

Thanks to wpb
http://stacks.math.columbia.edu/tag/044U#comment-2535

Spell check: words starting with h, i, j, k, l, m, H, I, J, K, L, and M

LaTeX: \Ob

	Introduced a macro

	\def\Ob{\mathop{\rm Ob}\nolimits}

	and replaced any occurence of \text{Ob}( with \Ob(. There are
	still some occurences of \text{Ob} but these are sets, not the
	operator that takes the set of objects of a category.

LaTeX: \Sch

	Introduced a new macro

	\def\Sch{\textit{Sch}}

	and replaced all the occurences of \textit{Sch} with \Sch.

More cleaning up of Algebraic Stacks

	More or less OK proof of the easy direction for going between
	algebraic stacks and presentations. It would be good to add more
	material allowing us to work more easily with fibred
	categories...

More Groupoids: small changes

	Also divided up the material on quotient stacks to get better
	readability.

Tags: added new tags

Groupoid spaces: abstract quotient stacks

	Some formal lemmas on properties of a quotient stack of a
	groupoid space. Coming up: a description of its morphisms,
	objects, etc.