The Stacks project

Neurotic changes

Decent Algebraic Spaces

	Created a new chapter "Decent Algebraic Spaces" and moved most
	of the material on local conditions of algebraic spaces in
	there. In the next few commits we will fix the breakage that this
	causes.

	The reason for the move is that this material is difficult to
	understand for the beginner and that most of the other material
	in Properties of Spaces and Morphisms of Spaces is easier and
	more analogous to what happens for schemes.

	An added advantage is that we can use results on morphisms of
	algebraic spaces in the new chapter, hence it becomes easier to
	develop the theory of decent spaces.

End conversion of etale to \'etale.

Tags: New tags added and two fixed

Properties of Spaces: Cleanup of results so far

	We added a remark recalling some of the pertinent facts about
	etale morphisms of schemes in the section on points of
	reasonable algebraic spaces. Then we use this to shorten the
	proofs of the lemmas in that section. We added a lemma saying
	that a reasonable algebraic space covered by the spectrum of a
	field is the spectrum of a field. Finally, we changed the lemma
	stating that the topological space associated to a reasonable
	space is sober into stating that it is Kolmogorov. The proof was
	incorrect, and it will require considerably more work to prove
	this.