https://en.wikipedia.org/wiki/Grothendieck_spectral_sequence Grothendieck spectral sequence (抜粋) In mathematics, in the field of homological algebra, the Grothendieck spectral sequence, introduced in Tohoku paper, is a spectral sequence that computes the derived functors of the composition of two functors G◯F, from knowledge of the derived functors of F and G.