Horizontal section of a principal bundle
= Horizontal section of a principal bundle
A local section $s:U\to P$ is horizontal when $ds(TU)\subseteq H$, equivalently when $s^*\mathcal A=0$. A <flat principal connection> has horizontal sections locally, while its <holonomy of a connection>[holonomy] can obstruct a global horizontal section.