• Picard-Lindelöf theorem

How parallel transport relates to connection.

• Ambrose-Singer theorem 

Flat connection implies independence of the parallel transport related to a homotopy euquivalence of loop.

• Integrability of connection guarantees the action of Der on endmorphism of local system is a Lie-algebra homomorphism.