A principal connection can be specified by a -equivariant horizontal distribution complementary to the vertical bundle, or equivalently by a Lie-algebra-valued connection form that reproduces infinitesimal generators and has .
New to topics? Read the docs here!