Distributivity for a Monad and a Comonad

Distributivity for a Monad and a Comonad (0)

Cached

Download Links

[www.etl.go.jp]

Other Repositories/Bibliography

DBLP

by John Power , Hiroshi Watanabe

Citations:

5 - 0 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Distributivity for a Monad and a Comonad	user correction - Legacy Corrections
AUTHOR NAME	John Power	user correction - Legacy Corrections
AUTHOR AFFIL	; Laboratory for the Foundations of Computer Science, Division of Informatics; University of Edinburgh; 2; Electrotechnical Laboratory	user correction - Legacy Corrections
AUTHOR ADDR	; Mail Box 1503, Semantics Group; Tsukuba 305-8568, Japan	user correction - Legacy Corrections
AUTHOR NAME	Hiroshi Watanabe	user correction - Legacy Corrections
ABSTRACT	We give a systematic treatment of distributivity for a monad and a comonad as arises in incorporating 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 definitions necessary to support this analysis. 1 Introduction In recent years, there has been an ongoing attempt to incorporate operational semantics into a category theoretic treatment of denotational semantics. The denotational semantics is given by starting with a signature 6 for a language without variable binding, and considering the category 6-Alg of 6-algebras [4]. The programs of the language form the initial 6-algebra. For operational semantics, one starts ...	user correction - Legacy Corrections
YEAR	0	user correction - Legacy Corrections
CITATIONS	12 found	ParsCit 1.0