{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:GHMA7WWSPQ7YIJIUQCKXR63LQT","short_pith_number":"pith:GHMA7WWS","canonical_record":{"source":{"id":"1506.05028","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-06-16T16:40:01Z","cross_cats_sorted":["cs.LO","quant-ph"],"title_canon_sha256":"5d228302446a395d01949f73db28fa36e8879c25624b93e5430ce4867e21ea34","abstract_canon_sha256":"26feb9eed6659e0f35267fdd6c8dfda71c867958db55c39fac83c8cf174f2955"},"schema_version":"1.0"},"canonical_sha256":"31d80fdad27c3f842514809578fb6b84fe7a0df66fbcfedaf7413babc666694c","source":{"kind":"arxiv","id":"1506.05028","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.05028","created_at":"2026-05-18T01:27:45Z"},{"alias_kind":"arxiv_version","alias_value":"1506.05028v2","created_at":"2026-05-18T01:27:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.05028","created_at":"2026-05-18T01:27:45Z"},{"alias_kind":"pith_short_12","alias_value":"GHMA7WWSPQ7Y","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"GHMA7WWSPQ7YIJIU","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"GHMA7WWS","created_at":"2026-05-18T12:29:22Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:GHMA7WWSPQ7YIJIUQCKXR63LQT","target":"record","payload":{"canonical_record":{"source":{"id":"1506.05028","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-06-16T16:40:01Z","cross_cats_sorted":["cs.LO","quant-ph"],"title_canon_sha256":"5d228302446a395d01949f73db28fa36e8879c25624b93e5430ce4867e21ea34","abstract_canon_sha256":"26feb9eed6659e0f35267fdd6c8dfda71c867958db55c39fac83c8cf174f2955"},"schema_version":"1.0"},"canonical_sha256":"31d80fdad27c3f842514809578fb6b84fe7a0df66fbcfedaf7413babc666694c","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:27:45.967962Z","signature_b64":"1EVKVqSGeHaFw4Q2EC8foObKPYJRaY7gmN8v9hxQmT6KNUun6+bz2yzjYwCwwHJjAZ4OWeJTtjbJbIstD9nQCA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"31d80fdad27c3f842514809578fb6b84fe7a0df66fbcfedaf7413babc666694c","last_reissued_at":"2026-05-18T01:27:45.967463Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:27:45.967463Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1506.05028","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-18T01:27:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"yMtSGINBgkrMJZuR0gbFIkfTuYnTTX8L4qp5UxjiBWrBRW2T94yImunNYr0rgQtKlfLtA9J4aqvE4Lqb2dPHBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T14:56:25.202910Z"},"content_sha256":"3decf71c9f8d91bb94eef1e819d4f4d8dec8e758bd6bfa3ef4cfd2eb7087b98b","schema_version":"1.0","event_id":"sha256:3decf71c9f8d91bb94eef1e819d4f4d8dec8e758bd6bfa3ef4cfd2eb7087b98b"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:GHMA7WWSPQ7YIJIUQCKXR63LQT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Categories of relations as models of quantum theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO","quant-ph"],"primary_cat":"math.CT","authors_text":"Chris Heunen (University of Oxford), Sean Tull (University of Oxford)","submitted_at":"2015-06-16T16:40:01Z","abstract_excerpt":"Categories of relations over a regular category form a family of models of quantum theory. Using regular logic, many properties of relations over sets lift to these models, including the correspondence between Frobenius structures and internal groupoids. Over compact Hausdorff spaces, this lifting gives continuous symmetric encryption. Over a regular Mal'cev category, this correspondence gives a characterization of categories of completely positive maps, enabling the formulation of quantum features. These models are closer to Hilbert spaces than relations over sets in several respects: Heisenb"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.05028","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-18T01:27:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ki2gToU6CxOggIs9bcS9CeZNOzIhKic2kRqGUTlfJsgcw0UWG7anAKh/G7ihsDvpNOXXCZ8+qZie9mHR4rvfDQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-03T14:56:25.203263Z"},"content_sha256":"6ea368f7933dfcabcd47433727c8f58b9322763ce98b9e3fd9054fd3c7b837b7","schema_version":"1.0","event_id":"sha256:6ea368f7933dfcabcd47433727c8f58b9322763ce98b9e3fd9054fd3c7b837b7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GHMA7WWSPQ7YIJIUQCKXR63LQT/bundle.json","state_url":"https://pith.science/pith/GHMA7WWSPQ7YIJIUQCKXR63LQT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GHMA7WWSPQ7YIJIUQCKXR63LQT/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-03T14:56:25Z","links":{"resolver":"https://pith.science/pith/GHMA7WWSPQ7YIJIUQCKXR63LQT","bundle":"https://pith.science/pith/GHMA7WWSPQ7YIJIUQCKXR63LQT/bundle.json","state":"https://pith.science/pith/GHMA7WWSPQ7YIJIUQCKXR63LQT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GHMA7WWSPQ7YIJIUQCKXR63LQT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:GHMA7WWSPQ7YIJIUQCKXR63LQT","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":"26feb9eed6659e0f35267fdd6c8dfda71c867958db55c39fac83c8cf174f2955","cross_cats_sorted":["cs.LO","quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-06-16T16:40:01Z","title_canon_sha256":"5d228302446a395d01949f73db28fa36e8879c25624b93e5430ce4867e21ea34"},"schema_version":"1.0","source":{"id":"1506.05028","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1506.05028","created_at":"2026-05-18T01:27:45Z"},{"alias_kind":"arxiv_version","alias_value":"1506.05028v2","created_at":"2026-05-18T01:27:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1506.05028","created_at":"2026-05-18T01:27:45Z"},{"alias_kind":"pith_short_12","alias_value":"GHMA7WWSPQ7Y","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_16","alias_value":"GHMA7WWSPQ7YIJIU","created_at":"2026-05-18T12:29:22Z"},{"alias_kind":"pith_short_8","alias_value":"GHMA7WWS","created_at":"2026-05-18T12:29:22Z"}],"graph_snapshots":[{"event_id":"sha256:6ea368f7933dfcabcd47433727c8f58b9322763ce98b9e3fd9054fd3c7b837b7","target":"graph","created_at":"2026-05-18T01:27:45Z","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":"Categories of relations over a regular category form a family of models of quantum theory. Using regular logic, many properties of relations over sets lift to these models, including the correspondence between Frobenius structures and internal groupoids. Over compact Hausdorff spaces, this lifting gives continuous symmetric encryption. Over a regular Mal'cev category, this correspondence gives a characterization of categories of completely positive maps, enabling the formulation of quantum features. These models are closer to Hilbert spaces than relations over sets in several respects: Heisenb","authors_text":"Chris Heunen (University of Oxford), Sean Tull (University of Oxford)","cross_cats":["cs.LO","quant-ph"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-06-16T16:40:01Z","title":"Categories of relations as models of quantum theory"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1506.05028","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:3decf71c9f8d91bb94eef1e819d4f4d8dec8e758bd6bfa3ef4cfd2eb7087b98b","target":"record","created_at":"2026-05-18T01:27:45Z","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":"26feb9eed6659e0f35267fdd6c8dfda71c867958db55c39fac83c8cf174f2955","cross_cats_sorted":["cs.LO","quant-ph"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2015-06-16T16:40:01Z","title_canon_sha256":"5d228302446a395d01949f73db28fa36e8879c25624b93e5430ce4867e21ea34"},"schema_version":"1.0","source":{"id":"1506.05028","kind":"arxiv","version":2}},"canonical_sha256":"31d80fdad27c3f842514809578fb6b84fe7a0df66fbcfedaf7413babc666694c","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"31d80fdad27c3f842514809578fb6b84fe7a0df66fbcfedaf7413babc666694c","first_computed_at":"2026-05-18T01:27:45.967463Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:27:45.967463Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"1EVKVqSGeHaFw4Q2EC8foObKPYJRaY7gmN8v9hxQmT6KNUun6+bz2yzjYwCwwHJjAZ4OWeJTtjbJbIstD9nQCA==","signature_status":"signed_v1","signed_at":"2026-05-18T01:27:45.967962Z","signed_message":"canonical_sha256_bytes"},"source_id":"1506.05028","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:3decf71c9f8d91bb94eef1e819d4f4d8dec8e758bd6bfa3ef4cfd2eb7087b98b","sha256:6ea368f7933dfcabcd47433727c8f58b9322763ce98b9e3fd9054fd3c7b837b7"],"state_sha256":"5a2e4f40e721d58c8f1c29c1f85ad7153be9c1a920773b6a4f2d73bca3b52119"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"wGxm6Me+8++XAJVjax5CPfhCnesl7zeH4lKZOb3Q+nC/98fHhsHg/WXz/HZxOBM9YRjekyuocM7C3sEbwrmiCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-03T14:56:25.205418Z","bundle_sha256":"c07517a1849337679bc50873cbbac25b561d0854497844e6f0d85cc865c62296"}}