Abstract | ||
---|---|---|
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). |
Year | DOI | Venue |
---|---|---|
2016 | 10.1007/978-3-319-40370-0_5 | COALGEBRAIC METHODS IN COMPUTER SCIENCE |
Field | DocType | Volume |
Affine transformation,Distributive law between monads,Discrete mathematics,Quantum,Bijection,Commutative property,Algebra,Probabilistic logic,Predicate (grammar),Monad (functional programming),Mathematics | Conference | 9608 |
ISSN | Citations | PageRank |
0302-9743 | 2 | 0.42 |
References | Authors | |
11 | 1 |