In Ehresmann's footsteps: from group geometries to groupoid geometries
The geometric understanding of Cartan connections led Charles Ehresmann from the Erlangen program of (abstract) transformation groups to the enlarged program of Lie groupoid actions, via the basic concept of structural groupoid acting through the fibres of a (smooth) principal fibre bundle or of its associated bundles, and the basic examples stemming from the manifold of jets (fibred by its source or target projections). We show that the remarkable relation arising between the actions of the structural...