Note on star-autonomous comonads (Q2884478)

A linearly distributive category \(\mathcal C\) is a category equipped with monoidal structures \((\mathcal C,\diamond ,I)\) and \((\mathcal C,*,J)\) and natural transformations \(\delta_l:A*(B\diamond C)@>>>(A*B)\diamond C\), \(\delta_r:(B\diamond C)*A@>>>B\diamond (C*A)\) satisfying a large number of coherence diagrams. It is determined a sufficient condition for a comonad \(G\) on \(\mathcal C\) ensuring that the category \(\mathcal C^G\) of Eilenberg-Moore coalgebras is linearly distributive. A linearly distributive category \(\mathcal C\) with negations is, moreover, equipped with two negations \(S,S':\mathcal C^{\mathrm{op}}@>>>\mathcal C\) and evaluation and coevaluation morphisms satisfying triangle identities. A sufficient condition for lifting negations into \(\mathcal C^G\) is given. As a consequence it is shown that linearly distributive categories and star-autonomous categories coincide and that star-autonomous monads on autonomous categories are Hopf monads.