Monads with merging - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Preprints, Working Papers, ... Year : 2019

Monads with merging


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.
Fichier principal
Vignette du fichier
main.pdf (464.26 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-02150199 , version 1 (07-06-2019)


  • HAL Id : hal-02150199 , version 1


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


283 View
513 Download


Gmail Facebook X LinkedIn More