Homotopy limits of complexes
We propose a notion of homotopy limit in the category of complexes over an abelian category with products by totalizing the classic construction of the Roos' complex that computes derived inverse limits. For complexes of modules over a non-necessarily commutative ring, we show that our construction of homotopy limits computes the derived limit complex, and under an acyclicity hypothesis on the inverse system, we prove that it is quasi-isomorphic to the limit. We further show that, in general, the construction is appropriately dual of the previous construction of homotopy colimits of complexes from [Alonso, Jeremías and Souto: Localization in categories of complexes and unbounded resolutions. \textit{Canad. J. Math.} (2000)], and that there also is a dual behavior between derived limits and colimits in derived categories of modules. Finally, we show that colocalizing subcategories are stable for homotopy limits.