Combining a Monad and a Comonad Export

@techreport{citeulike:2575445, abstract = {We give a systematic treatment of distributivity for a monad and a comonad 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 a monad and a comonad in a 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...}, author = {Power, John and Watanabe, Hiroshi}, citeulike-article-id = {2575445}, citeulike-linkout-0 = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.4130}, keywords = {comonads, monads}, number = {TR-99-33}, posted-at = {2008-03-23 22:05:48}, priority = {2}, title = {Combining a Monad and a Comonad}, url = {http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.4130}, year = {1999} }

TY - RPRT ID - citeulike:2575445 L3 - citeulike-article-id:2575445 N2 - We give a systematic treatment of distributivity for a monad and a comonad 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 a monad and a comonad in a 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... IS - TR-99-33 TI - Combining a Monad and a Comonad KW - comonads KW - monads AU - Power, John AU - Watanabe, Hiroshi PY - 1999/// UR - http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.35.4130 ER -