The Stacks project

Try to use L/K notation for field extensions

We could also try to consistenly use "field extension" and not just
"extension" and consistently use "ring extension", etc.

Explain why X is discrete

Thanks to comment and JuanPablo
http://stacks.math.columbia.edu/tag/02G7#comment-2245
http://stacks.math.columbia.edu/tag/02G7#comment-2247

Fix proof lemma in morphisms

Thanks to comment and JuanPablo
http://stacks.math.columbia.edu/tag/02G7#comment-2245
http://stacks.math.columbia.edu/tag/02G7#comment-2247

LaTeX: \Spec

	Introduced the macro

	\def\Spec{\mathop{\rm Spec}}

	and changed all the occurences of \text{Spec} into \Spec.

Morphisms of Spaces: Bootstrap, second version

	OK, so now the proof is complete. Of course the chapter on
	morphisms on algebraic spaces has a curious selection of topics
	at the moment, since we've tried to work towards the bootstrap
	theorem, and have not developped in a straightforward way. For
	example, we have at this point defined what an etale morphism of
	algebraic spaces is, but not what a morphism of finite
	presentation is!

	This will be fixed over time.

Forgot to add more-morphisms.tex to tags Makefile
Added new tags to tags/tags

	modified:   tags/Makefile
	modified:   tags/tags

Introduced unramified and etale morphisms

	modified:   algebra.tex
	modified:   morphisms.tex