The Stacks project

Improve a proof in sites

Thanks to ZL
https://stacks.math.columbia.edu/tag/03A2#comment-8340

Add reference in sites.tex

Thanks to Julia
http://stacks.math.columbia.edu/tag/039Z#comment-1182
http://stacks.math.columbia.edu/tag/039Z#comment-1186

Stack project corrections by Albert Gunawan

Thanks to Albert Gunawan

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

Sites: Localization and special cocontinuous functors

	More preparation for discussing local properties of sheaves in a
	topos.

	modified:   sites.tex

Sites: composition morphisms sites + topoi live on good sites

	You can compose morphisms of sites.
	Any topos is the category of sheaves on a site which has a
	final object and fibre products, i.e., has all finite limits.

	modified:   sites.tex

Tags: Added new tags to the project

	modified:   tags/tags

Sites: Finished with result on morphisms topoi for now

	modified:   sites.tex

Sites: Any morphism of topoi comes from a morphism of sites

	Almost done but not quite

	modified:   sites.tex