Loading [MathJax]/extensions/tex2jax.js

The Stacks project

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!