Ehresmann connection & curvature form

Horizontal distribution H ⊂ TP, G-equivariant. Curvature Ω = dω + ½[ω,ω] ∈ Ω²(P,g). Flat: Ω = 0; parallel transport integrable.