The Stacks project

LaTeX: Remove useless brackets

LaTeX: \Sh

	Introduced the macro

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

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

Relocalizing morphisms of (ringed) topoi

	There is quite a bit of duplication here, but it seems
	convenient to be able to talk about this both when given
	explicit sites defining the topoi and when you are just given an
	abstract morphism of (ringed) topoi.

Relocalizing morphisms of (ringed) topoi

	There is quite a bit of duplication here, but it seems
	convenient to be able to talk about this both when given
	explicit sites defining the topoi and when you are just given an
	abstract morphism of (ringed) topoi.

Properties of Spaces: Recovering morphisms

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: Localization of morphisms of locally ringed topoi

	Arrggghhhh! Oh well, it is very nice how it all fits together.