The Stacks project

Fix a couple of double word mistakes

j_! reflects injections and surjections in sites

Change definition of connected: require nonempty

Thanks to Burt Totaro

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.

Fallout from error fixed in previous commit.

	Most of the fixes were in the more abstract part of the stacks
	project. As a by product the chapter on topologies of schemes
	has been slightly improved.

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.

Tags: Added new tags

Smorgasbord of changes

	Loose ends:
		algebra: add colimit over almost directed cats
		sites-modules: exactness of g_!
		more-morphisms: exactness of g_!
		spaces-morphisms: closed immersions and sheaves
		spaces-more-morphisms: conormal sheaves
	should be fixed up soon