Research

Combining a monad and a comonad


Reference:

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.

Official URL:

http://dx.doi.org/10.1016/S0304-3975(01)00024-X

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.

Details

Item Type Articles
CreatorsPower, J.and Watanabe, H.
DOI10.1016/S0304-3975(01)00024-X
DepartmentsFaculty of Science > Computer Science
RefereedYes
StatusPublished
ID Code5566
Additional InformationCoalgebraic methods in computer science (Amsterdam, 1999)

Export

Actions (login required)

View Item