Notes for BBS/Martins-150501-114927.jpg

Bottom left correct relation is $(X,e)(Y,f)(X,e)^{-1}$ (second axiom of crossed modules).

Fourth red relation on the right should be $D=\partial (d)A^{-1}GA$