Cubical abelian groups with connections are equivalent to chain complexes

Abstract

The theorem of the title is deduced from the equivalence between crossed complexes and cubical $\omega$-groupoids with connections proved by the authors in 1981. In fact we prove the equivalence of five categories defined internally to an additive category with kernels.