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.
Description
Functorial with the DGA tensor product: identityDGAlgebraMap(A) ** identityDGAlgebraMap(B) equals identityDGAlgebraMap(A ** B).
See also
DGAlgebra ** DGAlgebra -- Exterior tensor product of DG algebras over a common ground ring