Linear Distributivity With Negation, Star-Autonomy, and Hopf Monads
Theory and applications of categories, Tome 33 (2018), pp. 1145-1157
Cet article a éte moissonné depuis la source Theory and Applications of Categories website
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.
Publié le :
Classification :
18C20, 18D10, 18D15
Keywords: monoidal categories, linearly distributive categories, $*$-autonomous categories, comonoidal monads, Hopf monads
Keywords: monoidal categories, linearly distributive categories, $*$-autonomous categories, comonoidal monads, Hopf monads
@article{TAC_2018_33_a36,
author = {Masahito Hasegawa and Jean-Simon P. Lemay},
title = {Linear {Distributivity} {With} {Negation,} {Star-Autonomy,} and {Hopf} {Monads}},
journal = {Theory and applications of categories},
pages = {1145--1157},
year = {2018},
volume = {33},
language = {en},
url = {http://geodesic.mathdoc.fr/item/TAC_2018_33_a36/}
}
Masahito Hasegawa; Jean-Simon P. Lemay. Linear Distributivity With Negation, Star-Autonomy, and Hopf Monads. Theory and applications of categories, Tome 33 (2018), pp. 1145-1157. http://geodesic.mathdoc.fr/item/TAC_2018_33_a36/