{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2010:6HIB7QHYP7CNXSLTMWLY376GXE","short_pith_number":"pith:6HIB7QHY","canonical_record":{"source":{"id":"1010.2031","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2010-10-11T08:12:36Z","cross_cats_sorted":["math.MP"],"title_canon_sha256":"296ba0d70e38fa67ef1999cf9e21f3d7adf46660a5e6c76f4a837262d8278967","abstract_canon_sha256":"936e116c49697d666c80e8183b521aac6893912ec575de793d3f90040358b4c2"},"schema_version":"1.0"},"canonical_sha256":"f1d01fc0f87fc4dbc97365978dffc6b93386aa5720f9328b84c0a817f8d84e98","source":{"kind":"arxiv","id":"1010.2031","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1010.2031","created_at":"2026-05-18T04:16:22Z"},{"alias_kind":"arxiv_version","alias_value":"1010.2031v2","created_at":"2026-05-18T04:16:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1010.2031","created_at":"2026-05-18T04:16:22Z"},{"alias_kind":"pith_short_12","alias_value":"6HIB7QHYP7CN","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_16","alias_value":"6HIB7QHYP7CNXSLT","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_8","alias_value":"6HIB7QHY","created_at":"2026-05-18T12:26:04Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2010:6HIB7QHYP7CNXSLTMWLY376GXE","target":"record","payload":{"canonical_record":{"source":{"id":"1010.2031","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2010-10-11T08:12:36Z","cross_cats_sorted":["math.MP"],"title_canon_sha256":"296ba0d70e38fa67ef1999cf9e21f3d7adf46660a5e6c76f4a837262d8278967","abstract_canon_sha256":"936e116c49697d666c80e8183b521aac6893912ec575de793d3f90040358b4c2"},"schema_version":"1.0"},"canonical_sha256":"f1d01fc0f87fc4dbc97365978dffc6b93386aa5720f9328b84c0a817f8d84e98","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:16:22.912405Z","signature_b64":"2HF7SgVsq9Za2u9909Wm5Z0hv7fJB6MqV7PrRtll8ThKzJ6VRazUvs6PLX5FwtvF/6WnVL4wBtEB76bmMLppBg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"f1d01fc0f87fc4dbc97365978dffc6b93386aa5720f9328b84c0a817f8d84e98","last_reissued_at":"2026-05-18T04:16:22.911922Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:16:22.911922Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1010.2031","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:16:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"381lnDsDTrEVEP4fA3e9hoctcVLcaUvRINieZvWZ6f/LHTVeUVdNYqGiXGQxfe/ESRhJgs9D+uUaY6TYIJg/DQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T22:19:17.360388Z"},"content_sha256":"5205c66f1bfb5526d601b7aebc0b73d5c3b5a00d96b5d59e4c3c9bcb9c234dd9","schema_version":"1.0","event_id":"sha256:5205c66f1bfb5526d601b7aebc0b73d5c3b5a00d96b5d59e4c3c9bcb9c234dd9"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2010:6HIB7QHYP7CNXSLTMWLY376GXE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"A Comparison of Two Topos-Theoretic Approaches to Quantum Theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["math.MP"],"primary_cat":"math-ph","authors_text":"Sander Wolters","submitted_at":"2010-10-11T08:12:36Z","abstract_excerpt":"The aim of this paper is to compare the two topos-theoretic approaches to quantum mechanics that may be found in the literature to date. The first approach, which we will call the contravariant approach, was originally proposed by Isham and Butterfield, and was later extended by Doering and Isham. The second approach, which we will call the covariant approach, was developed by Heunen, Landsman and Spitters. Motivated by coarse-graining and the Kochen-Specker theorem, the contravariant approach uses the topos of presheaves on a specific context category, defined as the poset of commutative von "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1010.2031","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"references":{"count":0,"sample":[],"resolved_work":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","internal_anchors":0},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-18T04:16:22Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Uf+xISc7uX6q1QZzHNMaZ1e5Oxz6FT91inbREN2dnTxYF8K6jFEzG4UuVYoCh1li1Jgg4iJkxLG5xAgHNldnDA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-08T22:19:17.360729Z"},"content_sha256":"11ca1b710c27c75096081d3a983b3e6a2a5ab4dd18b41fa52bbe0a6c13a6cfea","schema_version":"1.0","event_id":"sha256:11ca1b710c27c75096081d3a983b3e6a2a5ab4dd18b41fa52bbe0a6c13a6cfea"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/6HIB7QHYP7CNXSLTMWLY376GXE/bundle.json","state_url":"https://pith.science/pith/6HIB7QHYP7CNXSLTMWLY376GXE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/6HIB7QHYP7CNXSLTMWLY376GXE/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-06-08T22:19:17Z","links":{"resolver":"https://pith.science/pith/6HIB7QHYP7CNXSLTMWLY376GXE","bundle":"https://pith.science/pith/6HIB7QHYP7CNXSLTMWLY376GXE/bundle.json","state":"https://pith.science/pith/6HIB7QHYP7CNXSLTMWLY376GXE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/6HIB7QHYP7CNXSLTMWLY376GXE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2010:6HIB7QHYP7CNXSLTMWLY376GXE","merge_version":"pith-open-graph-merge-v1","event_count":2,"valid_event_count":2,"invalid_event_count":0,"equivocation_count":0,"current":{"canonical_record":{"metadata":{"abstract_canon_sha256":"936e116c49697d666c80e8183b521aac6893912ec575de793d3f90040358b4c2","cross_cats_sorted":["math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2010-10-11T08:12:36Z","title_canon_sha256":"296ba0d70e38fa67ef1999cf9e21f3d7adf46660a5e6c76f4a837262d8278967"},"schema_version":"1.0","source":{"id":"1010.2031","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1010.2031","created_at":"2026-05-18T04:16:22Z"},{"alias_kind":"arxiv_version","alias_value":"1010.2031v2","created_at":"2026-05-18T04:16:22Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1010.2031","created_at":"2026-05-18T04:16:22Z"},{"alias_kind":"pith_short_12","alias_value":"6HIB7QHYP7CN","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_16","alias_value":"6HIB7QHYP7CNXSLT","created_at":"2026-05-18T12:26:04Z"},{"alias_kind":"pith_short_8","alias_value":"6HIB7QHY","created_at":"2026-05-18T12:26:04Z"}],"graph_snapshots":[{"event_id":"sha256:11ca1b710c27c75096081d3a983b3e6a2a5ab4dd18b41fa52bbe0a6c13a6cfea","target":"graph","created_at":"2026-05-18T04:16:22Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"graph_snapshot":{"author_claims":{"count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57","strong_count":0},"builder_version":"pith-number-builder-2026-05-17-v1","claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"paper":{"abstract_excerpt":"The aim of this paper is to compare the two topos-theoretic approaches to quantum mechanics that may be found in the literature to date. The first approach, which we will call the contravariant approach, was originally proposed by Isham and Butterfield, and was later extended by Doering and Isham. The second approach, which we will call the covariant approach, was developed by Heunen, Landsman and Spitters. Motivated by coarse-graining and the Kochen-Specker theorem, the contravariant approach uses the topos of presheaves on a specific context category, defined as the poset of commutative von ","authors_text":"Sander Wolters","cross_cats":["math.MP"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2010-10-11T08:12:36Z","title":"A Comparison of Two Topos-Theoretic Approaches to Quantum Theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1010.2031","kind":"arxiv","version":2},"verdict":{"created_at":null,"id":null,"model_set":{},"one_line_summary":"","pipeline_version":null,"pith_extraction_headline":"","strongest_claim":"","weakest_assumption":""}},"verdict_id":null}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:5205c66f1bfb5526d601b7aebc0b73d5c3b5a00d96b5d59e4c3c9bcb9c234dd9","target":"record","created_at":"2026-05-18T04:16:22Z","signer":{"key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signer_id":"pith.science","signer_type":"pith_registry"},"payload":{"attestation_state":"computed","canonical_record":{"metadata":{"abstract_canon_sha256":"936e116c49697d666c80e8183b521aac6893912ec575de793d3f90040358b4c2","cross_cats_sorted":["math.MP"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math-ph","submitted_at":"2010-10-11T08:12:36Z","title_canon_sha256":"296ba0d70e38fa67ef1999cf9e21f3d7adf46660a5e6c76f4a837262d8278967"},"schema_version":"1.0","source":{"id":"1010.2031","kind":"arxiv","version":2}},"canonical_sha256":"f1d01fc0f87fc4dbc97365978dffc6b93386aa5720f9328b84c0a817f8d84e98","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"f1d01fc0f87fc4dbc97365978dffc6b93386aa5720f9328b84c0a817f8d84e98","first_computed_at":"2026-05-18T04:16:22.911922Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:16:22.911922Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2HF7SgVsq9Za2u9909Wm5Z0hv7fJB6MqV7PrRtll8ThKzJ6VRazUvs6PLX5FwtvF/6WnVL4wBtEB76bmMLppBg==","signature_status":"signed_v1","signed_at":"2026-05-18T04:16:22.912405Z","signed_message":"canonical_sha256_bytes"},"source_id":"1010.2031","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:5205c66f1bfb5526d601b7aebc0b73d5c3b5a00d96b5d59e4c3c9bcb9c234dd9","sha256:11ca1b710c27c75096081d3a983b3e6a2a5ab4dd18b41fa52bbe0a6c13a6cfea"],"state_sha256":"c0a84c3ce577459e88e9c33a82039dcc8edf93e8509d610e19d058247cf685cd"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"+fWePPnGsU4rNDiTmhnCqCaSgbp8otkPmMEbmeYKt/uNHllBT/GDMWGnkv6Jl4gIdtnX4mzKA1Y6a6yo9imDDg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-08T22:19:17.362579Z","bundle_sha256":"ecaa81c879e42efafa99996b48898a3f14b43a9b9f2bce7fa95830ab9d6a3773"}}