Curvature of a principal connection (source code)

= Curvature of a principal connection
{title2=$\mathcal F=d\mathcal A+\frac12[\mathcal A\wedge\mathcal A]$}
{wiki=Curvature_form}

The curvature of a <principal connection> is the horizontal equivariant two-form
$$
\mathcal F=d\mathcal A+\frac12[\mathcal A\wedge\mathcal A].
$$
For horizontal vector fields $X,Y$, it satisfies $\mathcal F(X,Y)=-\mathcal A([X,Y])$.