http://homepages.math.uic.edu/~mholmb2/serre.pdf
Serre specrtal sequenceの二重複体による構成。
特異チェインを使って二重複体を定義し、それがSerre spectral sequenceになることを確かめる。
degree (p,q)-partは\Delta^p \times \Delta^q \to \Delta^pからE \to Bへの射が生成する自由加群で、ファイバー方向とベース方向の微分を用いて二重複体の微分を定める。