do-operator

This paper establishes a precise mathematical correspondence between graph surgery and the do-operator in acyclic structural causal models, proving their equivalence in terms of dependency graphs.