En topología algebraica , una G -fibración o fibración principal es una generalización de un fibrado principal G , así como una fibración es una generalización de un fibrado . Por definición, [1] dado un monoide topológico G , una G -fibración es una fibración p : P → B junto con una acción monoide recta continua P × G → P tal que
Un G -fibrado principal es un ejemplo prototípico de una G -fibración. 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 base X. Entonces, la fibración que envía cada camino a su punto final es una G -fibración , siendo G el espacio de bucles de varias longitudes en X.
