とは一般にとは導来同値(つまり導来圏ととが三角圏として同値)であることを示した.
三角圏