Skip to Main content Skip to Navigation
New interface
Preprints, Working Papers, ...

Monads with merging

Abstract : Monoids are one of the simplest theories in which we can compose elements of a set. Similarly, monads have been used extensively to treat composition of effectful code and its denotational semantics. During the last forty years the theory of monoids has been extended with diverse merge-like operators. In this article, we replicate several of these extensions at the level of monads. Building on a well-known relation between monads and monoids, we introduce monads with additional structure that account for merging. We show how monads with merging generalise and relate to models for well-known algebraic theories for concurrency such as classic process algebras and the more recent concurrent monoids. With these results, we aim to facilitate the generalisation and comparison of different approaches to concurrency.
Document type :
Preprints, Working Papers, ...
Complete list of metadata

Cited literature [30 references]  Display  Hide  Download
Contributor : Exequiel Rivas Gadda Connect in order to contact the contributor
Submitted on : Friday, June 7, 2019 - 9:57:29 AM
Last modification on : Wednesday, June 8, 2022 - 12:50:04 PM


Files produced by the author(s)


  • HAL Id : hal-02150199, version 1



Exequiel Rivas, Mauro Jaskelioff. Monads with merging. 2019. ⟨hal-02150199⟩



Record views


Files downloads