Note on star-autonomous comonads

Craig Pastro

We develop an alternative approach to star-autonomous comonads via linearly distributive categories. It is shown that in the autonomous case the notions of star-autonomous comonad and Hopf comonad coincide.

Keywords: Star-autonomous, autonomous, rigid, linearly distributive, comonad, Hopf

2000 MSC: 18C15, 18C20, 18D10

Theory and Applications of Categories, Vol. 26, 2012, No. 7, pp 194-203.

Published 2012-04-02.

TAC Home