The Stacks project

Slight reorg

Small things about the small affine etale site of a scheme

Characterizing finite locally constant sheaves

Spell check: words starting with a or A

LaTeX: \etale

Introduced the macro

\def\etale{{\acute{e}tale}}

and replaced all occurences of \acute{e}tale by \etale

Whitespace changes

LaTeX: \Sh

	Introduced the macro

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

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

LaTeX: \Ob

	Introduced a macro

	\def\Ob{\mathop{\rm Ob}\nolimits}

	and replaced any occurence of \text{Ob}( with \Ob(. There are
	still some occurences of \text{Ob} but these are sets, not the
	operator that takes the set of objects of a category.

LaTeX: \Mor

	Introduced a macro

	\def\Mor{\mathop{\rm Mor}\nolimits}

	and replaced all the occurences of \text{Mor} with \Mor.

LaTeX: \Spec

	Introduced the macro

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

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

Neurotic changes

	Fix (almost all) complaints of parse.py

Begin translating etale to \'etale or \acute{e}tale (in Math mode).

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!

Tags: added new tags

Etale Cohomology: Functoriality small etale sites

	Almost done with this.