Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads

M Lenisa, John Power, H Watanabe

Research output: Contribution to journalArticle

50 Citations (Scopus)

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.
Original languageEnglish
Pages (from-to)230-260
Number of pages31
JournalElectronic Notes in Theoretical Computer Science
Volume33
DOIs
Publication statusPublished - 2000

Fingerprint Dive into the research topics of 'Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads'. Together they form a unique fingerprint.

  • Cite this