mlsanityData to 7 Oct 2026

Markov categories, causal theories, and the do-calculus

arXiv 2204.04821 ↗First posted 11 Apr 2022cs.AI cs.LO math.CTcited by 0

On the map: LLM reasoning → Causal reasoning in LLMs

Abstract (arXiv)

We give a category-theoretic treatment of causal models that formalizes the syntax for causal reasoning over a directed acyclic graph (DAG) by associating a free Markov category with the DAG in a canonical way. This framework enables us to define and study important concepts in causal reasoning from an abstract and "purely causal" point of view, such as causal independence/separation, causal conditionals, and decomposition of intervention effects. Our results regarding these concepts abstract away from the details of the commonly adopted causal models such as (recursive) structural equation models or causal Bayesian networks. They are therefore more widely applicable and in a way conceptually clearer. Our results are also intimately related to Judea Pearl's celebrated do-calculus, and yield a syntactic version of a core part of the calculus that is inherited in all causal models. In particular, it induces a simpler and specialized version of Pearl's do-calculus in the context of causal Bayesian networks, which we show is as strong as the full version.

Key facts. No citing papers in the map yet (data through 7 Oct 2026). Placed in Causal reasoning in LLMs, one of 17 directions in LLM reasoning. Builds on 2 of its 18 references that are in the map. First posted on arXiv 11 Apr 2022.

Builds on

2 of 18 references.

References · 2

  1. 2019A synthetic approach to Markov kernels, conditional independence and theorems on sufficient statisticscited by 55
  2. 2018Causal Inference by String Diagram Surgerycited by 23

Built on by

Not cited yet.

Similar, not cited

Close in wording, no citation either way

  1. 2023Causal models in string diagrams
  2. 2025Relaxing partition admissibility in Cluster-DAGs: a causal calculus with arbitrary variable clustering
  3. 2022Causal Explanations for Sequential Decision Making Under Uncertainty
  4. 2026Beyond Directed Acyclic Graphs: Causal Zeros and Causal Differential Equations
  5. 2026Causal Reasoning with Bipartite Graphical Causal Models
  6. 2025Temporal Causal Reasoning with (Non-Recursive) Structural Equation Models
  7. 2022Relational Causal Models with Cycles:Representation and Reasoning
  8. 2023Axiomatizations of causal reasoning under indeterministic causal laws