Combining a monad and a comonad

John Power, Hiroshi Watanabe

Research output: Contribution to journalArticlepeer-review

41 Citations (Scopus)

Abstract

We give previous termanext term systematic treatment of distributivity for previous termanext termprevious termmonadnext term and previous termanext termprevious termcomonadnext term as arises in giving category theoretic accounts of operational and denotational semantics, and in giving an intensional denotational semantics. We do this axiomatically, in terms of previous termanext termprevious termmonadnext term and previous termanext termprevious termcomonadnext term in previous termanext term 2-category, giving accounts of the Eilenberg–Moore and Kleisli constructions. We analyse the eight possible relationships, deducing that two pairs are isomorphic, but that the other pairs are all distinct. We develop those 2-categorical definitions necessary to support this analysis.
Original languageEnglish
Pages (from-to)137-162
Number of pages26
JournalTheoretical Computer Science
Volume280
Issue number1-2
DOIs
Publication statusPublished - 30 May 2002

Fingerprint Dive into the research topics of 'Combining a monad and a comonad'. Together they form a unique fingerprint.

Cite this