In this lecture we prove that a parallel transport system $\mathbb{P}$ on a vector bundle is equivalent to a connection $\mathcal{H}$.

This is a rather messy and involved proof—you will no doubt be pleased (disappointed?) to learn it is non-examinable!