Definition

A chain complex is a graded abelian group (or module) with a differential

such that

  1. is a group homomorphism (or R-module homomorphism).

  2. (that is is 0 map)

Category of chain complexes

In the category of chain complexes, the morphism are chain maps.

Examples

todo Add singular chain comples and de Rahm cohomology