The Stacks project

Add missing arrows in sites-modules.tex

Thanks to Olaf Schn\"urer
http://stacks.math.columbia.edu/tag/03DE#comment-1151

Scheme theoretic closure for algebraic spaces

Tricky lemma to show the definition is compatible with the
definition for schemes. Everything else is standard.

LaTeX: \Sh

	Introduced the macro

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

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

TAGS: added new tags

	modified:   tags/tags

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

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

Modules on Sites: Very basic stuff on ringed topoi and modules

	It turns out to be slightly tricky to show that the notion of a
	quasi-coherent module (or locally generated by sections, finite
	type, finite presentation, etc) is an intrinsic property of modules
	on a ringed topos and not dependend of the choice of the
	underlying site. To do this we need a bit of discussion on
	localizing and equivalences of topois such as those in Sites,
	lemma-equivalence

	modified:   sites-modules.tex