Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads
Lenisa, M., Power, J. and Watanabe, H., 2000. Distributivity for endofunctors, pointed and co-pointed endofunctors, monads and comonads. Electronic Notes in Theoretical Computer Science, 33, pp. 230-260.
Related documents:This repository does not currently have the full-text of this item.
You may be able to access a copy if URLs are provided below.
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.
|Creators||Lenisa, M., Power, J. and Watanabe, H.|
|Departments||Faculty of Science > Computer Science|
Actions (login required)