Comodule tensor transformation formula

ID: comodule-tensor-transformation-formula

A natural underlying transformation of tensor bifunctors on right comodules over a field has components . Recover ; colinearity and monoidal axioms impose further equations.

New to topics? Read the docs here!