paper

Note on star-autonomous comonads

arXiv:1010.5304

Abstract

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.

9 pages