代数幾何のスペクトル系列といったら、合成関手の導来関手に関する
Grothendieck SS が主だな。