States of Convex Sets

Conference paper

DOI: 10.1007/978-3-662-46678-0_6

Part of the Lecture Notes in Computer Science book series (LNCS, volume 9034)
Cite this paper as:
Jacobs B., Westerbaan B., Westerbaan B. (2015) States of Convex Sets. In: Pitts A. (eds) Foundations of Software Science and Computation Structures. FoSSaCS 2015. Lecture Notes in Computer Science, vol 9034. Springer, Berlin, Heidelberg

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.

Preview

Unable to display preview. Download preview PDF.

Unable to display preview. Download preview PDF.

Copyright information

© Springer-Verlag Berlin Heidelberg 2015

Authors and Affiliations

  1. 1.Institute for Computing and Information SciencesRadboud Universiteit NijmegenNijmegenThe Netherlands

Personalised recommendations