Towards a Categorical Account of Conditional Probability

@article{Furber2013TowardsAC,
  title={Towards a Categorical Account of Conditional Probability},
  author={Robert Furber and Bart Jacobs},
  journal={ArXiv},
  year={2013},
  volume={abs/1306.0831}
}
QPL 2015 : 12th International Workshop on Quantum Physics and Logic, 13-17 July 2015, Oxford, United Kingdom 

Figures from this paper

Effectuses in Categorical Quantum Foundations

This thesis develops the theory of effectuses as a categorical axiomatic approach to quantum theory. It provides a comprehensive introduction to effectus theory and reveals its connections with

Extensions and composites in topos quantum theory

Topos quantum theory provides representations of quantum states as direct generalizations of the probability distribution, namely probability valuation. In this article, we consider extensions of a

Semantics for a Quantum Programming Language by Operator Algebras

  • Kenta Cho
  • Mathematics
    New Generation Computing
  • 2016
It is shown that the opposite of the category of W*-algebras and normal completely positive subunital maps is an elementary quantum flow chart category in the sense of Selinger, which gives a denotational semantics for Selinger’s first-order functional quantum programming language.

New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic

  • B. Jacobs
  • Computer Science
    Log. Methods Comput. Sci.
  • 2015
It is shown that in the special case of C ∗ -algebras, side-effects appear exclusively in the non- commutative (properly quantum) case, and four successive assumptions are described, towards a categorical axiomatisation of quantitative logic for probabilistic and quantum systems, in which the above mentioned elements occur.

From probability monads to commutative effectuses

  • B. Jacobs
  • Mathematics
    J. Log. Algebraic Methods Program.
  • 2018

Affine Monads and Side-Effect-Freeness

A new property of a monad (‘strongly affine’) is introduced and it is shown that for such strongly affine monads predicates are in bijective correspondence with side-effect-free instruments.

Affine Monads and Side-Effect-Freeness (cid:63)

. 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

A Categorical Basis for Conditional Probability

This paper identifies several key properties of a monad that allow us to formulate the basics of conditional probability theory, using states for distributions/measures and predicates for

Bayesian Networks as Coalgebras

A coalgebraic description of (discrete) Bayesian networks is presented and some new structure of the distribution monad is identified and isolate it in what it is called a ‘relatively monoidal’.

Hyper Normalisation and Conditioning for Discrete Probability Distributions

  • B. Jacobs
  • Computer Science
    Log. Methods Comput. Sci.
  • 2017
A novel description of normalisation is given as a mathematically well-behaved total function, which is put to use in a similarly new description of conditioning, producing a distribution of conditional distributions.

References

SHOWING 1-10 OF 15 REFERENCES

Quantum mechanical interaction-free measurements

A novel manifestation of nonlocality of quantum mechanics is presented. It is shown that it is possible to ascertain the existence of an object in a given region of space without interacting with it.

Quantum probabilities as degrees of belief

New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic

  • B. Jacobs
  • Computer Science
    Log. Methods Comput. Sci.
  • 2015
It is shown that in the special case of C ∗ -algebras, side-effects appear exclusively in the non- commutative (properly quantum) case, and four successive assumptions are described, towards a categorical axiomatisation of quantitative logic for probabilistic and quantum systems, in which the above mentioned elements occur.

Towards a formulation of quantum theory as a causally neutral theory of Bayesian inference

Quantum theory can be viewed as a generalization of classical probability theory, but the analogy as it has been developed so far is not complete. Whereas the manner in which inferences are made in

Picturing classical and quantum Bayesian inference

We introduce a graphical framework for Bayesian inference that is sufficiently general to accommodate not just the standard case but also recent proposals for a theory of quantum Bayesian inference

From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality

This paper shows that there are functors from several Kleisli categories, of monads that are relevant to model probabilistic computations, to categories of C*-algebras, and shows that the state space functor from C-algeses to Eilenberg-Moore algebrs of the Radon monad is full and faithful.

Relating Operator Spaces via Adjunctions

This chapter uses categorical techniques to describe relations between various sets of operators on a Hilbert space, such as self-adjoint, positive, density, effect and projection operators, via their description as Eilenberg-Moore algebras of a monad.

Approximating Markov Processes by Averaging

It is shown that there is a minimal process bisimulation-equivalent to a given process, and this minimal process is obtained as the limit of the finite approximants.

ON THE PROJECTION OF NORM ONE IN W*-ALGEBRAS, III

In the present paper, we will study on the projection of norm one from any W*-algebra onto its subalgebra. By a projection of norm one we mean a projection mapping from any Banach space onto its