Horizontal lift
= Horizontal lift
{wiki=Connection_(principal_bundle)#Horizontal_lift}
A horizontal lift of a base curve is a curve in the bundle projecting to it and tangent to the horizontal distribution. In a local frame its fiber coordinate solves a linear ordinary differential equation.