Linear Distributivity With Negation, Star-Autonomy, and Hopf Monads
MASAHITO HASEGAWA, Jean-Simon Pacaud Lemay · Theory and applications of categories · 2018
We show that a Hopf monad on a * -autonomous category lifts * -autonomous 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.