Tensor product of chain complexes
ID: tensor-product-of-chain-complexes
The tensor product of homologically graded chain complexes has differential . The sign makes the two mixed terms in cancel. Total degree is the sum of the two degrees.
New to topics? Read the docs here!