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.

Fix for xyjax error on Tag 089G

The fix is to make sure there is no &\Spec in xymatrix
However, having this doesn't trigger the bug consistently.

Anyway, the easiest solution for now is to make sure every
& is followed by a space in the LaTeX files.

LaTeX: \Spec

	Introduced the macro

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

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

Morphisms of Spaces: Valutaive criteria

	Allow for a field extension in the definition of the existence
	part of the valuative criterion for morphisms of algebraic
	spaces. Design decision: Any field extension is allowed. If one
	can get away with less (e.g. finite separable extensions or no
	extension at all) then this should be formulated in a separate
	lemma. We do this in the case of representable morphisms in this
	commit also.

Tags: New tags added and two fixed

Morphisms of spaces: Universally closed + valuative criteria

	Started writing a little more on universally closed morphisms of
	algebraic spaces and (possibly) valuative criteria. This seems
	to be already slightly tricky in our general setting.