Prefer a chat interface with context about you and your work?
Cubical abelian groups with connections are equivalent to chain complexes
The theorem of the title is deduced from the equivalence between crossed complexes and cubical ω-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.