2026-07-20T11:57:07Z https://drops.dagstuhl.de/oai

oai:drops-oai.dagstuhl.de:5530 2024-03-06T10:35:59Z ddc:004 open_access

A Recipe for State-and-Effect Triangles Jacobs, Bart Duality predicate transformer state transformer state-and-effect triangle 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 captures 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, both for the Boolean and probabilistic (quantitative) case. Schloss Dagstuhl – Leibniz-Zentrum für Informatik Bart Jacobs 2015 Is Part Of LIPIcs, Volume 35, 6th Conference on Algebra and Coalgebra in Computer Science (CALCO 2015) InProceedings Text doc-type:ResearchArticle publishedVersion application/pdf doi:10.4230/LIPIcs.CALCO.2015.116 urn:nbn:de:0030-drops-55301 https://drops.dagstuhl.de/entities/document/10.4230/LIPIcs.CALCO.2015.116 eng https://creativecommons.org/licenses/by/3.0/legalcode