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
11 Citations
Effectuses in Categorical Quantum Foundations
- PhilosophyArXiv
- 2019
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
- Mathematics
- 2016
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
- MathematicsNew 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
- Computer ScienceLog. 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
- MathematicsJ. Log. Algebraic Methods Program.
- 2018
Affine Monads and Side-Effect-Freeness
- MathematicsCMCS
- 2016
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)
- Mathematics
- 2016
. 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
- Mathematics
- 2016
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
- Computer Science, Mathematics
- 2014
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
- Computer ScienceLog. 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
- Physics
- 1993
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.…
New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
- Computer ScienceLog. 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
- Philosophy
- 2013
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
- Computer Science, MathematicsSynthese
- 2011
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
- MathematicsLog. Methods Comput. Sci.
- 2013
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
- MathematicsArXiv
- 2012
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
- Computer ScienceJACM
- 2014
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
- Mathematics
- 1957
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…