The Stacks project

Final in series nuerotic edits

Fix 'the the ' occurences

Thanks to Burt Totaro

Nothing to see here: controlling paragraphs neurotically

Whitespace changes

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.

And now we're stuck!

	Our change in part 2 of (S2) was too radical. We changed both
	the assumption and the conclusion and we should have only
	changed to assumption... because currently (S2) is different
	from the original version even in the case of a predeformation
	category, contrary to what we said in commit
	7ab110e3348cb10d7368abe7d79229c34d13c3bf.

	Thus we will back up, change (S2) once more, and review all the
	lemmas involving (S2) to make sure they are still OK.

Smooth morphisms

Formal objects

	Added a few trivial proofs.

Cofibered in groupoids

	Formal section with only category theory.

The category C_\Lambda

	This turned out to be quite a bit more interesting than I had
	at first imagined. Can you do this without appealing to the
	naive cotangent complex? I am sure you can, but how much longer
	would it be...? Patches welcome.

Fixing references

	This time we're fixing the type of the reference

Fix two references

	Thanks to Alex Perry for pointing these out.

Tags: Added new tags

	Due to the new material in the chapter on deformation theory.

Fix references

New chapter on formal deformation theory

	Written by Alex Perry.