  We study the basic monoidal properties of the category of Hopf modules for acoquasi Hopf algebra. In particular we discuss the so called fundamentaltheorem that establishes a monoidal equivalence between the category ofcomodules and the category of Hopf modules. We present a categorical proof ofRadford's $S^4$ formula for the case of a finite dimensional coquasi Hopfalgebra, by establishing a monoidal isomorphism between certain double dualfunctors.
We present a categorical proof of Radford's $S^4$ formula for the case of a finite dimensional coquasi Hopf algebra, by establishing a monoidal isomorphism between certain double dual functors.