In mathematics, and especially in homotopy theory, a crossed module consists of groups G and H, where G acts on H by automorphisms (which we will write on the left, , and a homomorphism of groups that is equivariant with respect to the conjugation action of G on itself: and also satisfies the so-called :