“…[29,30,30]) defined from (A α , B α , η αβ ). P is a non-abelian bundle gerbes [26,27,28,29,30,31])♯ with the structure Lie crossed module (G, J, t, Ad) where t : J → G is the canonical injection (J is a subgroup of G) and Ad : G → Aut(J) is the adjoint representation of G on itself restricted to J (in the homomorphisms domain). The replacement of the single gauge group of closed quantum systems by a gauge Lie crossed module for open quantum systems is explained by the need for a gauge group associated with the evolution of the quantum system (G) and also for a gauge group associated with the decoherence induced by the environment (J).…”