{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2006:O3UEAZZGXUJ2MINUM4C5GCLHXE","short_pith_number":"pith:O3UEAZZG","canonical_record":{"source":{"id":"math/0605034","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"math.LO","submitted_at":"2006-05-01T11:11:45Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"d68ecfc709d227c9266b3328593be3c4aa750ab7549d2d0e6a60d9df790e18f9","abstract_canon_sha256":"61ccb62ce87bdbf7c00493c6d605c26d983a284cf84e13291dd5739ed32d32c8"},"schema_version":"1.0"},"canonical_sha256":"76e8406726bd13a621b46705d30967b90171aa526881d35a17bf14ee50b148aa","source":{"kind":"arxiv","id":"math/0605034","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0605034","created_at":"2026-05-18T04:38:37Z"},{"alias_kind":"arxiv_version","alias_value":"math/0605034v2","created_at":"2026-05-18T04:38:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0605034","created_at":"2026-05-18T04:38:37Z"},{"alias_kind":"pith_short_12","alias_value":"O3UEAZZGXUJ2","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_16","alias_value":"O3UEAZZGXUJ2MINU","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_8","alias_value":"O3UEAZZG","created_at":"2026-05-18T12:25:54Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2006:O3UEAZZGXUJ2MINUM4C5GCLHXE","target":"record","payload":{"canonical_record":{"source":{"id":"math/0605034","kind":"arxiv","version":2},"metadata":{"license":"","primary_cat":"math.LO","submitted_at":"2006-05-01T11:11:45Z","cross_cats_sorted":["math.CT"],"title_canon_sha256":"d68ecfc709d227c9266b3328593be3c4aa750ab7549d2d0e6a60d9df790e18f9","abstract_canon_sha256":"61ccb62ce87bdbf7c00493c6d605c26d983a284cf84e13291dd5739ed32d32c8"},"schema_version":"1.0"},"canonical_sha256":"76e8406726bd13a621b46705d30967b90171aa526881d35a17bf14ee50b148aa","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:38:37.519125Z","signature_b64":"kopO4/JDzLwoTQdqX32AR/2fTcai5Fz5IPz46uW3Df0ZEzuRRjIaUJ2g9BP3jL40X7aGGuDbB1SXqxeHlBKmDA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"76e8406726bd13a621b46705d30967b90171aa526881d35a17bf14ee50b148aa","last_reissued_at":"2026-05-18T04:38:37.518427Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:38:37.518427Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"math/0605034","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:38:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hsVwnOFn5RPSs4gn34ByNpyO67qHaFE6OwBCcmnaJ211ywryqIOR7Adew9ETHQSa5t5jq7zkNMaN/JRfjtaIAA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T23:18:39.619060Z"},"content_sha256":"ffc9f35c88a3e4c42f631523458546ef2828e0587e822668df5a527aef142609","schema_version":"1.0","event_id":"sha256:ffc9f35c88a3e4c42f631523458546ef2828e0587e822668df5a527aef142609"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2006:O3UEAZZGXUJ2MINUM4C5GCLHXE","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Restricted exchange, braidings and the monoidal centre","license":"","headline":"","cross_cats":["math.CT"],"primary_cat":"math.LO","authors_text":"Craig A. Pastro, Jonathan A. Cohen","submitted_at":"2006-05-01T11:11:45Z","abstract_excerpt":"Braided monoidal categories arise naturally as centres of monoidal categories and have been the focus of much recent attention in both mathematics and physics. By suitably restricting the use of the exchange rule, we obtain a sequent calculus whose categorical semantics may be seen as freely constructing the centre of a monoidal category. This calculus is shown to admit a strongly normalising and confluent cut elimination procedure. The resulting logic fits neatly into the landscape of noncommutative logics and is distinguished by possessing a particularly perspicuous semantics."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0605034","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:38:37Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"oz8L0wWVtTuCIO8XzyHL1UXNLbLEzilgd/lFyz6oB6BvLJxUCZVxCVGpuMtIRo9H0INs/YeIhpyk81Bowm+2BA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-24T23:18:39.619399Z"},"content_sha256":"7cf491ba1a8c2c401a344e3b2c5e37fd9d925705f58c42980c17efa67bcbdfcf","schema_version":"1.0","event_id":"sha256:7cf491ba1a8c2c401a344e3b2c5e37fd9d925705f58c42980c17efa67bcbdfcf"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/O3UEAZZGXUJ2MINUM4C5GCLHXE/bundle.json","state_url":"https://pith.science/pith/O3UEAZZGXUJ2MINUM4C5GCLHXE/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/O3UEAZZGXUJ2MINUM4C5GCLHXE/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-24T23:18:39Z","links":{"resolver":"https://pith.science/pith/O3UEAZZGXUJ2MINUM4C5GCLHXE","bundle":"https://pith.science/pith/O3UEAZZGXUJ2MINUM4C5GCLHXE/bundle.json","state":"https://pith.science/pith/O3UEAZZGXUJ2MINUM4C5GCLHXE/state.json","well_known_bundle":"https://pith.science/.well-known/pith/O3UEAZZGXUJ2MINUM4C5GCLHXE/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2006:O3UEAZZGXUJ2MINUM4C5GCLHXE","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":"61ccb62ce87bdbf7c00493c6d605c26d983a284cf84e13291dd5739ed32d32c8","cross_cats_sorted":["math.CT"],"license":"","primary_cat":"math.LO","submitted_at":"2006-05-01T11:11:45Z","title_canon_sha256":"d68ecfc709d227c9266b3328593be3c4aa750ab7549d2d0e6a60d9df790e18f9"},"schema_version":"1.0","source":{"id":"math/0605034","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"math/0605034","created_at":"2026-05-18T04:38:37Z"},{"alias_kind":"arxiv_version","alias_value":"math/0605034v2","created_at":"2026-05-18T04:38:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.math/0605034","created_at":"2026-05-18T04:38:37Z"},{"alias_kind":"pith_short_12","alias_value":"O3UEAZZGXUJ2","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_16","alias_value":"O3UEAZZGXUJ2MINU","created_at":"2026-05-18T12:25:54Z"},{"alias_kind":"pith_short_8","alias_value":"O3UEAZZG","created_at":"2026-05-18T12:25:54Z"}],"graph_snapshots":[{"event_id":"sha256:7cf491ba1a8c2c401a344e3b2c5e37fd9d925705f58c42980c17efa67bcbdfcf","target":"graph","created_at":"2026-05-18T04:38:37Z","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":"Braided monoidal categories arise naturally as centres of monoidal categories and have been the focus of much recent attention in both mathematics and physics. By suitably restricting the use of the exchange rule, we obtain a sequent calculus whose categorical semantics may be seen as freely constructing the centre of a monoidal category. This calculus is shown to admit a strongly normalising and confluent cut elimination procedure. The resulting logic fits neatly into the landscape of noncommutative logics and is distinguished by possessing a particularly perspicuous semantics.","authors_text":"Craig A. Pastro, Jonathan A. Cohen","cross_cats":["math.CT"],"headline":"","license":"","primary_cat":"math.LO","submitted_at":"2006-05-01T11:11:45Z","title":"Restricted exchange, braidings and the monoidal centre"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"math/0605034","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:ffc9f35c88a3e4c42f631523458546ef2828e0587e822668df5a527aef142609","target":"record","created_at":"2026-05-18T04:38:37Z","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":"61ccb62ce87bdbf7c00493c6d605c26d983a284cf84e13291dd5739ed32d32c8","cross_cats_sorted":["math.CT"],"license":"","primary_cat":"math.LO","submitted_at":"2006-05-01T11:11:45Z","title_canon_sha256":"d68ecfc709d227c9266b3328593be3c4aa750ab7549d2d0e6a60d9df790e18f9"},"schema_version":"1.0","source":{"id":"math/0605034","kind":"arxiv","version":2}},"canonical_sha256":"76e8406726bd13a621b46705d30967b90171aa526881d35a17bf14ee50b148aa","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"76e8406726bd13a621b46705d30967b90171aa526881d35a17bf14ee50b148aa","first_computed_at":"2026-05-18T04:38:37.518427Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:38:37.518427Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"kopO4/JDzLwoTQdqX32AR/2fTcai5Fz5IPz46uW3Df0ZEzuRRjIaUJ2g9BP3jL40X7aGGuDbB1SXqxeHlBKmDA==","signature_status":"signed_v1","signed_at":"2026-05-18T04:38:37.519125Z","signed_message":"canonical_sha256_bytes"},"source_id":"math/0605034","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ffc9f35c88a3e4c42f631523458546ef2828e0587e822668df5a527aef142609","sha256:7cf491ba1a8c2c401a344e3b2c5e37fd9d925705f58c42980c17efa67bcbdfcf"],"state_sha256":"a0643457761f7629df75dfa213732beccd8b5a60d7631b03596a3c82378f056a"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"xKatEM1XPRv1/sx3cwHJ9pnDyHEqN50WDv8a4ZMXxWXqjf+K9D/YqfQzGRv/wyHu9RXW03NgJjgUqDKBxN9PCw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-24T23:18:39.621252Z","bundle_sha256":"405ff1418302279c1544f9323b53af3a100d76a479f253b40c5ad7f4c73c61e7"}}