Crossed module
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: