History of tag 08BX
Go back to the tag's page.
| type |
time |
link |
|
changed the proof
|
2013-01-26 |
5348388 |
Clean up the material from last commit
The claims on duals of pseudo-coherent complexes were too optimistic. As
a replacement we directly construct a base change map for pushforwards
of internal homs. Then we show this is a qis by the induction principle.
We also fixed the proof of the lemma on duals of perfect objects as the
previous one was nonsense.
Finally, we improve the (trivial) lemma on vanishing of Ext groups
between objects of the derived category.
|
|
assigned tag 08BX
|
2012-12-15 |
0dc0f11
|
Tags: Added new tags
|
|
created statement with label lemma-unbounded-mayer-vietoris in cohomology.tex
|
2012-12-11 |
165e136 |
Mayer-Vietoris
Unbounded version on ringed spaces
|