Coherence for monoidal monads and comonads

DOI10.1017/S0960129510000034zbMath1204.18002arXiv0907.2199OpenAlexW2964131885MaRDI QIDQ3583020

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

coherencecomonadsmonoidal categorymonadsmonoidal functormodal logic S4relational 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)

Cites Work

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

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