History of tag 07A4
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2020-12-12 |
94d9102 |
Actually use the new lemmas correctly
|
|
changed the statement
|
2017-01-02 |
d90e7d6 |
Remove assumptions which are no longer required
|
|
changed the proof
|
2013-03-08 |
1af6061 |
Clean up some loose ends in cotangent.tex
|
|
assigned tag 07A4
|
2011-12-07 |
a9c3de7
|
TAGS: Added new tags
|
|
created statement with label lemma-pullback-tensor-product 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?
|