The Stacks project

Whitespace changes

LaTeX: Remove useless brackets

LaTeX: \Sh

	Introduced the macro

	\def\Sh{\mathop{\textit{Sh}}\nolimits}

	and replaced all occurences of \textit{Sh} with \Sh.

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: \Mor

	Introduced a macro

	\def\Mor{\mathop{\rm Mor}\nolimits}

	and replaced all the occurences of \text{Mor} with \Mor.

Relocalizing morphisms of (ringed) topoi

	There is quite a bit of duplication here, but it seems
	convenient to be able to talk about this both when given
	explicit sites defining the topoi and when you are just given an
	abstract morphism of (ringed) topoi.

TAGS: added new tags

	modified:   tags/tags

Modules on sites: Extension by zero is exact

	This is now easy.

	modified:   sites-modules.tex

Modules on Sites: Corrected lemma on extension by zero

	There is an explicit description of j_{U!} which shows also that
	it is an exact functor on the category of modules, and which we
	will use later to show that injection modules restrict to
	injection O_U modules.

	modified:   sites-modules.tex

Modules on Sites: Somewhat satisfactory explanation of local properties
of modules

	There are several improvements that can be made here, but for
	the moment this is OK. In particular what is the correct version
	of the relationship between localization and morphisms of
	sites? Is it just completely general?

	modified:   descent.tex
	modified:   modules.tex
	modified:   sites-modules.tex
	modified:   sites.tex
	modified:   tags/tags