History of tag 07A6
Go back to the tag's page.
| type |
time |
link |
|
changed the statement
|
2017-01-02 |
d90e7d6 |
Remove assumptions which are no longer required
|
|
changed the proof
|
2013-12-16 |
62690ba |
Formal statement on adjointness derived functors
This actually clarifies and simplifies things
|
|
changed the statement and the proof
|
2013-06-04 |
80afd57 |
\text{Hom} ---> \Hom
|
|
assigned tag 07A6
|
2011-12-07 |
a9c3de7
|
TAGS: Added new tags
|
|
changed the statement
|
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?
|
|
created statement with label lemma-adjoint in sites-cohomology.tex
|
2011-11-26 |
56d3696 |
Cohomology of unbounded complexes
The case of sheaves on sites. Exactly the same as in the case of
sheaves of modules on spaces.
|