 Curvature of a principal connection

This is the principal-bundle version of the curvature form. The curvature of a principal connection is the horizontal equivariant two-formFor horizontal vector fields $X,Y$, it satisfies $\mathcal{F}(X,Y)=-\mathcal{A}([X,Y])$.