Combining a monad and a comonad
Power, J. and Watanabe, H., 2002. Combining a monad and a comonad. Theoretical Computer Science, 280 (1-2), pp. 137-162.
Related documents:This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.
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.
|Creators||Power, J.and Watanabe, H.|
|Departments||Faculty of Science > Computer Science|
|Additional Information||Coalgebraic methods in computer science (Amsterdam, 1999)|
Actions (login required)