Definition 12.20.1. Let \mathcal{A} be an abelian category.
A spectral sequence in \mathcal{A} is given by a system (E_ r, d_ r)_{r \geq 1} where each E_ r is an object of \mathcal{A}, each d_ r : E_ r \to E_ r is a morphism such that d_ r \circ d_ r = 0 and E_{r + 1} = \mathop{\mathrm{Ker}}(d_ r)/\mathop{\mathrm{Im}}(d_ r) for r \geq 1.
A morphism of spectral sequences f : (E_ r, d_ r)_{r \geq 1} \to (E'_ r, d'_ r)_{r \geq 1} is given by a family of morphisms f_ r : E_ r \to E'_ r such that f_ r \circ d_ r = d'_ r \circ f_ r and such that f_{r + 1} is the morphism induced by f_ r via the identifications E_{r + 1} = \mathop{\mathrm{Ker}}(d_ r)/\mathop{\mathrm{Im}}(d_ r) and E'_{r + 1} = \mathop{\mathrm{Ker}}(d'_ r)/\mathop{\mathrm{Im}}(d'_ r).
Comments (2)
Comment #58 by Pieter Belmans on
Comment #63 by Johan on