The Stacks project

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.