Cubical Abelian groups with connections are equivalent to chain complexes (Q1397816)

This note is based on another work of the authors [\textit{R. Brown} and \textit{P. J. Higgins}, J. Pure Appl. Algebra 21, 233-260 (1981; Zbl 0468.55007)] and proves that five categories, internally defined in a given additive category with kernels, are equivalent. These are the categories of chain complexes, crossed complexes, cubical sets with connections, cubical \(\omega\)-groupoids with connections and globular \(\omega\)-groupoids.