tensor product of complexes