Note on star-autonomous comonads

MaRDI QIDQ2884478zbMATH OpenFDO

Authors Craig Pastro

Publication date 29 May 2012

Published in Theory and Applications of Categories (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/1010.5304, http://www.emis.de/journals/TAC/volumes/26/7/26-07abs.html

IPFS File on IPFS (Hint: this is only the Hash - if you get a timeout, this file is not available on our server.)

zbMATH Keywords

autonomouscomonadHopf monadlinearly distributive category with negationsstar-autonomous

Mathematics Subject Classification ID

Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15) Eilenberg-Moore and Kleisli constructions for monads (18C20)

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.

Review text

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.

Recommendations

• Linear distributivity with negation, star-autonomy, and Hopf monads
• scientific article; zbMATH DE number 4103051
• Star-autonomous functor categories
• The Frobenius relations meet linear distributivity
• Closed categories, star-autonomy, and monoidal comonads

Cited in

(5)

• Star-autonomous functor categories
• Linear distributivity with negation, star-autonomy, and Hopf monads
• Grothendieck-Verdier module categories, Frobenius algebras and relative Serre functors
• Grothendieck-Verdier duality in categories of bimodules and weak module functors
• Wood fusion and Thiébaud algebraicity

This page was built for publication: Note on star-autonomous comonads

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2884478)