Multiplication compatibility for a comodule tensor transformation

ID: multiplication-compatibility-for-a-comodule-tensor-transformation

For a transformation from the tensor built using to the tensor built using , colinearity is : . Scalar maps enter this convolution product for coalgebra maps via the common algebra unit.

New to topics? Read the docs here!