Towards a Categorical Account of Conditional Probability

zbMath1477.18014arXiv1306.0831MaRDI QIDQ5015198

Robert Furber, Bart Jacobs

Publication date: 6 December 2021

Full work available at URL: https://arxiv.org/abs/1306.0831

Mathematics Subject Classification ID

Quantum computation (81P68) Categorical logic, topoi (03G30) Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Probability theory on algebraic and topological structures (60B99) Eilenberg-Moore and Kleisli constructions for monads (18C20)

Related Items (1)

From probability monads to commutative effectuses

Cites Work

• Unnamed Item
• On block structures in quantum computation
• Picturing classical and quantum Bayesian inference
• Quantum probabilities as degrees of belief
• Theory of operator algebras. III
• A note on unitary operators in \(C^ *\)-algebras
• From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality
• Relating Operator Spaces via Adjunctions
• New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
• On the projection of norm one in $W^ *$-algebras
• HUZIHIRO ARAKI - ON THE OCCASION OF HIS 70TH BIRTHDAY
• Approximating Markov Processes by Averaging

This page was built for publication: Towards a Categorical Account of Conditional Probability