arxivcs.LOcs.AImath.CT2026-07-17
A cubical formalisation of topos causal models: intervention, sheaf gluing, and the intuitionistic do-calculus
Topos causal models recast causal inference inside a topos: a causal world is a presheaf, an intervention is a characteristic map into the subobject classifier, and reasoning is carried out in the intuitionistic internal language. We give the first machine-checked account of this…