The Stacks project

QCoh is Grothendieck

Formulate the result explicitly for algebraic spaces and algebraic stacks.

LaTeX: \Sh

	Introduced the macro

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

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

LaTeX: fix colim

	Introduced the macro

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

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

First macro of the project

	This gets rid of all the \nolimits commands following \lim by
	defining

	\def\lim{\mathop{\rm lim}\nolimits}

	in the file preamble.tex. As far as I can tell this is
	equivalent to \lim\nolimits where \lim is the internal command
	of TeX. The dvi files produced before and after this commit are
	identical.

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.

TAGS: added new tags

	modified:   tags/tags

Modules on Sites: Very basic stuff on ringed topoi and modules

	It turns out to be slightly tricky to show that the notion of a
	quasi-coherent module (or locally generated by sections, finite
	type, finite presentation, etc) is an intrinsic property of modules
	on a ringed topos and not dependend of the choice of the
	underlying site. To do this we need a bit of discussion on
	localizing and equivalences of topois such as those in Sites,
	lemma-equivalence

	modified:   sites-modules.tex