scientific article
From MaRDI portal
Publication:3946875
zbMath0486.60034MaRDI QIDQ3946875
Publication date: 1982
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
transition probabilitiesmonadprobabilistic automataKleisli categoryEilenberg-Moore categorycategory of measurable spacesmeasurable categories
Axioms; other general questions in probability (60A05) Foundations of stochastic processes (60G05) Eilenberg-Moore and Kleisli constructions for monads (18C20)
Related Items
Retracing some paths in process algebra ⋮ A linear exponential comonad in s-finite transition kernels and probabilistic coherent spaces ⋮ Divergences on monads for relational program logics ⋮ A concrete model for a typed linear algebraic lambda calculus ⋮ Control-data separation and logical condition propagation for efficient inference on probabilistic programs ⋮ Multilevel Delayed Acceptance MCMC ⋮ A categorical approach to statistical mechanics ⋮ Categorical information geometry ⋮ Value Iteration is Optic Composition ⋮ Unnamed Item ⋮ A categorical characterization of relative entropy on standard Borel spaces ⋮ On block structures in quantum computation ⋮ Continuous-variable nonlocality and contextuality ⋮ A non-commutative Bayes' theorem ⋮ The factorization of the Giry monad ⋮ A categorical characterization of relative entropy on standard Borel spaces ⋮ Category-theoretic structure for independence and conditional independence ⋮ On bisimilarity in lambda calculi with continuous probabilistic choice ⋮ Monads, partial evaluations, and rewriting ⋮ Borel kernels and their approximation, categorically ⋮ Bimonoidal structure of probability monads ⋮ Continuous probability distributions in concurrent games ⋮ Recursively defined metric spaces without contraction ⋮ Synthetic topology in Homotopy Type Theory for probabilistic programming ⋮ Probabilistic operational semantics for the lambda calculus ⋮ Bisimulation as a logical relation ⋮ The expectation monad in quantum foundations ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Generic Infinite Traces and Path-Based Coalgebraic Temporal Logics ⋮ Kan extensions are partial colimits ⋮ Eilenberg--Moore algebras for stochastic relations ⋮ Program logic for higher-order probabilistic programs in Isabelle/HOL ⋮ A functional account of probabilistic programming with possible worlds. Declarative pearl ⋮ Probability, valuations, hyperspace: Three monads on top and the support as a morphism ⋮ Non-Archimedean preferences over countable lotteries ⋮ Functional distribution monads in functional-analytic contexts ⋮ Reduction semantics in Markovian process algebra ⋮ From probability monads to commutative effectuses ⋮ Generic weakest precondition semantics from monads enriched with order ⋮ Codensity and the Giry monad ⋮ A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics ⋮ From gs-monoidal to oplax cartesian categories: constructions and functorial completeness ⋮ Non-commutative disintegrations: existence and uniqueness in finite dimensions ⋮ Algebraic properties of stochastic effectivity functions ⋮ An axiomatization of information flow measures ⋮ Approximating labelled Markov processes ⋮ Program algebra for quantitative information flow ⋮ Categorical approach to modelling and to coupling of models ⋮ Lattice properties of congruences for stochastic relations ⋮ Algebraic theory of vector-valued integration ⋮ Markov chains and Markov decision processes in Isabelle/HOL ⋮ Maximal traces and path-based coalgebraic temporal logics ⋮ Approximating Markov processes through filtration ⋮ Unnamed Item ⋮ All adapted topologies are equal ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Unnamed Item ⋮ Dirichlet is natural ⋮ An effect-theoretic account of Lebesgue integration ⋮ Bisimulation for probabilistic transition systems: A coalgebraic approach ⋮ Linking theories in probabilistic programming ⋮ Proofs of randomized algorithms in Coq ⋮ The sheaf-theoretic structure of non-locality and contextuality ⋮ Pointless Learning ⋮ Commutative Semantics for Probabilistic Programming ⋮ A trustful monad for axiomatic reasoning with probability and nondeterminism ⋮ Giry and the Machine ⋮ A predicate/state transformer semantics for Bayesian learning ⋮ Approximate relational Hoare logic for continuous random samplings ⋮ The Giry monad is not strong for the canonical symmetric monoidal closed structure on \textbf {Meas} ⋮ Codensity Lifting of Monads and its Dual ⋮ A stochastic interpretation of game logic ⋮ Classifying financial markets up to isomorphism ⋮ A compositional modelling and analysis framework for stochastic hybrid systems ⋮ Bisimilarity of Distributionally Equivalent Markov Transition Systems ⋮ Bisimulation for Markov Decision Processes through Families of Functional Expressions ⋮ Affine Monads and Side-Effect-Freeness ⋮ The converse of a stochastic relation ⋮ Unprovability of the logical characterization of bisimulation ⋮ Domain theory, testing and simulation for labelled Markov processes ⋮ A behavioural pseudometric for probabilistic transition systems ⋮ Bisimulation and cocongruence for probabilistic systems ⋮ Final coalgebras for functors on measurable spaces ⋮ Unnamed Item ⋮ Approximating and computing behavioural distances in probabilistic transition systems ⋮ Bisimulation for labelled Markov processes ⋮ Kleisli morphisms and randomized congruences for the Giry monad ⋮ Verified analysis of random binary tree structures ⋮ Probabilistic Inference by Program Transformation in Hakaru (System Description) ⋮ An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages ⋮ Long-term values in Markov decision processes, (co)algebraically ⋮ (in)finite trace equivalence of probabilistic transition systems ⋮ Categories of Timed Stochastic Relations ⋮ Unnamed Item ⋮ A channel-based perspective on conjugate priors ⋮ Algebraic theories and commutativity in a sheaf topos ⋮ Coalgebraic logic for stochastic right coalgebras ⋮ Stochastic order on metric spaces and the ordered Kantorovich monad ⋮ Domain semantics of possibility computations ⋮ Disintegration and Bayesian inversion via string diagrams ⋮ A concrete categorical semantics of lambda-\(\mathcal{S}\) ⋮ Measure and probability for concurrency theorists ⋮ Unnamed Item ⋮ Structural operational semantics for continuous state stochastic transition systems ⋮ Labelled Markov Processes as Generalised Stochastic Relations ⋮ Extensional equality preservation and verified generic programming ⋮ On the correctness of monadic backward induction ⋮ Nonparametric Estimations and the Diffeological Fisher Metric
