Equivalence between the category of cat\(^1\)-complexes and the category of crossed modules of complexes (Q2909858)

A crossed module \((C,G,\partial)\) of groups, defined by \textit{J. H. C. Whitehead} [Bull. Am. Math. Soc. 55, 453--496 (1949; Zbl 0040.38801)], is a group homomorphism \(\partial: C\rightarrow G\) with a (left) action of \(G\) on \(C\) satisfying the conditions CM1, \(\partial(^g c)=g\partial(c)g^{-1}\), and CM2, \( ^{\partial(c_1)} c_2=c_1c_2{c_1}^{-1}\), for all \(c,c_1,c_2\in C\) and \(g\in G\). A morphism of such crossed modules \((\mu,\eta): (C,G,\partial)\rightarrow (D,H,\delta)\) is a pair of group homomorphisms \(\mu: C\rightarrow D\) and \(\eta : G\rightarrow H\) such that \(\delta\mu=\eta\partial\) and \(\mu(^gc)= {^{\eta(g)}\mu(c)}\) for \(c\in C\) and \(g\in G\). So we get a category CModGrps of crossed modules. NEWLINENEWLINENEWLINE On the other hand, a cat\(^1\)-group, defined by \textit{J.-L. Loday} [J. Pure Appl. Algebra 24, 179--202 (1982; Zbl 0491.55004)], is a group \(G\) along with two endomorphisms \(s,t: G\rightarrow G\) such that CAT1, \(ts=s\), \(st=t\), and CAT2, \([\operatorname{Ker}s, \operatorname{Ker}t]=1\). A morphism \(f: (G,s,t)\rightarrow (G',s',t')\) of cat\(^1\)-groups is a group homomorphism \(f: G\rightarrow G'\) such that \(s' f=f s\) and \(t' f=f t\). Hence we get a category Cat\(^1\)-Grps of cat\(^1\)-groups. Loday proved in [loc. cit.] that the categories CModGrps and Cat\(^1\)-Grps are equivalent. NEWLINENEWLINENEWLINE In this paper a similar result is proved for complexes rather than groups.