The Stacks project

Three changes

Thanks to Bjor Poonen

Change definition of connected: require nonempty

Thanks to Burt Totaro

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: uniformize notation

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.

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

Started tags infrastructure

	new file:   scripts/add_tags.py
	modified:   scripts/functions.py
	new file:   tags/initial_tags
	new file:   tags/tags

More neurotic changes

Fix forward references in proofs still left over

	modified:   algebra.tex
	modified:   categories.tex
	modified:   sets.tex
	modified:   sites.tex

Finished checking directed (co)limits in sites.tex
Added the morphism of topoi associated to a cocontinuous functor

	modified:   categories.tex
	modified:   sites.tex

Checking directed limits have nonempty diagram

	modified:   sites.tex

Fixed some of the problems with the section on points

Tried to clean up the section on points, but failed

Got rid of subsubsection and use subsection only sparingly.

	modified:   algebraic.tex
	modified:   categories.tex
	modified:   desirables.tex
	modified:   etale.tex
	modified:   flat.tex
	modified:   hypercovering.tex
	modified:   injectives.tex
	modified:   preamble.tex
	modified:   schemes.tex
	modified:   sets.tex
	modified:   sites.tex
	modified:   spaces.tex
	modified:   stacks.tex
	modified:   topology.tex

Tired...

	modified:   categories.tex
	modified:   sites.tex