From probability monads to commutative effectuses
From MaRDI portal
Recommendations
- scientific article; zbMATH DE number 7552812
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- Bimonoidal structure of probability monads
- Commutative monads as a theory of distributions
- Stochastic lambda calculus and monads of probability distributions
- Probabilistic monads, domains and classical information
- Probabilities, distribution monads, and convex categories
- Algebras of the extended probabilistic powerdomain monad
- Observationally-induced effect monads: upper and lower powerspace constructions
Cites work
- scientific article; zbMATH DE number 1688754 (Why is no real title available?)
- scientific article; zbMATH DE number 4179422 (Why is no real title available?)
- scientific article; zbMATH DE number 3967883 (Why is no real title available?)
- scientific article; zbMATH DE number 3764843 (Why is no real title available?)
- scientific article; zbMATH DE number 1022658 (Why is no real title available?)
- scientific article; zbMATH DE number 1113628 (Why is no real title available?)
- scientific article; zbMATH DE number 194642 (Why is no real title available?)
- scientific article; zbMATH DE number 7441252 (Why is no real title available?)
- scientific article; zbMATH DE number 3291978 (Why is no real title available?)
- A categorical foundation for Bayesian probability
- A predicate/state transformer semantics for Bayesian learning
- A recipe for state-and-effect triangles
- Abstract ordered compact convex sets and algebras of the (sub)probabilistic powerdomain monad over ordered compact spaces
- Affine Monads and Side-Effect-Freeness
- Affine parts of monads
- An Extension Result for Continuous Valuations
- An effect-theoretic account of Lebesgue integration
- Analytic functors and weak pullbacks
- Bilinearity and Cartesian Closed Monads.
- Categories of Quantum and Classical Channels (extended abstract)
- Codensity and the Giry monad
- Codensity and the ultrafilter monad
- Commutative monads as a theory of distributions
- Convexity, duality and effects
- Coreflections in algebraic quantum logic
- Domain theory and integration
- Effect algebras and unsharp quantum logics.
- Effectuses from monads
- From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality
- From Kleisli categories to commutative \(C^*\)-algebras: probabilistic Gelfand duality
- From coalgebraic to monoidal traces
- Introduction to distributive categories
- Labelled Markov processes.
- Measurable spaces and their effect logic
- Measure transformer semantics for Bayesian machine learning
- Monads on symmetric monoidal closed categories
- New directions in categorical logic, for classical, probabilistic and quantum logic
- On Double Dualization Monads.
- Partially additive categories and flow-diagram semantics
- Probabilistic monads, domains and classical information
- Probabilities, distribution monads, and convex categories
- Retracted: Semantic domains for combining probability and non-determinism
- Scalars, monads and categories
- Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints
- Semantics of probabilistic programs
- Semantics of weakening and contraction
- States of convex sets
- Structural Operational Semantics for Weighted Transition Systems
- The expectation monad in quantum foundations
- The expectation monad in quantum foundations
- The monad of probability measures over compact ordered spaces and its Eilenberg-Moore algebras
- The sheaf-theoretic structure of non-locality and contextuality
- Total and partial computation in categorical quantum foundations
- Towards a categorical account of conditional probability
Cited in
(33)- A non-commutative Bayes' theorem
- Effectuses from monads
- States of convex sets
- Multisets and distributions, in drawing and learning
- Learning from what's right and learning from what's wrong
- Multinomial and hypergeometric distributions in Markov categories
- From Kleisli categories to commutative \(C ^{*}\)-algebras: probabilistic gelfand duality
- The expectation monad in quantum foundations
- Compositional game theory with mixed strategies: probabilistic open games using a distributive law
- Monads and Quantitative Equational Theories for Nondeterminism and Probability
- A channel-based perspective on conjugate priors
- The beta-Bernoulli process and algebraic effects
- Probability monads with submonads of deterministic states
- Learning along a channel: the expectation part of expectation-maximisation
- Neural nets via forward state transformation and backward loss transformation
- scientific article; zbMATH DE number 7199585 (Why is no real title available?)
- A probability monad as the colimit of spaces of finite samples
- Total and partial computation in categorical quantum foundations
- Monads, partial evaluations, and rewriting
- scientific article; zbMATH DE number 7552812 (Why is no real title available?)
- A formal semantics of influence in Bayesian reasoning
- Disintegration and Bayesian inversion via string diagrams
- A note on distances between probabilistic and quantum distributions
- The expectation monad in quantum foundations
- scientific article; zbMATH DE number 7449983 (Why is no real title available?)
- Stick breaking, in coalgebra and probability
- From gs-monoidal to oplax cartesian categories: constructions and functorial completeness
- Non-commutative disintegrations: existence and uniqueness in finite dimensions
- From Kleisli categories to commutative \(C^*\)-algebras: probabilistic Gelfand duality
- Measurable spaces and their effect logic
- Affine Monads and Side-Effect-Freeness
- A type theory for probabilistic and Bayesian reasoning
- Automata and coalgebras in categories of species
This page was built for publication: From probability monads to commutative effectuses
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1683710)
