The Stacks project

Proof descirption of j_{F, *}

Thanks to Xu Gao who writes

"I'm a reader of stack project. I found that in 04H0, the author states
that "In order to prove that this works the introduction of Hom-sheaves
is desirable, hence we postpone this to a later time." But the notion of
Hom-sheaves has already introduced in 04TQ although the adjunction of
product and Hom is missing. So I make this supplement, what I have
changed are 04TQ and  04H0. Do you think this change is reasonable?"

Proof descirption of j_{F, *}

Thanks to Xu Gao who writes

"I'm a reader of stack project. I found that in 04H0, the author states
that "In order to prove that this works the introduction of Hom-sheaves
is desirable, hence we postpone this to a later time." But the notion of
Hom-sheaves has already introduced in 04TQ although the adjunction of
product and Hom is missing. So I make this supplement, what I have
changed are 04TQ and  04H0. Do you think this change is reasonable?"

LaTeX: Hom and SheafHom

	Introduced the macros

	\def\Hom{\mathop{\rm Hom}\nolimits}
	\def\SheafHom{\mathop{\mathcal{H}\!{\it om}}\nolimits}

	and replaced all the occurences of \text{Hom} and \textit{Hom}
	with these.

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.

Tags: added new tags

Sites: Localizing morphisms of topoi

	Realized this was missing whilst working out details on
	functoriality of small etale topoi.