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 develop those 2-categorical deÿnitions necessary to support this analysis.
Power and Watanabe REF combined monads and comonads in the setting of categorical operational and denotational semantics.
Combining a monad and a comonad
Theor. Comput. Sci.
Theor. Comput. Sci.
Mathematics Computer Science