From probability monads to commutative effectuses
type: Item
instance of: scholarly article
title: From probability monads to commutative effectuses
zbMATH Open document ID: 1382.68073
author: Bart Jacobs
published in: Journal of Logical and Algebraic Methods in Programming
publication date: 2017-12-01T00:00:00Z
full work available at URL: http://hdl.handle.net/2066/182000
Mathematics Subject Classification ID: 68Q05
Mathematics Subject Classification ID: 18C20
Mathematics Subject Classification ID: 68Q10
zbMATH DE Number: 6814745
MaRDI profile type: Publication
OpenAlex ID: W2605690278
cites work: The sheaf-theoretic structure of non-locality and contextuality
cites work: Q3614500
cites work: An Extension Result for Continuous Valuations
cites work: Partially additive categories and flow-diagram semantics
cites work: Codensity and the Giry monad
cites work: Measure transformer semantics for Bayesian machine learning
cites work: Total and Partial Computation in Categorical Quantum Foundations
cites work: Introduction to distributive categories
cites work: Categories of Quantum and Classical Channels (extended abstract)
cites work: Scalars, Monads, and Categories
cites work: A categorical foundation for Bayesian probability
cites work: Q4692630
cites work: Q2762622
cites work: Domain theory and integration
cites work: Q4375489
cites work: Effect algebras and unsharp quantum logics.
cites work: From Kleisli Categories to Commutative C *-Algebras: Probabilistic Gelfand Duality
cites work: From Kleisli Categories to Commutative C*-algebras: Probabilistic Gelfand Duality
cites work: Towards a Categorical Account of Conditional Probability
cites work: Q3946875
cites work: Semantics of weakening and contraction
cites work: Convexity, Duality and Effects
cites work: From coalgebraic to monoidal traces
cites work: Probabilities, distribution monads, and convex categories
cites work: Measurable Spaces and Their Effect Logic
cites work: New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
cites work: A Recipe for State-and-Effect Triangles
cites work: Affine Monads and Side-Effect-Freeness
cites work: Effectuses from monads
cites work: Coreflections in algebraic quantum logic
cites work: Q4986190
cites work: The expectation monad in quantum foundations
cites work: An effect-theoretic account of Lebesgue integration
cites work: States of Convex Sets
cites work: A predicate/state transformer semantics for Bayesian learning
cites work: Q3203061
cites work: The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
cites work: Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
cites work: Structural Operational Semantics for Weighted Transition Systems
cites work: Monads on symmetric monoidal closed categories
cites work: On Double Dualization Monads.
cites work: Bilinearity and Cartesian Closed Monads.
cites work: Commutative monads as a theory of distributions
cites work: Semantics of probabilistic programs
cites work: Codensity and the ultrafilter monad
cites work: Affine parts of monads
cites work: Q3735051
cites work: Probabilistic Monads, Domains and Classical Information
cites work: Q3619416
cites work: Q4340161
cites work: Semantics for probabilistic programming
cites work: Retracted: Semantic domains for combining probability and non-determinism
cites work: Q5574731
cites work: Q5014793
DOI: 10.1016/J.JLAMP.2016.11.006
Recommended article: Q5088131
Recommended article: Monads and Quantitative Equational Theories for Nondeterminism and Probability
Recommended article: Bimonoidal structure of probability monads
Recommended article: Commutative monads as a theory of distributions
Recommended article: Stochastic lambda calculus and monads of probability distributions
Recommended article: Probabilistic Monads, Domains and Classical Information
Recommended article: Probabilities, distribution monads, and convex categories
Recommended article: Algebras of the extended probabilistic powerdomain monad
Recommended article: Observationally-induced Effect Monads: Upper and Lower Powerspace Constructions
description: scientific article; zbMATH DE number 6814745