Affine Monads and Side-Effect-Freeness - Inria - Institut national de recherche en sciences et technologies du numérique Access content directly
Conference Papers Year : 2016

Affine Monads and Side-Effect-Freeness

Bart Jacobs
  • Function : Author
  • PersonId : 976960


The notions of side-effect-freeness and commutativity are typical for probabilistic models, as subclass of quantum models. This paper connects these notions to properties in the theory of monads. A new property of a monad (‘strongly affine’) is introduced. It is shown that for such strongly affine monads predicates are in bijective correspondence with side-effect-free instruments. Also it is shown that these instruments are commutative, in a suitable sense, for monads which are commutative (monoidal).
Fichier principal
Vignette du fichier
418352_1_En_5_Chapter.pdf (391.58 Ko) Télécharger le fichier
Origin : Files produced by the author(s)

Dates and versions

hal-01446033 , version 1 (25-01-2017)





Bart Jacobs. Affine Monads and Side-Effect-Freeness. 13th International Workshop on Coalgebraic Methods in Computer Science (CMCS), Apr 2016, Eindhoven, Netherlands. pp.53-72, ⟨10.1007/978-3-319-40370-0_5⟩. ⟨hal-01446033⟩
58 View
155 Download



Gmail Facebook Twitter LinkedIn More