Fibre bundle P → M with free G-action, fibre ≅ G. Connection 1-form ω: TP → g. Yields gauge theory framework.