next | previous | forward | backward | up | top | index | toc | home

ChainComplexMap ** ChainComplexMap -- tensor product

Synopsis

Operator: **

Description

f ** g -- tensor product of two maps of chain complexes.

See also

ChainComplexMap -- the class of all maps between chain complexes