History of tag 05T0
Go back to the tag's page.
type |
time |
link |
changed the proof
|
2024-05-03 |
772c5ce |
Improve a proof
Thanks to ElÃas Guisado
https://stacks.math.columbia.edu/tag/05T0#comment-8422
|
changed the statement and the proof
|
2014-04-05 |
6797671 |
Fix an error in derived.tex
It is not clear that if RF is defined a X + Y then it is defined at both
X and Y. This is true when the target triangulated category is Karoubian
but presumably not in general (see also previous commit).
Thanks to Nuno Cardoso for pointing out this difficulty.
http://stacks.math.columbia.edu/tag/05SD#comment-524
http://stacks.math.columbia.edu/tag/05SD#comment-526
http://stacks.math.columbia.edu/tag/05SD#comment-527
http://stacks.math.columbia.edu/tag/05SD#comment-528
http://stacks.math.columbia.edu/tag/05SD#comment-529
|
assigned tag 05T0
|
2011-02-14 |
4f79f80
|
Tags: added new tags
|
created statement with label lemma-direct-sum-computes in derived.tex
|
2011-02-08 |
7798522 |
Existence derived functor
Fun! Fun! Fun!
|