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.

[img]
Preview
 PDF
algebras_param_monads.pdf
Accepted Author Manuscript
Download (248kB)| Preview

    Abstract

    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.

    Creators(s): Atkey, Robert ORCID logoORCID: https://orcid.org/0000-0002-4414-5047; Lenisa, Marina and Tarlecki, Andrzej
    Item type:Book Section
    ID code:34484
    Keywords:parameterised monads , algebra, Electronic computers. Computer science
    Subjects:Science > Mathematics > Electronic computers. Computer science
    Department:Faculty of Science > Computer and Information Sciences
    Depositing user: Pure Administrator
    Date deposited:12 Nov 2011 11:14
    Last modified:24 Nov 2020 02:40
    Related URLs:
    URI:https://strathprints.strath.ac.uk/id/eprint/34484
    Export data:
    CORE (COnnecting REpositories)