Comodule tensor transformation formula ($\phi (u\otimes v)=\sum u_{(0)}\otimes v_{(0)}\gamma (u_{(1)},v_{(1)})$)

A natural underlying transformation of tensor bifunctors on right comodules over a field has components ${\phi }_{M,N}(u\otimes v)=\sum u_{(0)}\otimes v_{(0)}\gamma (u_{(1)},v_{(1)})$. Recover $\gamma =(\epsilon \otimes \epsilon ){\phi }_{H,H}$; colinearity and monoidal axioms impose further equations.

For a transformation from the tensor built using $n$ to the tensor built using $m$, colinearity is $m\ast \gamma =\gamma \ast n$: $\sum m(a_{(1)},b_{(1)})\gamma (a_{(2)},b_{(2)})=\sum \gamma (a_{(1)},b_{(1)})n(a_{(2)},b_{(2)})$. Scalar maps enter this convolution product for coalgebra maps via the common algebra unit.