Probabilities, distribution monads, and convex categories

DOI10.1016/J.TCS.2011.04.005MaRDI QIDQ549198zbMATH OpenOpenAlexFDO

Authors 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

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

Recommendations

• Probability measure monad on the category of ultrametric spaces
• scientific article; zbMATH DE number 3901001
• A categorical approach to probability theory
• Bimonoidal Structure of Probability Monads
• Functors of probability measures in topological categories
• Probability sheaves and the Giry monad
• Fruits of a categorical approach to probability theory
• A Convenient Category for Higher-Order Probability Theory
• Stochastic lambda calculus and monads of probability distributions

Cites work

• scientific article; zbMATH DE number 1688754 (Why is no real title available?)
• scientific article; zbMATH DE number 3904807 (Why is no real title available?)
• scientific article; zbMATH DE number 3967883 (Why is no real title available?)
• scientific article; zbMATH DE number 3769855 (Why is no real title available?)
• scientific article; zbMATH DE number 692330 (Why is no real title available?)
• scientific article; zbMATH DE number 2165536 (Why is no real title available?)
• scientific article; zbMATH DE number 3367095 (Why is no real title available?)
• A hierarchy of probabilistic system types
• An embedding theorem for Hilbert categories
• Bilinearity and Cartesian Closed Monads.
• Categorical logic and type theory
• Categorical quantum mechanics
• Coherence for compact closed categories
• Completeness of \(\dagger\)-categories and the complex numbers
• Convexity, duality and effects
• Coreflections in algebraic quantum logic
• Effect algebras and unsharp quantum logics.
• Quantum logic in dagger kernel categories
• Semantics of weakening and contraction
• The transition to unigroups

Cited in

(28)

• A Convenient Category for Higher-Order Probability Theory
• scientific article; zbMATH DE number 7199585 (Why is no real title available?)
• A non-commutative Bayes' theorem
• A note on distances between probabilistic and quantum distributions
• A computer scientist’s reconstruction of quantum theory*
• The expectation monad in quantum foundations
• Effect algebras, presheaves, non-locality and contextuality
• Effect algebras, presheaves, non-locality and contextuality
• From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality
• A categorical construction of the real unit interval
• Probability, valuations, hyperspace: three monads on Top and the support as a morphism
• The expectation monad in quantum foundations
• Hypernormalisation in an abstract setting
• Belief propagation in monoidal categories
• Codensity and the Giry monad
• Probability sheaves and the Giry monad
• On the correctness of monadic backward induction
• Functional distribution monads in functional-analytic contexts
• A trustful monad for axiomatic reasoning with probability and nondeterminism
• Congruences of convex algebras.
• From probability monads to commutative effectuses
• Dichotomy between deterministic and probabilistic models in countably additive effectus theory
• Probability monads with submonads of deterministic states
• Convexity, duality and effects
• Convexity and order in probabilistic call-by-name FPC
• Probability measure monad on the category of ultrametric spaces
• Monads and Quantitative Equational Theories for Nondeterminism and Probability
• States of convex sets

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

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q549198)