The Stacks project

LaTeX: \Sh

	Introduced the macro

	\def\Sh{\mathop{\textit{Sh}}\nolimits}

	and replaced all occurences of \textit{Sh} with \Sh.

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!

Modules on Sites: 2-morphisms of ringed topoi

	This to clarify the glueing that takes place in functoriality of
	etale ringed topoi.