The Stacks project

Characterization of essentially constant systems

Thanks to Et
https://stacks.math.columbia.edu/tag/05PY#comment-8282

Corrected typos in constructions.tex crystalline.tex curves.tex derived.tex dga.tex etale.tex exercises.tex

Fix an error in derived.tex

The proof of this very important lemma was wrong as we blithly used that
limits preserve exactness which is nonsense. Argh!

Thanks to Nuno Cardoso
http://stacks.math.columbia.edu/tag/05SC#comment-556

Improve a proof in derived.tex

Namely, the proof that RF is defined at two out of three of a
distinguished triangle then it is defined at the third.

LaTeX: Remove useless brackets

LaTeX: \Mor

	Introduced a macro

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

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

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.

Left over limits

	in math mode which didn't have \nolimits or \limits associated
	with them...

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

More derived functors

Derived functors

	Just the start of the general picture