Lemma 12.23.3. Let $\mathcal{A}$ be an abelian category. Let $(K, F, d)$ be a filtered differential object of $\mathcal{A}$. The spectral sequence $(E_ r, d_ r)_{r \geq 0}$ associated to $(K, F, d)$ has

equal to the boundary map in homology associated to the short exact sequence of differential objects

## Comments (2)

Comment #1453 by Zhe Zhang on

Comment #1461 by Johan on

There are also: