Def.
derived category并不一定存在,但如果存在那由universal property知在同构意义下唯一
我们自然会问的一个问题是:derived category上的algebraic structure是什么?