Probabilities, distribution monads, and convex categories
DOI10.1016/J.TCS.2011.04.005zbMATH Open1218.18003OpenAlexW2103417273MaRDI QIDQ549198FDOQ549198
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
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
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)
Cites Work
- Categorical logic and type theory
- Coreflections in algebraic quantum logic
- Title not available (Why is that?)
- Categorical quantum mechanics
- Title not available (Why is that?)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Effect algebras and unsharp quantum logics.
- Title not available (Why is that?)
- Title not available (Why is that?)
- Quantum logic in dagger kernel categories
- Coherence for compact closed categories
- Convexity, duality and effects
- An embedding theorem for Hilbert categories
- Bilinearity and Cartesian Closed Monads.
- Title not available (Why is that?)
- Completeness of \(\dagger\)-categories and the complex numbers
- A hierarchy of probabilistic system types
- The transition to unigroups
- Semantics of weakening and contraction
Cited In (28)
- A Convenient Category for Higher-Order Probability Theory
- Title not available (Why is that?)
- 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
- A categorical construction of the real unit interval
- Effect algebras, presheaves, non-locality and contextuality
- Effect algebras, presheaves, non-locality and contextuality
- From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality
- Probability, valuations, hyperspace: three monads on Top and the support as a morphism
- Hypernormalisation in an abstract setting
- The expectation monad in quantum foundations
- Belief propagation in monoidal categories
- On the correctness of monadic backward induction
- Probability sheaves and the Giry monad
- Codensity and the Giry monad
- Functional distribution monads in functional-analytic contexts
- A trustful monad for axiomatic reasoning with probability and nondeterminism
- Congruences of convex algebras.
- Dichotomy between deterministic and probabilistic models in countably additive effectus theory
- Probability monads with submonads of deterministic states
- From probability monads to commutative effectuses
- 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)
