对偶化范畴的张量积构造

本文证明了一个局部有限箭图的路范畴模一个单项式容许理想所得的剩余范畴与一个对偶化范畴的张量积的加法包的幂等完备是对偶化的.从而,此张量积范畴的有限表现函子范畴是对偶化的且有几乎可裂序列.作为应用,本文证明了一个对偶化范畴上的有限表现函子范畴的态射范畴与态射合成范畴及各种各样的n-(循环)复形范畴有几乎可裂序列.