Every bounded-below complex C_• admits a Cartan–Eilenberg resolution: a double complex P_{p,q} of projectives with exact rows (each row is a projective resolution of a boundary, cycle, or homology piece) such that the total complex…
Every bounded-below complex C_• admits a Cartan–Eilenberg resolution: a double complex P_{p,q} of projectives with exact rows (each row is a projective resolution of a boundary, cycle, or homology piece) such that the total complex…