Probabilities, distribution monads, and convex categories

DOI10.1016/j.tcs.2011.04.005zbMath1218.18003MaRDI 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

18C10: Theories (e.g., algebraic theories), structure, and semantics

03G12: Quantum logic

18C15: Monads (= standard construction, triple or triad), algebras for monads, homology and derived functors for monads

Related Items

Unnamed Item, Unnamed Item, On the correctness of monadic backward induction, The expectation monad in quantum foundations, Codensity and the Giry monad, Effect algebras, presheaves, non-locality and contextuality, From probability monads to commutative effectuses, Congruences of convex algebras., Effect Algebras, Presheaves, Non-locality and Contextuality

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.