(Co)Homology of crossed modules (Q5960402): Difference between revisions

The authors first prove that the category of crossed modules is tripleable over the category of sets, so that it is an algebraic category. Particularizing the Barr-Beck (co)homology, they introduce homology and cohomology theories for crossed modules and show the relationship of (co)homology of crossed modules and Eilenberg and MacLane group (co)homology. They define \(5\)-term exact sequences linking the (co)homology of crossed modules in dimension \(1\) and \(2\), sequences which generalize the exact sequences due to Hochschild and Serre, and Stallings and Stammbach, respectively. Finally, the central extensions of a crossed module are classified by its second cohomology group \(H^2\), and a universal coefficient theorem for crossed cohomology is stated.