En topología algebraica , una fibración G o fibración principal es una generalización de un haz G principal , así como una fibración es una generalización de un haz de fibras . Por definición, [1] dado un monoide topológico G , una fibración G es una fibración p : P → B junto con una acción monoide derecha continua P × G → P tal que
Un paquete G principal es un ejemplo prototípico de fibra G. Otro ejemplo es la fibración del espacio de caminos de Moore : es decir, sea el espacio de caminos de varias longitudes en un espacio basado X. Entonces , la fibración que envía cada camino a su punto final es una fibración G con G el espacio de bucles de varias longitudes en X.