Intuitionistic $j$-Do-Calculus in Topos Causal Models

Sridhar Mahadevan

In this paper, we generalize Pearl's do-calculus to an Intuitionistic setting called $j$-stable causal inference inside a topos of sheaves. Our framework is an elaboration of the r…