Category-theoretic structure for independence and conditional independence
From MaRDI portal
Publication:2130599
DOI10.1016/j.entcs.2018.03.028OpenAlexW2802939452WikidataQ113317552 ScholiaQ113317552MaRDI QIDQ2130599
Publication date: 25 April 2022
Full work available at URL: https://doi.org/10.1016/j.entcs.2018.03.028
independencedatabase theoryfibrationscategory theoryprobability theoryconditional independenceseparation logicnominal sets
Semantics in the theory of computing (68Q55) Mathematical aspects of software engineering (specification, verification, metrics, requirements, etc.) (68N30)
Related Items
Bimonoidal structure of probability monads, The expected Markov property for quantum Markov fields, Universal Properties of Lens Proxy Pullbacks, Local local reasoning: a BI-hyperdoctrine for full ground store, Unnamed Item, Unnamed Item, Disintegration and Bayesian inversion via string diagrams, Categorial independence and Lévy processes
Uses Software
Cites Work
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Unnamed Item
- Stochastic independence, causal independence, and shieldability
- Axioms and algorithms for inferences involving probabilistic independence
- Logical and algorithmic properties of conditional independence and graphical models
- Semantics of weakening and contraction
- Dependence and independence
- Separoids: a mathematical framework for conditional independence and irrelevance
- A logic for arguing about probabilities in measure teams
- Nominal Sets
- Compositories and Gleaves
- New Directions in Categorical Logic, for Classical, Probabilistic and Quantum Logic
- Subset Dependencies and a Completeness Result for a Subclass of Embedded Multivalued Dependencies
- Semi-pullbacks and bisimulation in categories of Markov processes
- A monad for full ground reference cells
- A Convenient Category for Higher-Order Probability Theory
- Semi-pullbacks for stochastic relations over analytic spaces
- Ergodic Theory