The Stacks project

Typos

Thanks to David Zureick-Brown
http://stacks.math.columbia.edu/tag/02EM#comment-31

Versal formal objects

	Now we've got uniqueness of versal formal object (correct
	statement in the correct generality). This introduces a
	different notion of minimality from before -- one which doesn't
	look at what happens on tangent spaces. The result later is then
	going to be that minimality can be read off from what happens on
	tangent spaces, provided we have (S2).

Unstuck!

	We slightly changed (S2) halfway back to where it was before and
	now everything works (sofar).

Schlessinger's conditions

	I changed the condition (S2) because for non predeformation
	categories the condition just wasn't the right one (as far as I
	can tell). This has already been a bit of a bore, but hopefully
	it will not be too bad. In particular, if F is a predeformation
	category then the new condition is equivalent to the old
	condition...

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.

Tags: Added new tags

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

New chapter on formal deformation theory

	Written by Alex Perry.