Eilenberg–Moore spectral sequence

The Eilenberg-Moore spectral sequence is a mathematical construct used in the field of algebraic topology and homological algebra. It arises in the context of homotopical algebra, particularly when dealing with fibred categories and the associated homotopy theoretic situations.