TY - RPRT TI - A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction AU - Karen Sargsyan PY - 2026 UR - https://arxiv.org/abs/2607.15629 ID - 2607.15629 ER -