Abstract | ||
---|---|---|
State spaces in probabilistic and quantum computation are convex sets, that is, Eilenberg-Moore algebras of the distribution monad. This article studies some computationally relevant properties of convex sets. We introduce the term effectus for a category with suitable coproducts (so that predicates, as arrows of the shape X -> 1 + 1, form effect modules, and states, arrows of the shape 1 -> X, form convex sets). One main result is that the category of cancellative convex sets is such an effectus. A second result says that the state functor is a "map of effecti". We also define 'normalisation of states' and show how this property is closed related to conditional probability. This is elaborated in an example of probabilistic Bayesian inference. |
Year | DOI | Venue |
---|---|---|
2015 | 10.1007/978-3-662-46678-0_6 | Lecture Notes in Computer Science |
Field | DocType | Volume |
Orthogonal convex hull,Convexity in economics,Discrete mathematics,Combinatorics,Convex combination,Convex hull,Convex set,Subderivative,Proper convex function,Convex analysis,Mathematics | Conference | 9034 |
ISSN | Citations | PageRank |
0302-9743 | 11 | 0.88 |
References | Authors | |
2 | 3 |
Name | Order | Citations | PageRank |
---|---|---|---|
B. Jacobs | 1 | 1046 | 100.09 |
Bas Westerbaan | 2 | 11 | 1.22 |
Bram Westerbaan | 3 | 12 | 2.25 |