The Stacks project

Fix some typos and a mistake

Thanks to Nuno
http://stacks.math.columbia.edu/tag/08KS#comment-466
http://stacks.math.columbia.edu/tag/05QD#comment-467
http://stacks.math.columbia.edu/tag/05QF#comment-468
http://stacks.math.columbia.edu/tag/02MS#comment-469

Fix of a bunch of mostly typos

Thanks to Alex Perry. See comments 320 -- 333 on the website, starting
with
http://stacks.math.columbia.edu/tag/05QP#comment-320
and ending with
http://stacks.math.columbia.edu/tag/05RM#comment-333

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.

Tags: added new tags

Kernels of localization functors

	It turns out that for a multiplicative system in a additive
	category it is easy to determine the "kernel" of the
	localization functor. This then trickles down all the way to the
	case of the localization of a triangulated category.

	Warning: This commit contains partially unfinished work.