{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2019:3SIJ23FVBN64FDUCL2CARLYGLO","short_pith_number":"pith:3SIJ23FV","canonical_record":{"source":{"id":"1902.00032","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2019-01-31T19:00:52Z","cross_cats_sorted":[],"title_canon_sha256":"ec30a2c0e6119feb641470b89351c02b9dcad0747031d36cba439c7b856e941a","abstract_canon_sha256":"b656716b171659ed7c9b08113b3ab793a1c2d79d4007c9d1f18eae412e056bd8"},"schema_version":"1.0"},"canonical_sha256":"dc909d6cb50b7dc28e825e8408af065b8692adeed342c253bfd2e8734c71a0fe","source":{"kind":"arxiv","id":"1902.00032","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.00032","created_at":"2026-05-17T23:54:58Z"},{"alias_kind":"arxiv_version","alias_value":"1902.00032v1","created_at":"2026-05-17T23:54:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.00032","created_at":"2026-05-17T23:54:58Z"},{"alias_kind":"pith_short_12","alias_value":"3SIJ23FVBN64","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"3SIJ23FVBN64FDUC","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"3SIJ23FV","created_at":"2026-05-18T12:33:10Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2019:3SIJ23FVBN64FDUCL2CARLYGLO","target":"record","payload":{"canonical_record":{"source":{"id":"1902.00032","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2019-01-31T19:00:52Z","cross_cats_sorted":[],"title_canon_sha256":"ec30a2c0e6119feb641470b89351c02b9dcad0747031d36cba439c7b856e941a","abstract_canon_sha256":"b656716b171659ed7c9b08113b3ab793a1c2d79d4007c9d1f18eae412e056bd8"},"schema_version":"1.0"},"canonical_sha256":"dc909d6cb50b7dc28e825e8408af065b8692adeed342c253bfd2e8734c71a0fe","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-17T23:54:58.408713Z","signature_b64":"UcGHQ56OD5eOsI+8c59FMAQj/OAKiSBd6Y6rXunZye+bRdkhO0vyZhfqQfPjcI7brmngkjA/7Bye4BGXPjI2AA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"dc909d6cb50b7dc28e825e8408af065b8692adeed342c253bfd2e8734c71a0fe","last_reissued_at":"2026-05-17T23:54:58.408236Z","signature_status":"signed_v1","first_computed_at":"2026-05-17T23:54:58.408236Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1902.00032","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-17T23:54:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GDXENYWmCOLs+z4lrGcQhaLQn3vQ8TPKbTfBJ0qZ8E5PqgzWPypcaPhoMXE0qs8yD3Gw+aAitzXUbkxgOh3DDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T11:49:19.705693Z"},"content_sha256":"b8fdd8d6d78ea81b7cbfa11ebfcf793c8d464ffb20e9e34fa143778b04fdb081","schema_version":"1.0","event_id":"sha256:b8fdd8d6d78ea81b7cbfa11ebfcf793c8d464ffb20e9e34fa143778b04fdb081"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2019:3SIJ23FVBN64FDUCL2CARLYGLO","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Categorical Semantics for Time Travel","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"quant-ph","authors_text":"Bob Coecke, Nicola Pinzani, Stefano Gogioso","submitted_at":"2019-01-31T19:00:52Z","abstract_excerpt":"We introduce a general categorical framework to reason about quantum theory and other process theories living in spacetimes where Closed Timelike Curves (CTCs) are available, allowing resources to travel back in time and provide computational speedups. Our framework is based on a weakening of the definition of traced symmetric monoidal categories, obtained by dropping the yanking axiom and the requirement that the trace be defined on all morphisms. We show that the two leading models for quantum theory with closed timelike curves---namely the P-CTC model of Lloyd et al. and the D-CTC model of "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.00032","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-17T23:54:58Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"zf+zvLEz3bvDsURvIaEx5pkGRgRXLUII3BFJie3SLTfYgd+qoJhs2hWqRnh9XkdV4g/KCoImxQ6CvgL1cKbLAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-21T11:49:19.706041Z"},"content_sha256":"1ef3bf8fc2b9e24f48b2816c2f5dfa0999ff986844271aca4a0e3bd733f406c5","schema_version":"1.0","event_id":"sha256:1ef3bf8fc2b9e24f48b2816c2f5dfa0999ff986844271aca4a0e3bd733f406c5"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/3SIJ23FVBN64FDUCL2CARLYGLO/bundle.json","state_url":"https://pith.science/pith/3SIJ23FVBN64FDUCL2CARLYGLO/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/3SIJ23FVBN64FDUCL2CARLYGLO/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-05-21T11:49:19Z","links":{"resolver":"https://pith.science/pith/3SIJ23FVBN64FDUCL2CARLYGLO","bundle":"https://pith.science/pith/3SIJ23FVBN64FDUCL2CARLYGLO/bundle.json","state":"https://pith.science/pith/3SIJ23FVBN64FDUCL2CARLYGLO/state.json","well_known_bundle":"https://pith.science/.well-known/pith/3SIJ23FVBN64FDUCL2CARLYGLO/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2019:3SIJ23FVBN64FDUCL2CARLYGLO","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":"b656716b171659ed7c9b08113b3ab793a1c2d79d4007c9d1f18eae412e056bd8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2019-01-31T19:00:52Z","title_canon_sha256":"ec30a2c0e6119feb641470b89351c02b9dcad0747031d36cba439c7b856e941a"},"schema_version":"1.0","source":{"id":"1902.00032","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1902.00032","created_at":"2026-05-17T23:54:58Z"},{"alias_kind":"arxiv_version","alias_value":"1902.00032v1","created_at":"2026-05-17T23:54:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1902.00032","created_at":"2026-05-17T23:54:58Z"},{"alias_kind":"pith_short_12","alias_value":"3SIJ23FVBN64","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_16","alias_value":"3SIJ23FVBN64FDUC","created_at":"2026-05-18T12:33:10Z"},{"alias_kind":"pith_short_8","alias_value":"3SIJ23FV","created_at":"2026-05-18T12:33:10Z"}],"graph_snapshots":[{"event_id":"sha256:1ef3bf8fc2b9e24f48b2816c2f5dfa0999ff986844271aca4a0e3bd733f406c5","target":"graph","created_at":"2026-05-17T23:54:58Z","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":"We introduce a general categorical framework to reason about quantum theory and other process theories living in spacetimes where Closed Timelike Curves (CTCs) are available, allowing resources to travel back in time and provide computational speedups. Our framework is based on a weakening of the definition of traced symmetric monoidal categories, obtained by dropping the yanking axiom and the requirement that the trace be defined on all morphisms. We show that the two leading models for quantum theory with closed timelike curves---namely the P-CTC model of Lloyd et al. and the D-CTC model of ","authors_text":"Bob Coecke, Nicola Pinzani, Stefano Gogioso","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2019-01-31T19:00:52Z","title":"Categorical Semantics for Time Travel"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1902.00032","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:b8fdd8d6d78ea81b7cbfa11ebfcf793c8d464ffb20e9e34fa143778b04fdb081","target":"record","created_at":"2026-05-17T23:54:58Z","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":"b656716b171659ed7c9b08113b3ab793a1c2d79d4007c9d1f18eae412e056bd8","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2019-01-31T19:00:52Z","title_canon_sha256":"ec30a2c0e6119feb641470b89351c02b9dcad0747031d36cba439c7b856e941a"},"schema_version":"1.0","source":{"id":"1902.00032","kind":"arxiv","version":1}},"canonical_sha256":"dc909d6cb50b7dc28e825e8408af065b8692adeed342c253bfd2e8734c71a0fe","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"dc909d6cb50b7dc28e825e8408af065b8692adeed342c253bfd2e8734c71a0fe","first_computed_at":"2026-05-17T23:54:58.408236Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-17T23:54:58.408236Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UcGHQ56OD5eOsI+8c59FMAQj/OAKiSBd6Y6rXunZye+bRdkhO0vyZhfqQfPjcI7brmngkjA/7Bye4BGXPjI2AA==","signature_status":"signed_v1","signed_at":"2026-05-17T23:54:58.408713Z","signed_message":"canonical_sha256_bytes"},"source_id":"1902.00032","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:b8fdd8d6d78ea81b7cbfa11ebfcf793c8d464ffb20e9e34fa143778b04fdb081","sha256:1ef3bf8fc2b9e24f48b2816c2f5dfa0999ff986844271aca4a0e3bd733f406c5"],"state_sha256":"f0658452b3f973ccbad91bc9e74a8c2668d52b059baa33abe591d72dcfb0b2ba"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"56e643XSxpUOa1uFbBAJxWroKVAZK/fwL8RJM1vIE2zfK8WtWRId7EyvBx3vfep6WSg4CckDSCvET6d/6EvsAA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-21T11:49:19.708242Z","bundle_sha256":"48533c8e3f4de07b30786701ca5a58c0d221bbdf6742c3065a7d836fa68e7a07"}}