Category:Chain Complexes

From ProofWiki
Jump to navigation Jump to search

This category contains results about Chain Complexes.
Definitions specific to this category can be found in Definitions/Chain Complexes.

Let $\AA$ be an abelian category.


A chain complex in $\AA$ is a family of objects:

$\family {C_i}_{i \mathop \in \Z}$ of $\AA$

and a family of morphisms:

$\family {d_i : C_i \to C_{i - 1} }_{i \mathop \in \Z}$

such that for all $i \in \Z$, the composition $d_{i - 1} \circ d_i$ is the zero morphism $0 : C_i \to C_{i - 2}$.

This category currently contains no pages or media.