Principal bundle morphism

Related: vector bundle morphism.
Let P(G,π,B) and P′(G′,π′,B′) be two principal G-bundles with base spaces B and B′, respectively. Let h:G→G′ be a group homomorphism between the structure groups G and G′. A morphism f:P→P′ between these principal bundles is a pair of smooth maps (fB,fP), where fB:B→B′ and fP:P→P′, satisfying the following conditions:

  1. The diagram
P⟶fPP′π↓↓π′B⟶fBB′

commutes, i.e., π′∘fP=fB∘π.
2. The map fP is G-equivariant with respect to h, that is:

fP(p⋅g)=fP(p)⋅h(g),∀p∈P,g∈G.

Here, fP(p⋅g) and fP(p)⋅h(g) are elements of P′, and h(g)∈G′.