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.

amalg and coprod

Whitespace changes

LaTeX: \Spec

	Introduced the macro

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

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

Hom-sheaf

	Our first result is that Mor_B(Z, X) is an algebraic space if Z
	is finite locally free over the base B.

End conversion of etale to \'etale.

Added new tags

(X/Y)_{fin} an algebraic space if f sep and locally of finite type

	Just to finish the discussion. Also added two remarks on why the
	assumptions are needed, and why the result is really an
	algebraic space and not a scheme.

	We will soon discuss the case where f : X ---> Y is locally of
	finite presentation and flat to show that in that case you get a
	scheme.

Construction of etale cover finite part

	First somewhat rough version of the argument. It is surprisingly
	pleasant to prove this.