Zusammenhängende Mannigfaltigkeit/Korrespondenz/Linear lokal integrabler Zusammenhang/Operation der Fundamentalgruppe/Fakt
Es sei eine zusammenhängende differenzierbare Mannigfaltigkeit und ein Punkt. Es sei .
Dann entsprechen sich die (Isomorphieklassen von) , wobei ein differenzierbares Vektorbündel vom Rang über und ein linearer lokal integrabler Zusammenhang auf ist, und die (Isomorphieklassen von) Rechtsoperationen der Fundamentalgruppe auf .