Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 04H0

Go back to the tag's page.

type time link
changed the label to lemma-localize-pushforward 2016-02-03 0ae4aff
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?"
changed the statement and the proof 2016-02-03 0ae4aff
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?"
changed the statement 2011-08-11 1b77f34
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.
changed the label to remark-localize-pushforward 2010-05-12 e7ae4f0
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.
changed the statement 2010-05-12 e7ae4f0
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.
assigned tag 04H0 2010-04-19 12d45c1
Tags: added new tags
created statement with label remark-pushforward-localization in sites.tex 2010-04-19 71fd7e3
Sites: Localizing morphisms of topoi

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