Algebras for parameterised monads

Atkey, Robert; Lenisa, Marina and Tarlecki, Andrzej, eds. (2009) Algebras for parameterised monads. In: Algebra and Coalgebra in Computer Science, Third International Conference, CALCO 2009. Lecture Notes in Computer Science, 5728 . Springer, pp. 3-17.

[thumbnail of algebras_param_monads.pdf]
Accepted Author Manuscript

Download (248kB)| Preview


    Parameterised monads have the same relationship to adjunctions with parameters as monads do to adjunctions. In this paper, we investigate algebras for parameterised monads. We identify the Eilenberg-Moore category of algebras for parameterised monads and prove a generalisation of Beck’s theorem characterising this category. We demonstrate an application of this theory to the semantics of type and effect systems.

    ORCID iDs

    Atkey, Robert ORCID logoORCID:; Lenisa, Marina and Tarlecki, Andrzej