Let and be two principal -bundles with base spaces and , respectively. Let be a group homomorphism between the structure groups and . A morphism between these principal bundles is a pair of smooth maps , where and , satisfying the following conditions:
The diagram
commutes, i.e., .
2. The map is -equivariant with respect to , that is: