The Stacks project

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.

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.

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.

Modules on Sites: Localization of morphisms of locally ringed topoi

	Arrggghhhh! Oh well, it is very nice how it all fits together.

Tags: new tags added

	modified:   tags/tags

Sites: Functoriality of localization

	This answers the question posed in commit 1764ce1 affirmatively

	modified:   sites-modules.tex
	modified:   sites.tex