 Comodule natural transformation formula

A natural transformation between corestriction functors over a field has components ${\beta }_M(u)=\sum u_{(0)}\alpha (u_{(1)})$, recovered by $\alpha =\epsilon {\beta }_H$. Monoidality forces $\alpha$ to be a unital algebra homomorphism over a field; for a Hopf algebra, $\alpha S$ supplies the inverse.