Probabilities, distribution monads, and convex categories

DOI10.1016/j.tcs.2011.04.005zbMath1218.18003OpenAlexW2103417273MaRDI QIDQ549198

Bart Jacobs

Publication date: 7 July 2011

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2011.04.005

Mathematics Subject Classification ID

Theories (e.g., algebraic theories), structure, and semantics (18C10) Quantum logic (03G12) Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads (18C15)

Related Items (15)

A non-commutative Bayes' theorem ⋮ A note on distances between probabilistic and quantum distributions ⋮ Effect Algebras, Presheaves, Non-locality and Contextuality ⋮ Effect algebras, presheaves, non-locality and contextuality ⋮ The expectation monad in quantum foundations ⋮ Probability, valuations, hyperspace: Three monads on top and the support as a morphism ⋮ From probability monads to commutative effectuses ⋮ Codensity and the Giry monad ⋮ Hypernormalisation in an abstract setting ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Congruences of convex algebras. ⋮ On the correctness of monadic backward induction ⋮ A computer scientist’s reconstruction of quantum theory*

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Effect algebras and unsharp quantum logics.
• A hierarchy of probabilistic system types
• Quantum logic in dagger kernel categories
• Coherence for compact closed categories
• The transition to unigroups
• Categorical logic and type theory
• Semantics of weakening and contraction
• Coreflections in algebraic quantum logic
• Completeness of †-categories and the complex numbers
• Categorical quantum mechanics
• Convexity, Duality and Effects
• An embedding theorem for Hilbert categories
• Bilinearity and Cartesian Closed Monads.

This page was built for publication: Probabilities, distribution monads, and convex categories