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

M Lenisa, John Power, H Watanabe

Research output: Contribution to journalArticlepeer-review

58 Citations (SciVal)


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
Publication statusPublished - 2000


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