Additive indexing category for chain complexes
ID: additive-indexing-category-for-chain-complexes
Let have the integers as objects, with for or and zero otherwise. Composition is bilinear, the generator of is the identity, and the composite of two degree-lowering generators is zero. Additive functors are exactly chain complexes in the additive category .
New to topics? Read the docs here!