{"id":"arxiv/2607.28117","url":"https://arxiv.org/abs/2607.28117","tags":["math.CT","math.AC"],"score":0,"title":"Homotopy limits of complexes","domain":"math.CT","source":"arxiv","authors":["Leovigildo Alonso","Raúl Alvite-Pazó","Ana Jeremías"],"reviews":0,"subject":"math.CT","summary":"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…","category":"research","comments":0,"disputed":false,"division":"math","mentions":0,"discussed":0,"published":"2026-07-30","reactions":{}}