Quantum Hopf rigidity in symmetric monoidal categories
We prove that a coaction of a Hopf algebra on another preserving the latter's associative-algebra structure and comultiplication automatically also preserves the counit, antipode, and tensor-interchange map and in fact factors through the coaction dual to an action of an affine group scheme by Hopf-algebra automorphism...