Loading [MathJax]/extensions/tex2jax.js

The Stacks project

History of tag 07A3

Go back to the tag's page.

type time link
assigned tag 07A3 2011-12-07 a9c3de7
TAGS: Added new tags
created statement with label lemma-K-flat-two-out-of-three in sites-cohomology.tex 2011-11-27 4b23478
Derived pullback and tensor product

	Version for modules on ringed topoi. Exactly the same as the
	case of morphisms of ringed spaces. We need the assumption that
	our sites have enough points. This is due to the fact that we
	haven't yet proved that pullbacks of flat modules are flat for a
	general morphism of ringed topoi --- a result of Deligne whose
	proof in SGA uses "local inductive limits". Is there some proof
	of this using some trick avoiding local inductive limits?