DGAlgebraMap ** DGAlgebraMap -- Tensor product of DG algebra maps

• Operator: **

• Usage:

  h = f ** g

• Inputs:
  • f, an instance of the type DGAlgebraMap, A:A -> A'
  • g, an instance of the type DGAlgebraMap, B:B -> B'
• Outputs:
  • h, an instance of the type DGAlgebraMap, The map A ** B -> A' ** B' that restricts to f on the A-generators and g on the B-generators, transported via the canonical inclusions.