10.23638/LMCS-16(1:26)2020
Jacobs, Bart
Bart
Jacobs
Westerbaan, Abraham
Abraham
Westerbaan
Distances between States and between Predicates
episciences.org
2020
Computer Science - Logic in Computer Science
F.1.1
F.1.1
contact@episciences.org
episciences.org
2017-11-28T09:44:22+01:00
2020-06-11T19:00:09+02:00
2020-02-25
eng
Journal article
https://lmcs.episciences.org/4094
arXiv:1711.09740
1860-5974
PDF
1
Logical Methods in Computer Science ; Volume 16, Issue 1 ; 1860-5974
This paper gives a systematic account of various metrics on probability
distributions (states) and on predicates. These metrics are described in a
uniform manner using the validity relation between states and predicates. The
standard adjunction between convex sets (of states) and effect modules (of
predicates) is restricted to convex complete metric spaces and directed
complete effect modules. This adjunction is used in two state-and-effect
triangles, for classical (discrete) probability and for quantum probability.