REVIEW 6 cited by
Causal Inference by String Diagram Surgery
Not yet reviewed by Pith; the record is open.
This paper has not been read by Pith yet. Machine review is queued; the pith claim, tier, and objections will appear here once it completes.
SPECIMEN: schema-true, not a live event
T0 review · schema-true
One-sentence machine reading of the paper's core claim.
pith:XXXXXXXX · record.json · timestamp
read the original abstract
Extracting causal relationships from observed correlations is a growing area in probabilistic reasoning, originating with the seminal work of Pearl and others from the early 1990s. This paper develops a new, categorically oriented view based on a clear distinction between syntax (string diagrams) and semantics (stochastic matrices), connected via interpretations as structure-preserving functors. A key notion in the identification of causal effects is that of an intervention, whereby a variable is forcefully set to a particular value independent of any prior propensities. We represent the effect of such an intervention as an endofunctor which performs `string diagram surgery' within the syntactic category of string diagrams. This diagram surgery in turn yields a new, interventional distribution via the interpretation functor. While in general there is no way to compute interventional distributions purely from observed data, we show that this is possible in certain special cases using a calculational tool called comb disintegration. We demonstrate the use of this technique on a well-known toy example, where we predict the causal effect of smoking on cancer in the presence of a confounding common cause. After developing this specific example, we show this technique provides simple sufficient conditions for computing interventions which apply to a wide variety of situations considered in the causal inference literature.
Forward citations
Cited by 6 Pith papers
-
Infinitesimal Causality
Infinitesimal causality is defined via compatibility of categorical and geometric Frobenius structures in Markov categories, with interventions as tangent vectors deforming copy/discard operations and Lie brackets mea...
-
An order-theoretic circuit syntax and characterisation of the concept lattice
The concept lattice L_G is characterized as the unique smallest circuit with connectivity G that admits morphisms from every other circuit with the same connectivity.
-
Towards chemistries in dynamical systems
A finite dynamical system can be described as a Petri-net chemistry when a token map and transition map are compatible; an optional uniqueness criterion restricts when this description is least ambiguous.
-
Intuitionistic $j$-Do-Calculus in Topos Causal Models
The authors define j-stable causal independence and three inference rules (J1-J3) that generalize Pearl's do-calculus to the internal intuitionistic logic of a sheaf topos.
-
A Rose by Any Other Name Would Smell as Sweet: Categorical Homotopy Theory for Large Language Models
The paper argues that LLM next-token distributions form Markov categories whose paraphrase equivalences can be studied by homotopy theory, but its main theorem is unsupported.
-
Decentralized Causal Discovery using Judo Calculus
Running standard causal-discovery methods per regime and keeping only edges that persist across regimes ('j-stable aggregation') improves precision and parallelism over pooled fits.
Discussion (0). Continue with ORCID to comment.