natural equivalence of $C_G$ and $C_M$ categories

Theorem 0.1.

(with proof by Verdier [1])The category ${\mathrm{C}}_G$ of categorical groups and functorial homomorphisms between categorical groups, and the category ${\mathrm{C}}_M$ of crossed modules of groups and homomorphisms between them, are naturally equivalent.