episciences.org_4094_1634933565
1634933565
episciences.org
raphael.tournoy+crossrefapi@ccsd.cnrs.fr
episciences.org
Logical Methods in Computer Science
1860-5974
02
25
2020
Volume 16, Issue 1
Distances between States and between Predicates
Bart
Jacobs
Abraham
Westerbaan
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.
02
25
2020
4094
arXiv:1711.09740
10.23638/LMCS-16(1:26)2020
https://lmcs.episciences.org/4094