Matemáticamente podemos tratar convenientemente una teoría de gauge como una conexión definida sobre un fibrado principal definido sobre el espacio-tiempo formula_3, más precisamente el fibrado puede definirse como el espacio topológico cociente de cartas locales: