The Stacks project

fix small typos

Yet another criterion smoothness in formal-defos

Characterize unobstructed predeformation category

in terms of versal formal object

Better notation for deformation problems

Nothing to see here: controlling paragraphs neurotically

Corrected unsubstantial typos.

First version of Artin's theorems

	This monster commit contains the first version of Artin's
	theorems on representability of stacks and spaces. It is still a
	bit rough.

First version of Artin's theorems

	This monster commit contains the first version of Artin's
	theorems on representability of stacks and spaces. It is still a
	bit rough.

Whitespace changes

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.

Existence of smooth presentations

	Yeah!

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.