Gauge groupoids constitute the prototypical examples of transitive Lie groupoids: indeed, any transitive Lie groupoid is isomorphic to the gauge groupoid of some principal bundle, namely the G x -bundle t : s − − 1 ( x ) → → M , for any point x ∈ ∈ M . For instance: