The Stacks project

Clarify defos of maps thickenings

LaTeX: \etale

Introduced the macro

\def\etale{{\acute{e}tale}}

and replaced all occurences of \acute{e}tale by \etale

Formal objects and effectivity

move a chapter and rename a chapter

	We moved the chapter "Cohomology of Algebraic Spaces" earlier so
	we can use the results earlier in the treatment of algebraic
	spaces. Also, we finally renamed the chapter "Coherent
	Cohomology" to "Cohomology of Schemes" which is better.

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.

Fixed references to short titles

	using the script we will add in the next commit

Small fix for recent material

etale descent formal smoothness

	Kind of fun and kind of annoying at the same time. Also
	included:
		Exactness of products on cat abelian groups
		Pullback of locally projective modules (schemes)
		Cohomology of products of sheaves (just a map which is
			injective for H^1)
		Descent finiteness properties of quasi-coherent modules
			on algebraic spaces
		Omega_{X/Y} is locally projective for a formally smooth
			morphism of algebraic spaces
	Enjoy!

Infinitesimal lifting criterion

	Proof (finally) of the relation between smooth and formally
	smooth morphisms of algebraic spaces.

Todo list: update

	Update to the todo list. The main doable but nontrivial thing is
	the material on formally unramified/etale/smooth morphisms of
	algebraic spaces.

Functoriality of sheaves of differentials

	For morphisms of schemes, ringed topoi, and algebraic spaces.
	Also proved the sheaf of differentials of a morphism of
	algebraic spaces is quasi-coherent.

More Morphisms Spaces: Finish proof characterization finite presentation

	Also add the chapter to the project, some fixes in scripts,
	added tags, etc

More Morphisms Spaces: Finish proof characterization finite presentation

	Also add the chapter to the project, some fixes in scripts,
	added tags, etc