{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2013:7WS2QBIOLOPGWRFY3KBWSJTHX6","short_pith_number":"pith:7WS2QBIO","canonical_record":{"source":{"id":"1302.5652","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2013-02-22T17:26:46Z","cross_cats_sorted":[],"title_canon_sha256":"ee4fef548ae20366fc816b7bf0161b8c77b08adeca4537d8038b82b246f25a94","abstract_canon_sha256":"7a970148bfe920c5cc3460a40eea44cc84b0b73259f4190549b8c70e1dc99b5e"},"schema_version":"1.0"},"canonical_sha256":"fda5a8050e5b9e6b44b8da83692667bf8dd931305dab45cf12e1b83e4d0f864a","source":{"kind":"arxiv","id":"1302.5652","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.5652","created_at":"2026-05-18T03:19:13Z"},{"alias_kind":"arxiv_version","alias_value":"1302.5652v1","created_at":"2026-05-18T03:19:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.5652","created_at":"2026-05-18T03:19:13Z"},{"alias_kind":"pith_short_12","alias_value":"7WS2QBIOLOPG","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"7WS2QBIOLOPGWRFY","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"7WS2QBIO","created_at":"2026-05-18T12:27:38Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2013:7WS2QBIOLOPGWRFY3KBWSJTHX6","target":"record","payload":{"canonical_record":{"source":{"id":"1302.5652","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2013-02-22T17:26:46Z","cross_cats_sorted":[],"title_canon_sha256":"ee4fef548ae20366fc816b7bf0161b8c77b08adeca4537d8038b82b246f25a94","abstract_canon_sha256":"7a970148bfe920c5cc3460a40eea44cc84b0b73259f4190549b8c70e1dc99b5e"},"schema_version":"1.0"},"canonical_sha256":"fda5a8050e5b9e6b44b8da83692667bf8dd931305dab45cf12e1b83e4d0f864a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T03:19:13.144123Z","signature_b64":"NPebgWwiKQWQz8qol9mlDNNLdGos3KOW9/VTCZed0fNjB+BgmbBx98SiCUKHphhU0N59MkMrSfmTdh3MdTQxBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"fda5a8050e5b9e6b44b8da83692667bf8dd931305dab45cf12e1b83e4d0f864a","last_reissued_at":"2026-05-18T03:19:13.143695Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T03:19:13.143695Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1302.5652","source_version":1,"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-18T03:19:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"E2ApLHJ1DxgFDFA5kY9HzO1y4zrr378nIV4o+V9D3+J9GVz3rVkV3clhDjMnG7yequB6t1sg8A+6lZIuYfwVAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T18:28:19.948496Z"},"content_sha256":"f2cfb1bea93662087ad0fcf71b694eaba5f3826fcbae3e9d198891cc9c3edb9e","schema_version":"1.0","event_id":"sha256:f2cfb1bea93662087ad0fcf71b694eaba5f3826fcbae3e9d198891cc9c3edb9e"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2013:7WS2QBIOLOPGWRFY3KBWSJTHX6","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Presheaf models of quantum computation: an outline","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"math.CT","authors_text":"Octavio Malherbe, Peter Selinger, Philip Scott","submitted_at":"2013-02-22T17:26:46Z","abstract_excerpt":"This paper outlines the construction of categorical models of higher-order quantum computation. We construct a concrete denotational semantics of Selinger and Valiron's quantum lambda calculus, which was previously an open problem. We do this by considering presheaves over appropriate base categories arising from first-order quantum computation. The main technical ingredients are Day's convolution theory and Kelly and Freyd's notion of continuity of functors. We first give an abstract description of the properties required of the base categories for the model construction to work. We then exhi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.5652","kind":"arxiv","version":1},"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-18T03:19:13Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"t2swiSQEK54HgMma5+3h31ROAxYzQn2eZVLRumznLVjTQOPhzNVpqvRM2DK2JY4TXCYGW2pZ2xU7q8YX5Z9zCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-20T18:28:19.948846Z"},"content_sha256":"bad834981522ed07cccd140c7696742c0b02d2fe187c25fae12c27cfe8dbfc0c","schema_version":"1.0","event_id":"sha256:bad834981522ed07cccd140c7696742c0b02d2fe187c25fae12c27cfe8dbfc0c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/7WS2QBIOLOPGWRFY3KBWSJTHX6/bundle.json","state_url":"https://pith.science/pith/7WS2QBIOLOPGWRFY3KBWSJTHX6/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/7WS2QBIOLOPGWRFY3KBWSJTHX6/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-20T18:28:19Z","links":{"resolver":"https://pith.science/pith/7WS2QBIOLOPGWRFY3KBWSJTHX6","bundle":"https://pith.science/pith/7WS2QBIOLOPGWRFY3KBWSJTHX6/bundle.json","state":"https://pith.science/pith/7WS2QBIOLOPGWRFY3KBWSJTHX6/state.json","well_known_bundle":"https://pith.science/.well-known/pith/7WS2QBIOLOPGWRFY3KBWSJTHX6/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2013:7WS2QBIOLOPGWRFY3KBWSJTHX6","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":"7a970148bfe920c5cc3460a40eea44cc84b0b73259f4190549b8c70e1dc99b5e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2013-02-22T17:26:46Z","title_canon_sha256":"ee4fef548ae20366fc816b7bf0161b8c77b08adeca4537d8038b82b246f25a94"},"schema_version":"1.0","source":{"id":"1302.5652","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1302.5652","created_at":"2026-05-18T03:19:13Z"},{"alias_kind":"arxiv_version","alias_value":"1302.5652v1","created_at":"2026-05-18T03:19:13Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1302.5652","created_at":"2026-05-18T03:19:13Z"},{"alias_kind":"pith_short_12","alias_value":"7WS2QBIOLOPG","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_16","alias_value":"7WS2QBIOLOPGWRFY","created_at":"2026-05-18T12:27:38Z"},{"alias_kind":"pith_short_8","alias_value":"7WS2QBIO","created_at":"2026-05-18T12:27:38Z"}],"graph_snapshots":[{"event_id":"sha256:bad834981522ed07cccd140c7696742c0b02d2fe187c25fae12c27cfe8dbfc0c","target":"graph","created_at":"2026-05-18T03:19:13Z","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":"This paper outlines the construction of categorical models of higher-order quantum computation. We construct a concrete denotational semantics of Selinger and Valiron's quantum lambda calculus, which was previously an open problem. We do this by considering presheaves over appropriate base categories arising from first-order quantum computation. The main technical ingredients are Day's convolution theory and Kelly and Freyd's notion of continuity of functors. We first give an abstract description of the properties required of the base categories for the model construction to work. We then exhi","authors_text":"Octavio Malherbe, Peter Selinger, Philip Scott","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2013-02-22T17:26:46Z","title":"Presheaf models of quantum computation: an outline"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1302.5652","kind":"arxiv","version":1},"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:f2cfb1bea93662087ad0fcf71b694eaba5f3826fcbae3e9d198891cc9c3edb9e","target":"record","created_at":"2026-05-18T03:19:13Z","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":"7a970148bfe920c5cc3460a40eea44cc84b0b73259f4190549b8c70e1dc99b5e","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2013-02-22T17:26:46Z","title_canon_sha256":"ee4fef548ae20366fc816b7bf0161b8c77b08adeca4537d8038b82b246f25a94"},"schema_version":"1.0","source":{"id":"1302.5652","kind":"arxiv","version":1}},"canonical_sha256":"fda5a8050e5b9e6b44b8da83692667bf8dd931305dab45cf12e1b83e4d0f864a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fda5a8050e5b9e6b44b8da83692667bf8dd931305dab45cf12e1b83e4d0f864a","first_computed_at":"2026-05-18T03:19:13.143695Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T03:19:13.143695Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"NPebgWwiKQWQz8qol9mlDNNLdGos3KOW9/VTCZed0fNjB+BgmbBx98SiCUKHphhU0N59MkMrSfmTdh3MdTQxBA==","signature_status":"signed_v1","signed_at":"2026-05-18T03:19:13.144123Z","signed_message":"canonical_sha256_bytes"},"source_id":"1302.5652","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:f2cfb1bea93662087ad0fcf71b694eaba5f3826fcbae3e9d198891cc9c3edb9e","sha256:bad834981522ed07cccd140c7696742c0b02d2fe187c25fae12c27cfe8dbfc0c"],"state_sha256":"5f91081b2c7707ebdba4f1bc721a7b1bc64f0251ee343472c278bf648fe63f7a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"y48eyZrahixRSFVS2bIbpVv6LUgQvFqWWtgEKGBrtDjT+UN5RpTOP5xhe0QXkL+WaU2iwE6fNPDwxmvAzkePAw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-20T18:28:19.950871Z","bundle_sha256":"f770a15ae58f8141c799eb96bc9040c7b611491c59d8995f907cd7f812aef351"}}