Research

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


Reference:

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.

Official URL:

http://dx.doi.org/10.1016/S1571-0661(05)80350-0

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.

Details

Item Type Articles
CreatorsLenisa, M., Power, J. and Watanabe, H.
DOI10.1016/S1571-0661(05)80350-0
DepartmentsFaculty of Science > Computer Science
RefereedYes
StatusPublished
ID Code26477

Export

Actions (login required)

View Item