Strathprints logo
Strathprints Home | Open Access | Browse | Search | User area | Copyright | Help | Library Home | SUPrimo

Algebras for parameterised monads

Atkey, Robert (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 - Submitted Version
Download (242Kb) | 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.

    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
    Related URLs:
    Depositing user: Pure Administrator
    Date Deposited: 12 Nov 2011 11:14
    Last modified: 06 Sep 2014 13:48
    URI: http://strathprints.strath.ac.uk/id/eprint/34484

    Actions (login required)

    View Item

    Fulltext Downloads: