Chain duality I (Ex)
From Manifold Atlas
(i) Let be an additive category and let be the category of bounded chain complexes in . Using the double complex extend to a contravariant functor
(ii) Suppose instead that and that is concentrated between dimensions and . Observe that the extension has concentrated between dimensions and .