Working with Tor -- information about functorial properties

Tor_ZZ(Module,Module) -- compute a Tor module
Tor_ZZ(Module,Matrix)
Tor_ZZ(Matrix,Module)
tensor(Complex,Complex) -- tensor product of complexes
tensor(ComplexMap,ComplexMap) -- the map of complexes between tensor complexes
tensorCommutativity(Complex,Complex) -- make the canonical isomorphism arising from commutativity
tensorAssociativity(Complex,Complex,Complex) -- make the canonical isomorphism arising from associativity
torSymmetry(ZZ,Module,Module) -- makes the canonical isomorphism realizing the symmetry of Tor
connectingTorMap -- makes the connecting maps in Tor

See also