The Stacks project

Rf_! via compactifications

Just the construction and nothing else... We also shored up the
discussion of f_! in various ways... Terrible!

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: fix colim

	Introduced the macro

	\def\colim{\mathop{\rm colim}\nolimits}

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

LaTeX: fix lim

	Replaced all the occurences of \text{lim} by \lim or
	\lim\nolimits depending on whether the invocation occured in
	display math or not.

Modules on Sites: Somewhat satisfactory explanation of local properties
of modules

	There are several improvements that can be made here, but for
	the moment this is OK. In particular what is the correct version
	of the relationship between localization and morphisms of
	sites? Is it just completely general?

	modified:   descent.tex
	modified:   modules.tex
	modified:   sites-modules.tex
	modified:   sites.tex
	modified:   tags/tags

Started tags infrastructure

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

Added stuff on fppf. fpqc, etale sites

	modified:   categories.tex
	modified:   etale.tex
	modified:   sets.tex
	modified:   sites.tex

Added stuff about localization

	modified:   categories.tex
	modified:   sites.tex