j-stable causal inference

新的直觉主义 $j$-do演算框架扩展了因果推断

研究人员引入了一个名为 $j$-stable causal inference 的新颖框架，该框架将 Pearl 的 do-calculus 扩展到层拓扑中的直觉主义环境。这种新方法将因果干预定义为子对象，并利用具有模态算子 $j$ 的 Lawvere-Tierney 拓扑作用于拓扑的子对象分类器。$j$-do-演算用局部真理取代全局真理，通过沿 $j$-covers 稳定的结构保持态射来形式化因果推理，并被证明是一个健全的规则系统。