Derived category of filtered objects
For an abelian category C and a filtrant preordered set Lambda, we prove that the derived category of the quasi-abelian category of filtered objects in C indexed by Lambda is equivalent to the derived category of the abelian category of functors from Lambda to C. We apply this result to the study of the category of filtered modules over a filtered ring in a tensor category.