LINEAR DISTRIBUTIVITY WITH NEGATION, STAR-AUTONOMY, AND HOPF MONADS.

We show that a Hopf monad on a *-autonomous category lifts *-autonom- ous structure to the category of algebras precisely when there is an algebra structure on the dualizing object. Our proof is based on Pastro's characterization of *-autonomous (co)monads as linearly distributive (co)monads with negation. [ABSTRACT FROM AUTHOR]