Order in partial Markov categories

DOI10.46298/ENTICS.16686MaRDI QIDQ7312206zbMATH OpenFDO

Authors Elena di Lavore, Mario Román, Paweł Sobociński, Márk Széles

Publication date 11 August 2026

Copyright license Creative Commons Attribution 4.0 International

Full work available at URL https://doi.org/10.46298/ENTICS.16686

Mathematics Subject Classification ID

Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30) Semantics in the theory of computing (68Q55)

Cites work

• A 2-categories companion
• A survey of graphical languages for monoidal categories
• A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statistics
• An algebraic presentation of term graphs, via gs-monoidal categories
• Cartesian bicategories. I
• Causal inference via string diagram surgery. A diagrammatic approach to interventions and counterfactuals
• Compositional semantics for probabilistic programs with exact conditioning
• Disintegration and Bayesian inversion via string diagrams
• Evidential decision theory via partial Markov categories
• From probability monads to commutative effectuses
• scientific article; zbMATH DE number 3751225 (Why is no real title available?)
• scientific article; zbMATH DE number 1216133 (Why is no real title available?)
• Learning along a channel: the expectation part of expectation-maximisation
• Markov categories and entropy
• Multinomial and hypergeometric distributions in Markov categories
• Restriction categories as enriched categories
• Restriction categories II: Partial map classification
• Restriction categories III: colimits, partial limits and extensivity
• Restriction categories. I: Categories of partial maps

This page was built for publication: Order in partial Markov categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q7312206)