{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2026:QYFOXLUYVPG2U67XXLKBXUOJPY","short_pith_number":"pith:QYFOXLUY","canonical_record":{"source":{"id":"2602.23865","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2026-02-27T10:05:24Z","cross_cats_sorted":["cs.LO","math.CT"],"title_canon_sha256":"35bdae04aa0281ff371bca09b6f10d7d9eec1ad13e14b41a027383a10920c803","abstract_canon_sha256":"98fd65bc4e087418886adf1cd6a450efb42197d02e3455e781ec5a20a0551a2e"},"schema_version":"1.0"},"canonical_sha256":"860aebae98abcdaa7bf7bad41bd1c97e278feb75ba30dc995d20986b47574919","source":{"kind":"arxiv","id":"2602.23865","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.23865","created_at":"2026-06-23T02:13:21Z"},{"alias_kind":"arxiv_version","alias_value":"2602.23865v3","created_at":"2026-06-23T02:13:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.23865","created_at":"2026-06-23T02:13:21Z"},{"alias_kind":"pith_short_12","alias_value":"QYFOXLUYVPG2","created_at":"2026-06-23T02:13:21Z"},{"alias_kind":"pith_short_16","alias_value":"QYFOXLUYVPG2U67X","created_at":"2026-06-23T02:13:21Z"},{"alias_kind":"pith_short_8","alias_value":"QYFOXLUY","created_at":"2026-06-23T02:13:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2026:QYFOXLUYVPG2U67XXLKBXUOJPY","target":"record","payload":{"canonical_record":{"source":{"id":"2602.23865","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2026-02-27T10:05:24Z","cross_cats_sorted":["cs.LO","math.CT"],"title_canon_sha256":"35bdae04aa0281ff371bca09b6f10d7d9eec1ad13e14b41a027383a10920c803","abstract_canon_sha256":"98fd65bc4e087418886adf1cd6a450efb42197d02e3455e781ec5a20a0551a2e"},"schema_version":"1.0"},"canonical_sha256":"860aebae98abcdaa7bf7bad41bd1c97e278feb75ba30dc995d20986b47574919","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-06-23T02:13:21.534199Z","signature_b64":"hqia4lpBFc1bVUAqVhQYlKjpIUsqp280FIzDnjZK1pDHYPxQZCJSQYvyXzMfN/1GJaiT7tggYaMHMIorH+msAQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"860aebae98abcdaa7bf7bad41bd1c97e278feb75ba30dc995d20986b47574919","last_reissued_at":"2026-06-23T02:13:21.533778Z","signature_status":"signed_v1","first_computed_at":"2026-06-23T02:13:21.533778Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2602.23865","source_version":3,"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-06-23T02:13:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"W/hrOCwxX+rHRDU7+Xd1M7lkHIynGDcPLKUlOgy2q6tRCCUsphjHLtIKtI+opqfpIeZt1GpgCFoE61chGxLLBg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T08:58:03.510657Z"},"content_sha256":"0f3b35184f962839f80cb88ab94652cefdd6e3cb97cbb24eb238e716dd909c4a","schema_version":"1.0","event_id":"sha256:0f3b35184f962839f80cb88ab94652cefdd6e3cb97cbb24eb238e716dd909c4a"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2026:QYFOXLUYVPG2U67XXLKBXUOJPY","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Supermaps on generalised theories","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Categorical supermaps are concretely represented by channel-state duality via a Yoneda lemma whenever the theory admits it.","cross_cats":["cs.LO","math.CT"],"primary_cat":"quant-ph","authors_text":"James Hefford, Matt Wilson, Timoth\\'ee Hoffreumon","submitted_at":"2026-02-27T10:05:24Z","abstract_excerpt":"Categorical supermaps generalise higher-order quantum operations from finite-dimensional quantum theory to arbitrary circuit theories. In this paper, we establish the Yoneda lemma for categorical supermaps, which states that whenever a physical theory has a suitable notion of channel-state duality, then categorical supermaps on that theory can be concretely represented in terms of that duality. This lemma eliminates any guesswork or ambiguity when defining the appropriate notion of supermap for these theories. As a concrete application, we show that the categorical supermaps on Boxworld are in"},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"we establish the Yoneda lemma for categorical supermaps, which states that whenever a physical theory has a suitable notion of channel-state duality, then categorical supermaps on that theory can be concretely represented in terms of that duality.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The underlying physical theory possesses a suitable notion of channel-state duality that can be used to represent the supermaps.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"A Yoneda lemma for categorical supermaps gives a concrete representation via channel-state duality whenever the theory has it, yielding stable definitions for boxworld and real quantum theory.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Categorical supermaps are concretely represented by channel-state duality via a Yoneda lemma whenever the theory admits it.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"57989f6a7829f458186e18e609cfcb46ff1d17926e29150c7ac4ce555695cb47"},"source":{"id":"2602.23865","kind":"arxiv","version":3},"verdict":{"id":"a1fb6663-88d9-494e-93d1-5dbf01f1eaab","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-15T19:03:28.536737Z","strongest_claim":"we establish the Yoneda lemma for categorical supermaps, which states that whenever a physical theory has a suitable notion of channel-state duality, then categorical supermaps on that theory can be concretely represented in terms of that duality.","one_line_summary":"A Yoneda lemma for categorical supermaps gives a concrete representation via channel-state duality whenever the theory has it, yielding stable definitions for boxworld and real quantum theory.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The underlying physical theory possesses a suitable notion of channel-state duality that can be used to represent the supermaps.","pith_extraction_headline":"Categorical supermaps are concretely represented by channel-state duality via a Yoneda lemma whenever the theory admits it."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2602.23865/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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":"a1fb6663-88d9-494e-93d1-5dbf01f1eaab"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-06-23T02:13:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"C1ij/LNjUsuXTEHZVmFT58JPgHyzS2a/70z5jEGr9QlP28awjqew63xpPXTsPnpaXKvFJ6PWSJXwsZoC8TE+Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-20T08:58:03.511373Z"},"content_sha256":"00602d4a9c5f769a253cff9c29b91be28d6680bc69804627f0f050abb1220cc8","schema_version":"1.0","event_id":"sha256:00602d4a9c5f769a253cff9c29b91be28d6680bc69804627f0f050abb1220cc8"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/QYFOXLUYVPG2U67XXLKBXUOJPY/bundle.json","state_url":"https://pith.science/pith/QYFOXLUYVPG2U67XXLKBXUOJPY/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/QYFOXLUYVPG2U67XXLKBXUOJPY/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-08-20T08:58:03Z","links":{"resolver":"https://pith.science/pith/QYFOXLUYVPG2U67XXLKBXUOJPY","bundle":"https://pith.science/pith/QYFOXLUYVPG2U67XXLKBXUOJPY/bundle.json","state":"https://pith.science/pith/QYFOXLUYVPG2U67XXLKBXUOJPY/state.json","well_known_bundle":"https://pith.science/.well-known/pith/QYFOXLUYVPG2U67XXLKBXUOJPY/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2026:QYFOXLUYVPG2U67XXLKBXUOJPY","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":"98fd65bc4e087418886adf1cd6a450efb42197d02e3455e781ec5a20a0551a2e","cross_cats_sorted":["cs.LO","math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2026-02-27T10:05:24Z","title_canon_sha256":"35bdae04aa0281ff371bca09b6f10d7d9eec1ad13e14b41a027383a10920c803"},"schema_version":"1.0","source":{"id":"2602.23865","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2602.23865","created_at":"2026-06-23T02:13:21Z"},{"alias_kind":"arxiv_version","alias_value":"2602.23865v3","created_at":"2026-06-23T02:13:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2602.23865","created_at":"2026-06-23T02:13:21Z"},{"alias_kind":"pith_short_12","alias_value":"QYFOXLUYVPG2","created_at":"2026-06-23T02:13:21Z"},{"alias_kind":"pith_short_16","alias_value":"QYFOXLUYVPG2U67X","created_at":"2026-06-23T02:13:21Z"},{"alias_kind":"pith_short_8","alias_value":"QYFOXLUY","created_at":"2026-06-23T02:13:21Z"}],"graph_snapshots":[{"event_id":"sha256:00602d4a9c5f769a253cff9c29b91be28d6680bc69804627f0f050abb1220cc8","target":"graph","created_at":"2026-06-23T02:13:21Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"we establish the Yoneda lemma for categorical supermaps, which states that whenever a physical theory has a suitable notion of channel-state duality, then categorical supermaps on that theory can be concretely represented in terms of that duality."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The underlying physical theory possesses a suitable notion of channel-state duality that can be used to represent the supermaps."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"A Yoneda lemma for categorical supermaps gives a concrete representation via channel-state duality whenever the theory has it, yielding stable definitions for boxworld and real quantum theory."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Categorical supermaps are concretely represented by channel-state duality via a Yoneda lemma whenever the theory admits it."}],"snapshot_sha256":"57989f6a7829f458186e18e609cfcb46ff1d17926e29150c7ac4ce555695cb47"},"formal_canon":{"evidence_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2602.23865/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Categorical supermaps generalise higher-order quantum operations from finite-dimensional quantum theory to arbitrary circuit theories. In this paper, we establish the Yoneda lemma for categorical supermaps, which states that whenever a physical theory has a suitable notion of channel-state duality, then categorical supermaps on that theory can be concretely represented in terms of that duality. This lemma eliminates any guesswork or ambiguity when defining the appropriate notion of supermap for these theories. As a concrete application, we show that the categorical supermaps on Boxworld are in","authors_text":"James Hefford, Matt Wilson, Timoth\\'ee Hoffreumon","cross_cats":["cs.LO","math.CT"],"headline":"Categorical supermaps are concretely represented by channel-state duality via a Yoneda lemma whenever the theory admits it.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2026-02-27T10:05:24Z","title":"Supermaps on generalised theories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2602.23865","kind":"arxiv","version":3},"verdict":{"created_at":"2026-05-15T19:03:28.536737Z","id":"a1fb6663-88d9-494e-93d1-5dbf01f1eaab","model_set":{"reader":"grok-4.3"},"one_line_summary":"A Yoneda lemma for categorical supermaps gives a concrete representation via channel-state duality whenever the theory has it, yielding stable definitions for boxworld and real quantum theory.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Categorical supermaps are concretely represented by channel-state duality via a Yoneda lemma whenever the theory admits it.","strongest_claim":"we establish the Yoneda lemma for categorical supermaps, which states that whenever a physical theory has a suitable notion of channel-state duality, then categorical supermaps on that theory can be concretely represented in terms of that duality.","weakest_assumption":"The underlying physical theory possesses a suitable notion of channel-state duality that can be used to represent the supermaps."}},"verdict_id":"a1fb6663-88d9-494e-93d1-5dbf01f1eaab"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:0f3b35184f962839f80cb88ab94652cefdd6e3cb97cbb24eb238e716dd909c4a","target":"record","created_at":"2026-06-23T02:13:21Z","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":"98fd65bc4e087418886adf1cd6a450efb42197d02e3455e781ec5a20a0551a2e","cross_cats_sorted":["cs.LO","math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"quant-ph","submitted_at":"2026-02-27T10:05:24Z","title_canon_sha256":"35bdae04aa0281ff371bca09b6f10d7d9eec1ad13e14b41a027383a10920c803"},"schema_version":"1.0","source":{"id":"2602.23865","kind":"arxiv","version":3}},"canonical_sha256":"860aebae98abcdaa7bf7bad41bd1c97e278feb75ba30dc995d20986b47574919","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"860aebae98abcdaa7bf7bad41bd1c97e278feb75ba30dc995d20986b47574919","first_computed_at":"2026-06-23T02:13:21.533778Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-06-23T02:13:21.533778Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"hqia4lpBFc1bVUAqVhQYlKjpIUsqp280FIzDnjZK1pDHYPxQZCJSQYvyXzMfN/1GJaiT7tggYaMHMIorH+msAQ==","signature_status":"signed_v1","signed_at":"2026-06-23T02:13:21.534199Z","signed_message":"canonical_sha256_bytes"},"source_id":"2602.23865","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0f3b35184f962839f80cb88ab94652cefdd6e3cb97cbb24eb238e716dd909c4a","sha256:00602d4a9c5f769a253cff9c29b91be28d6680bc69804627f0f050abb1220cc8"],"state_sha256":"063ab809bf943bb35adbcb38250f3093fec71d3a89c4e4fd7f7ce2fd401dd7c1"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mKQ8hWFex39XC5l/IDp5QQM0aTPb+r0bZK2PJeB7CBmvlVjIN3A+BKtt1c4JbH3+FHT687C1H/d/6Nx4C8NkDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-20T08:58:03.516456Z","bundle_sha256":"d4f0040f7530c301d574fa020a20e796362dd7b8ef478a8137b03e58d6fc4ad7"}}