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.
http://www.tac.mta.ca/tac/volumes/26/7/26-07.dvi
http://www.tac.mta.ca/tac/volumes/26/7/26-07.ps
http://www.tac.mta.ca/tac/volumes/26/7/26-07.pdf
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/26/7/26-07.dvi
ftp://ftp.tac.mta.ca/pub/tac/html/volumes/26/7/26-07.ps