From probability monads to commutative effectuses

DOI10.1016/j.jlamp.2016.11.006zbMath1382.68073OpenAlexW2605690278MaRDI QIDQ1683710

Bart Jacobs

Publication date: 1 December 2017

Published in: Journal of Logical and Algebraic Methods in Programming (Search for Journal in Brave)

Full work available at URL: http://hdl.handle.net/2066/182000

Mathematics Subject Classification ID

Related Items (19)

A non-commutative Bayes' theorem ⋮ A note on distances between probabilistic and quantum distributions ⋮ Learning along a channel: the expectation part of expectation-maximisation ⋮ Neural nets via forward state transformation and backward loss transformation ⋮ Monads, partial evaluations, and rewriting ⋮ From gs-monoidal to oplax cartesian categories: constructions and functorial completeness ⋮ Non-commutative disintegrations: existence and uniqueness in finite dimensions ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Affine Monads and Side-Effect-Freeness ⋮ A Type Theory for Probabilistic and Bayesian Reasoning ⋮ Unnamed Item ⋮ Unnamed Item ⋮ A channel-based perspective on conjugate priors ⋮ A Probability Monad as the Colimit of Spaces of Finite Samples ⋮ Disintegration and Bayesian inversion via string diagrams ⋮ A Formal Semantics of Influence in Bayesian Reasoning ⋮ Stick breaking, in coalgebra and probability

Cites Work

• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• Unnamed Item
• The expectation monad in quantum foundations
• Retracted: Semantic domains for combining probability and non-determinism
• Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
• Effect algebras and unsharp quantum logics.
• Probabilities, distribution monads, and convex categories
• Domain theory and integration
• A categorical foundation for Bayesian probability
• Codensity and the Giry monad
• Affine parts of monads
• Partially additive categories and flow-diagram semantics
• Semantics of probabilistic programs
• Semantics of weakening and contraction
• Effectuses from monads
• A predicate/state transformer semantics for Bayesian learning
• Coreflections in algebraic quantum logic
• The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
• Monads on symmetric monoidal closed categories
• Codensity and the ultrafilter monad
• From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality
• Commutative monads as a theory of distributions
• From Coalgebraic to Monoidal Traces
• From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
• States of Convex Sets
• Convexity, Duality and Effects
• Structural Operational Semantics for Weighted Transition Systems
• New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
• Introduction to distributive categories
• An Extension Result for Continuous Valuations
• Semantics for probabilistic programming
• Probabilistic Monads, Domains and Classical Information
• Categories of Quantum and Classical Channels (extended abstract)
• Total and Partial Computation in Categorical Quantum Foundations
• Towards a Categorical Account of Conditional Probability
• The sheaf-theoretic structure of non-locality and contextuality
• Measurable Spaces and Their Effect Logic
• A Recipe for State-and-Effect Triangles
• Scalars, Monads, and Categories
• On Double Dualization Monads.
• Bilinearity and Cartesian Closed Monads.
• Affine Monads and Side-Effect-Freeness
• Measure Transformer Semantics for Bayesian Machine Learning
• An effect-theoretic account of Lebesgue integration

This page was built for publication: From probability monads to commutative effectuses