iv>
We then introduce Cartan geometries, together with a number of tools we shall use to study them. We take, as particular examples, the four classical types of geometry: affine, projective, Riemannian and conformal geometry. We also see how our approach can start to fit into a more general theory. Finally, we specialize to the geometries (affine and projective) associated with path spaces and geodesics, and consider their symmetries and other properties.