Skip to Main content Skip to Navigation
Conference papers

Combining probabilistic and non-deterministic choice via weak distributive laws

Abstract : Combining probabilistic choice and non-determinism is a long standing problem in denotational semantics. From a category theory perspective, the problem stems from the absence of a distributive law of the powerset monad over the distribution monad. In this paper we prove the existence of a weak distributive law of the powerset monad over the finite distribution monad. As a consequence, we retrieve the well-known convex powerset monad as a weak lifting of the powerset monad to the category of convex algebras. We provide applications to the study of trace semantics and behavioral equivalences of systems with an interplay between probability and non-determinism.
Complete list of metadata

Cited literature [34 references]  Display  Hide  Download

https://hal.archives-ouvertes.fr/hal-02564365
Contributor : Alexandre Goy <>
Submitted on : Tuesday, May 5, 2020 - 7:13:53 PM
Last modification on : Wednesday, June 2, 2021 - 4:26:58 PM

File

probabilityandnondeterminism.p...
Files produced by the author(s)

Identifiers

Citation

Alexandre Goy, Daniela Petrişan. Combining probabilistic and non-deterministic choice via weak distributive laws. LICS '20: Proceedings of the 35th Annual ACM/IEEE Symposium on Logic in Computer Science, Jul 2020, Saarbrücken, Germany. pp.454-464, ⟨10.1145/3373718.3394795⟩. ⟨hal-02564365⟩

Share

Metrics

Record views

110

Files downloads

416