The Stacks project

Small fix in morphisms

LaTeX: \Spec

	Introduced the macro

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

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

Etale Cohomology: Functoriality etale topoi done

	This commit puts in the last bits for the proof that a morphism
	of locally ringed topoi

		(X_{etale}, O_X) ---> (Y_{etale}, O_Y)

	always comes from a morphism of schemes X ---> Y.

	The current proof by glueing is not really that nice since it
	requires a lot of sophistication from the reader. On the other
	hand it is more or less clear that you can do this as soon as
	you start thinking about it, and in fact it is probably the
	proof that a less sophisticated mathematicien (such as me) would
	come up with in the first place. Hah!

Morphisms: Embedding quasi-affine schemes into affine n space