sum C
sum f
This is the forgetful functor from the category of chain complexes to the category of modules. A chain complex $C$ is sent to the direct sum $\bigoplus_i C_i$ of its terms. A map of chain complexes $f \colon C \to D$ is sent to the direct sum $\bigoplus_i f_i \colon \bigoplus_i C_i \to \bigoplus_i D_i$.
|
|
|
|
|
|
|
|
|
|
|
The source of this document is in Complexes/ChainComplexDoc.m2:3582:0.