The Stacks project

Clarify stuff on deformations of maps thickenings

Whitespace changes

Bunch of changes

	(1) Starting to write about thickenings of algebraic spaces
	(2) Change Omega^1_{X/S} to Omega_{X/S}
	(3) Introduced universal homeomorphisms for algebraic spaces
	(4) If X ---> Y is a surjective, integral morphism of schemes
	and X is an affine scheme, then Y is an affine scheme
	(4) Topological invariance of the site X_{spaces, etale} of an
	algebraic space X (proof unfinished}

	In order to see that also X_{etale} is a topological invariant
	we (I think) need to prove the following result: If X --> Y is a
	integral, universally injective, surjective morphism of
	algebraic spaces then X is a scheme if and only if Y is a
	scheme. There are two proofs of this result in the literature
	(one by David Rydh and one by Brian Conrad); both reduce the
	result to the Noetherian case by limit arguments. I would
	prefer a more direct argument...

End conversion of etale to \'etale.

Tags: Added new tags

Infinitesimal deformations of maps: Algebraic space case

	This is really not the right way to do it, but it does seem to
	work.