Paper Citation Record · LEDGER

A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction

As of 9 August 2026, this Paper Citation Record lists 13 of 13 outbound references and 0 inbound Pith citation observations for arXiv:2607.15629.

A citation records a reference. It does not transfer a finding from one paper to another.

pith.paper-citation-record.v1
2607.15629 v2

Coverage vector

measured 13 of 13 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T04:24:57.469203Z

measured 13 of 13 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-09T06:31:02.800959+00:00

measured 0 of 0 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links

measured 0 of 1 external citation measurements

A source-named dated measurement, never combined with another source.

Source: cited_works

Reference resolution

13 of 13 outbound references displayed

verified exact0
verified fuzzy0
unresolved13
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 1b29ec14-7177-4fd7-94e1-fe1218a17887 · outbound

This paper cites Intuitionistic $j$-Do-Calculus in Topos Causal Models.

A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction Intuitionistic $j$-Do-Calculus in Topos Causal Models

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T04:24:57.455848Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cadd09ae-e813-44ed-bd2c-e9efb57e4eda · outbound

This paper cites [VMA19] Andrea Vezzosi, Anders M¨ ortberg, and Andreas Abel.

A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction [VMA19] Andrea Vezzosi, Anders M¨ ortberg, and Andreas Abel

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T04:24:57.466670Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation aa79f092-539d-45db-94a4-bf3acdda4e0b · outbound

This paper cites Unveiling the Structure of Do-Calculus Reasoning via Derivation Graphs.

A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction Unveiling the Structure of Do-Calculus Reasoning via Derivation Graphs

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T04:24:57.469203Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 34361222-84c5-4940-81c5-64f74e462e2c · outbound

This paper cites Lawvere-tierney sheafification in homotopy type theory.

A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction Lawvere-tierney sheafification in homotopy type theory

Reference 2009

Resolution: unresolved; no resolver link, observed 2026-08-04T04:24:57.461380Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 2c06bb78-8317-4b30-8b30-9fd7e06d2e3d · outbound

This paper cites The cohomology of non-locality and contextuality.

A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction The cohomology of non-locality and contextuality

Reference 2011

Resolution: unresolved; no resolver link, observed 2026-08-04T04:24:57.435582Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 543c527d-27a6-48c5-b597-f6cdfd8ce181 · outbound

This paper cites A general algorithm for deciding transportability of experi- mental results.Journal of Causal Inference, 1(1):107–134, 2013.doi:10.1515/jci-2012-0004.

A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction A general algorithm for deciding transportability of experi- mental results.Journal of Causal Inference, 1(1):107–134, 2013.doi:10.1515/jci-2012-0004

Reference 2012

Resolution: unresolved; no resolver link, observed 2026-08-04T04:24:57.438907Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8dd91a14-dcae-4db9-a5c8-b6d10c22c336 · outbound

This paper cites an unresolved cited work.

A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction Unresolved cited work

Reference 2017

Resolution: unresolved; no resolver link, observed 2026-08-04T04:24:57.442094Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation cd598d09-cb70-46b8-a884-c858e9734477 · outbound

This paper cites [dAFH09] Ricardo Queiroz de Araujo Fernandes and Edward Hermann Haeusler.

A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction [dAFH09] Ricardo Queiroz de Araujo Fernandes and Edward Hermann Haeusler

Reference 2019

Resolution: unresolved; no resolver link, observed 2026-08-04T04:24:57.444916Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fff96c56-502d-45a9-bec9-b6f25e776dd0 · outbound

This paper cites The Topology of Causality.

A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction The Topology of Causality

Reference 2020

Resolution: unresolved; no resolver link, observed 2026-08-04T04:24:57.447973Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 18d33f1f-4284-4156-a8f5-c2e152d2fb2b · outbound

This paper cites Directed univalence in simplicial homotopy type theory.arXiv preprint arXiv:2407.09146,.

A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction Directed univalence in simplicial homotopy type theory.arXiv preprint arXiv:2407.09146,

Reference 2023

Resolution: unresolved; no resolver link, observed 2026-08-04T04:24:57.450822Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 643848bd-31d4-4b6f-9054-e97aad7a83fc · outbound

This paper cites Causal inference by string diagram surgery.

A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction Causal inference by string diagram surgery

Reference 2024

Resolution: unresolved; no resolver link, observed 2026-08-04T04:24:57.453364Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 05e5b32e-9d8d-442e-801b-c329e249688f · outbound

This paper cites Topos Causal Models.

A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction Topos Causal Models

Reference 2025

Resolution: unresolved; no resolver link, observed 2026-08-04T04:24:57.458524Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 58fcc55c-a411-494c-8db5-24ad10fda4a6 · outbound

This paper cites A cubical formalisation of conditional independence, Bayesian conditioning, and Pearl's d-separation soundness.

A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction A cubical formalisation of conditional independence, Bayesian conditioning, and Pearl's d-separation soundness

Reference 2026

Resolution: unresolved; no resolver link, observed 2026-08-04T04:24:57.463869Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

No inbound Pith citation observations are available.