The Stacks project

LaTeX

Introduced a macro

\def\QCoh{{\textit{QCoh}}}

and replaced almost all occurences of \textit{QCoh} by \QCoh. There are
still some places where we use \textit{QCoh}, namely in the chapter
on examples of stacks. This is because the meaning there is different;
it indicates a category fibred in groupoids over Sch and not the notational
gadget that takes a ringed topos and spits out its category of
quasi-coherent modules.

Fix notation

	Try to make notation concerning quasi-coherent and adequate
	modules more consistent.

LaTeX: Hom and SheafHom

	Introduced the macros

	\def\Hom{\mathop{\rm Hom}\nolimits}
	\def\SheafHom{\mathop{\mathcal{H}\!{\it om}}\nolimits}

	and replaced all the occurences of \text{Hom} and \textit{Hom}
	with these.

Tags: Added new tags

Comparison derived cats

	Ok, so although the proofs are a bit sketchy and use unbounded
	derived functors we haven't introduced yet, it seems quite clear
	that the category D_{QCoh}(X) is the quotient of the category
	D_{Adeq}(X) by the subcategory D_C(X) where C is the category of
	parasitic adequate modules. This is cool, because it gives a
	construction of the derived category D_{QCoh}(X) entirely in
	terms of the derived category of O-modules on the big fppf site
	of the scheme X.