Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads

Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads (2000)

Cached

Download Links

[www.etl.go.jp]
[www.dimi.uniud.it]

Other Repositories/Bibliography

DBLP

by Marina Lenisa , John Power , Hiroshi Watanabe

Citations:

22 - 1 self

Versions

Version History

Metadata Version 2

User correction supplied by SystemCorrections

Datum	Value	Source
TITLE	Distributivity for Endofunctors, Pointed and Co-Pointed Endofunctors, Monads and Comonads	user correction - Legacy Corrections
AUTHOR NAME	Marina Lenisa	user correction - Legacy Corrections
AUTHOR NAME	John Power	user correction - Legacy Corrections
AUTHOR AFFIL	; 2; Laboratory for the Foundations of Computer Science, Division of Informatics; University of Edinburgh; 3; Osaka LERC; Electrotechnical Laboratory	user correction - Legacy Corrections
AUTHOR ADDR	; King's Buildings, Edinburgh EH9 3JZ, SCOTLAND; Amagasaki 661-0974, JAPAN	user correction - Legacy Corrections
AUTHOR NAME	Hiroshi Watanabe	user correction - Legacy Corrections
ABSTRACT	We generalise the notion of a distributive law between a monad and a comonad to consider weakened structures such as pointed or co-pointed endofunctors, or endofunctors. We investigate Eilenberg-Moore and Kleisli constructions for each of these possibilities. Then we consider two applications of these weakened notions of distributivity in detail. We characterise Turi and Plotkin's model of GSOS as a distributive law of a monad over a co-pointed endofunctor, and we analyse generalised coiteration and coalgebraic coinduction \up-to" in terms of a distributive law of the underlying pointed endofunctor of a monad over an endofunctor. 1 Work supported by Esprit Working Group \Types", MURST'99 Con. \Sistemi Formali. .." grant. 2 This work is supported by EPSRC grants GR/J84205: Frameworks for programming language semantics and logic and GR/M56333: The structure of programming languages : syntax and semantics, and British Council grant 747 FCS R34807: Data and program renement using alg...	user correction - Legacy Corrections
YEAR	2000	user correction - Legacy Corrections
CITATIONS	2 found	ParsCit 1.0