Bart Jacobs - A Recipe for State-and-Effect Triangles

lmcs:3223 - Logical Methods in Computer Science, May 17, 2017, Volume 13, Issue 2 - https://doi.org/10.23638/LMCS-13(2:6)2017
A Recipe for State-and-Effect TrianglesArticle

Authors: Bart Jacobs

    In the semantics of programming languages one can view programs as state transformers, or as predicate transformers. Recently the author has introduced state-and-effect triangles which capture this situation categorically, involving an adjunction between state- and predicate-transformers. The current paper exploits a classical result in category theory, part of Jon Beck's monadicity theorem, to systematically construct such a state-and-effect triangle from an adjunction. The power of this construction is illustrated in many examples, covering many monads occurring in program semantics, including (probabilistic) power domains.


    Volume: Volume 13, Issue 2
    Published on: May 17, 2017
    Accepted on: April 5, 2017
    Submitted on: May 17, 2017
    Keywords: Computer Science - Logic in Computer Science

    1 Document citing this article

    Consultation statistics

    This page has been seen 1740 times.
    This article's PDF has been downloaded 765 times.