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 metadatas

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 : Thursday, July 2, 2020 - 9:12:02 AM

File

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

Identifiers

  • HAL Id : hal-02564365, version 1

Citation

Alexandre Goy, Daniela Petrişan. Combining probabilistic and non-deterministic choice via weak distributive laws. LICS'2020, Jul 2020, Saarbrücken, Germany. ⟨hal-02564365⟩

Share