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!