Paper Citation Record · LEDGER

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

As of 8 August 2026, this Paper Citation Record lists 25 of 25 outbound references and 6 inbound Pith citation observations for arXiv:2510.17944.

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

pith.paper-citation-record.v1
2510.17944 v2

Coverage vector

measured 25 of 25 reference resolution

Typed states for the displayed outbound observations.

Source: paper_references, paper_reference_links, observed 2026-08-04T09:03:58.903943Z

measured 31 of 31 standing notices

One-hop event checks from named stored sources.

Source: scholarly_work_events, retraction_status_cache, observed 2026-08-08T06:32:00.761636+00:00

measured 6 of 6 inbound itemization

Pith citing papers itemized under the disclosed page cap.

Source: paper_references, paper_reference_links, observed 2026-08-04T07:57:05.441985Z

measured 0 of 1 external citation measurements

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

Source: arxiv_reference, observed 2026-06-28T20:42:37.641164Z

Reference resolution

25 of 25 outbound references displayed

verified exact0
verified fuzzy0
unresolved25
parse uncertain0
malformed identifier0
metadata mismatch0

External citation measurements

No source-named external measurement is stored.

Outbound references

Observation 75472ec5-08ca-4f24-9a31-a2f0422a4fc2 · outbound

This paper cites an unresolved cited work.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Unresolved cited work

Reference 1

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:55.885888Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 39c07e08-ce5e-4b41-9090-6a75abfb6fa1 · outbound

This paper cites Disintegration and bayesian inversion via string diagrams.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Disintegration and bayesian inversion via string diagrams

Reference 2

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:56.023647Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b28d9fa-011b-46a2-ac87-3e7d18af56c2 · outbound

This paper cites Causal theories: A categorical perspective on bayesian networks.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Causal theories: A categorical perspective on bayesian networks

Reference 3

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:56.193081Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 02cd64a5-547f-432f-a72c-91a3342a8f10 · outbound

This paper cites an unresolved cited work.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Unresolved cited work

Reference 4

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:56.344297Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5ce6cfa9-e50e-4ee3-aadf-4005cbea39a5 · outbound

This paper cites A synthetic approach to markov kernels, conditional independence and theorems on sufficient statistics.

Intuitionistic $j$-Do-Calculus in Topos Causal Models A synthetic approach to markov kernels, conditional independence and theorems on sufficient statistics

Reference 5

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:56.518010Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0711c778-d600-4360-af57-3e7990ab4f84 · outbound

This paper cites The d-separation criterion in categorical probability.

Intuitionistic $j$-Do-Calculus in Topos Causal Models The d-separation criterion in categorical probability

Reference 6

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:56.706336Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 47eaecff-f4aa-40b0-a262-7d5111c5b0fe · outbound

This paper cites An axiomatic theory of counterfactuals.

Intuitionistic $j$-Do-Calculus in Topos Causal Models An axiomatic theory of counterfactuals

Reference 7

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:56.763186Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6ae3be26-e3fa-41eb-b3c3-4da0d201d254 · outbound

This paper cites A categorical approach to probability theory.

Intuitionistic $j$-Do-Calculus in Topos Causal Models A categorical approach to probability theory

Reference 8

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:56.949288Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3e61b771-e68f-49f5-bb00-808b85139da8 · outbound

This paper cites Topoi: The Categorial Analysis of Logic.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Topoi: The Categorial Analysis of Logic

Reference 9

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:57.143783Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 49c63949-6968-4423-ae72-9e2d4444c5c2 · outbound

This paper cites Causal de finetti: on the identification of invariant causal structure in exchangeable data.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Causal de finetti: on the identification of invariant causal structure in exchangeable data

Reference 10

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:57.264657Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 20a3f33d-8ce0-4fea-8b24-1769aeadca79 · outbound

This paper cites Imbens and Donald B.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Imbens and Donald B

Reference 11

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:57.346959Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9f10ae6e-2460-4b76-b355-c300d5f7a167 · outbound

This paper cites Introduction to Coalgebra: Towards Mathematics of States and Observation, volume 59 of Cambridge Tracts in Theoretical Computer Science.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Introduction to Coalgebra: Towards Mathematics of States and Observation, volume 59 of Cambridge Tracts in Theoretical Computer Science

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:57.477119Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 5d154747-ff7f-46c1-96ff-5b1e76d0ae08 · outbound

This paper cites Causal Inference by String Diagram Surgery.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Causal Inference by String Diagram Surgery

Reference 13

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:57.557593Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation fc2b217f-c636-48c5-9966-68f72c0a849e · outbound

This paper cites Sheaves in Geometry and Logic a First Introduction to Topos Theory.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Sheaves in Geometry and Logic a First Introduction to Topos Theory

Reference 14

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:57.653764Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 9b4f2eb3-3f75-4d16-84cd-56a45edac7e4 · outbound

This paper cites Categories for the Working Mathematician.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Categories for the Working Mathematician

Reference 15

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:57.779027Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 3962d449-1d73-4a01-9135-31fd9cb8e3f2 · outbound

This paper cites Sheaves in Geometry and Logic: A First Introduction to Topos Theory.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Sheaves in Geometry and Logic: A First Introduction to Topos Theory

Reference 16

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:57.958295Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1b14c8c1-cf90-42f7-96bb-4abc49353bf1 · outbound

This paper cites Universal causality.

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

Reference 17

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:58.094698Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation d760e432-5227-4a53-8896-d79565ac22d9 · outbound

This paper cites Universal causal inference in a topos.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Universal causal inference in a topos

Reference 18

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:58.197098Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41a9acb3-38e1-43c4-a202-354c92a452fb · outbound

This paper cites Higher algebraic k-theory of causality.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Higher algebraic k-theory of causality

Reference 19

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:58.307263Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 1ffa15b0-e0c0-41c9-a6a1-5c8c8b2aec47 · outbound

This paper cites Learning Independent Causal Mechanisms.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Learning Independent Causal Mechanisms

Reference 20

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:58.411040Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 0dd67953-6058-45cc-8ed2-8b92ca13ebdf · outbound

This paper cites Probabilistic reasoning in intelligent systems - networks of plausible inference.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Probabilistic reasoning in intelligent systems - networks of plausible inference

Reference 21

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:58.509249Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 6b5ff5ae-4101-42e7-848e-90861c86a3be · outbound

This paper cites Causality: Models, Reasoning and Inference.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Causality: Models, Reasoning and Inference

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:58.568781Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 523a62ca-46fe-455e-9f02-7d9188d87aba · outbound

This paper cites an unresolved cited work.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Unresolved cited work

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:58.705456Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8b60f45d-6904-4ee5-b6f3-033657f70fe2 · outbound

This paper cites Causation, Prediction, and Search, Second Edition.

Intuitionistic $j$-Do-Calculus in Topos Causal Models Causation, Prediction, and Search, Second Edition

Reference 24

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:58.798554Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation e23dff3c-d333-4162-a631-ed1ed623addf · outbound

This paper cites A Survey on Causal Discovery: Theory and Practice.

Intuitionistic $j$-Do-Calculus in Topos Causal Models A Survey on Causal Discovery: Theory and Practice

Reference 25

Resolution: unresolved; no resolver link, observed 2026-08-04T09:03:58.903943Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Pith citing papers

Observation 7364b95e-f855-4831-9238-89706a04d2e6 · inbound

Decentralized Causal Discovery using Judo Calculus cites this paper.

Decentralized Causal Discovery using Judo Calculus Intuitionistic $j$-Do-Calculus in Topos Causal Models

Reference 23

Resolution: unresolved; no resolver link, observed 2026-08-04T07:57:05.441985Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 843f9a4a-06c0-4556-969e-5d173290d1e4 · inbound

Causal Density Functions cites this paper.

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

Reference 12

Resolution: verified exact; arxiv_id, observed 2026-07-28T02:21:35.994074Z

Source-reported events for the cited work

No event found in the named queried sources as of 2026-08-08T06:32:00.761636+00:00.

Observation f1630ff1-5810-4f33-bd29-32bf9cca4ba1 · inbound

Causal Density Functions cites this paper.

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

Reference 12

Resolution: unresolved; no resolver link, observed 2026-08-02T12:45:53.910025Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 8e173067-835d-46a9-b162-33e068402b22 · inbound

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

A cubical formalisation of conditional independence, Bayesian conditioning, and Pearl's d-separation soundness Intuitionistic $j$-Do-Calculus in Topos Causal Models

Reference 2008

Resolution: malformed identifier; no resolver link, observed 2026-08-02T10:55:59.550863Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

Observation 41d4d4ed-d302-4b23-a608-817b573aef5f · inbound

A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction cites this paper.

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

Reference 22

Resolution: unresolved; no resolver link, observed 2026-08-01T22:51:13.869900Z

Source-reported events for the cited work

Unavailable: canonical work link unavailable.

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

A cubical formalisation of topos causal models: intervention, forcing, and a contextuality obstruction cites this paper.

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.