Foundations of Differential Geometry

Kobayashi and Nomizu's treatise supplies the classical principal-bundle machinery we invoke in riva2026random for existence and uniqueness of horizontal lifts and for the Ambrose-Singer theorem linking curvature to the restricted holonomy group over closed loops in the base.