Coherence for monoidal monads and comonads

DOI10.1017/S0960129510000034MaRDI QIDQ3583020zbMATH OpenOpenAlexFDO

Authors Kosta Došen, Zoran Petrić

Publication date 26 August 2010

Published in Mathematical Structures in Computer Science (Search for Journal in Brave)

Full work available at URL https://arxiv.org/abs/0907.2199

zbMATH Keywords

coherencecomonadsmodal logic S4monadsmonoidal categorymonoidal functorrelational graphs

Mathematics Subject Classification ID

Modal logic (including the logic of norms) (03B45) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Abstract: The goal of this paper is to prove coherence results with respect to relational graphs for monoidal monads and comonads, i.e. monads and comonads in a monoidal category such that the endofunctor of the monad or comonad is a monoidal functor (this means that it preserves the monoidal structure up to a natural transformation that need not be an isomorphism). These results are proved first in the absence of symmetry in the monoidal structure, and then with this symmetry. The monoidal structure is also allowed to be given with finite products or finite coproducts. Monoidal comonads with finite products axiomatize a plausible notion of identity of deductions in a fragment of the modal logic S4.

Recommendations

• Coherence for monoidal endofunctors
• Coherence in substructural categories
• Natural deduction and coherence for weakly distributive categories
• Dualities for modal algebras from the point of view of triples
• Coherence for modalities

Cites work

• Closed categories, star-autonomy, and monoidal comonads
• Hopf monads
• Monads on symmetric monoidal closed categories
• Monads on tensor categories
• Notions of computation and monads
• On the amnestic modification of the category of state property systems
• Strong functors and monoidal monads

Cited in

(3)

• Coherence in substructural categories
• Coherence for monoidal endofunctors
• Coherence for modalities

This page was built for publication: Coherence for monoidal monads and comonads

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