History of tag 07A2
Go back to the tag's page.
| type |
time |
link |
|
assigned tag 07A2
|
2011-12-07 |
a9c3de7
|
TAGS: Added new tags
|
|
created statement with label lemma-tensor-product-K-flat 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?
|