{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2016:ODJLL4EDI4VN6CNMI5QRWUR5JD","short_pith_number":"pith:ODJLL4ED","canonical_record":{"source":{"id":"1602.06771","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-02-22T13:43:35Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"6f6a5c940007309a0eaefb43c32dd5d97db5c7b383ccae6504d06b001554db17","abstract_canon_sha256":"d117323057020af5ba4c25d9a1e1317e5a50eac160c996491247bee4e9b1813d"},"schema_version":"1.0"},"canonical_sha256":"70d2b5f083472adf09ac47611b523d48d7bcd966faf57eafa23e9a8e9fe01221","source":{"kind":"arxiv","id":"1602.06771","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.06771","created_at":"2026-05-18T00:56:12Z"},{"alias_kind":"arxiv_version","alias_value":"1602.06771v2","created_at":"2026-05-18T00:56:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.06771","created_at":"2026-05-18T00:56:12Z"},{"alias_kind":"pith_short_12","alias_value":"ODJLL4EDI4VN","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"ODJLL4EDI4VN6CNM","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"ODJLL4ED","created_at":"2026-05-18T12:30:36Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2016:ODJLL4EDI4VN6CNMI5QRWUR5JD","target":"record","payload":{"canonical_record":{"source":{"id":"1602.06771","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-02-22T13:43:35Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"6f6a5c940007309a0eaefb43c32dd5d97db5c7b383ccae6504d06b001554db17","abstract_canon_sha256":"d117323057020af5ba4c25d9a1e1317e5a50eac160c996491247bee4e9b1813d"},"schema_version":"1.0"},"canonical_sha256":"70d2b5f083472adf09ac47611b523d48d7bcd966faf57eafa23e9a8e9fe01221","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:56:12.265310Z","signature_b64":"0TjF616tNruhUnUl9LaiMyXUr+qpUZEmsFPCrDysWGnRs02uqAOqwC6EWIqI32C808chPY8Y+7QTFTQbo/B7DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"70d2b5f083472adf09ac47611b523d48d7bcd966faf57eafa23e9a8e9fe01221","last_reissued_at":"2026-05-18T00:56:12.264914Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:56:12.264914Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1602.06771","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-18T00:56:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l4XkvsjGFUBsfhkw+4IOAoUZ5NoBKXegEF7EEXDnWxfomqjpkOSkF9Ra2aDhYZl9CEz35rKVyQZ3NFsjvyH8Cg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T03:37:13.445051Z"},"content_sha256":"4468200747e5c49142cb48206ff3422625fc1f2fc04066d453c3662d5cf0e178","schema_version":"1.0","event_id":"sha256:4468200747e5c49142cb48206ff3422625fc1f2fc04066d453c3662d5cf0e178"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2016:ODJLL4EDI4VN6CNMI5QRWUR5JD","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Rewriting modulo symmetric monoidal structure","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.CT","authors_text":"Aleks Kissinger, Fabio Gadducci, Fabio Zanasi, Filippo Bonchi, Pawel Sobocinski","submitted_at":"2016-02-22T13:43:35Z","abstract_excerpt":"String diagrams are a powerful and intuitive graphical syntax for terms of symmetric monoidal categories (SMCs). They find many applications in computer science and are becoming increasingly relevant in other fields such as physics and control theory.\n  An important role in many such approaches is played by equational theories of diagrams, typically oriented and applied as rewrite rules. This paper lays a comprehensive foundation of this form of rewriting. We interpret diagrams combinatorially as typed hypergraphs and establish the precise correspondence between diagram rewriting modulo the la"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.06771","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-18T00:56:12Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"pjQ//r4mqkgUehDk91cF8htqo1cx6pGPJC37/4BGgjBTym5Nijb1o02DyyUj3lbpF/3oeF1DWv5IAA5tTU8nAw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T03:37:13.445746Z"},"content_sha256":"2a8757e631d35a4021552ac652d90bfe96de3a1865f4f38049f2944102315dd7","schema_version":"1.0","event_id":"sha256:2a8757e631d35a4021552ac652d90bfe96de3a1865f4f38049f2944102315dd7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/ODJLL4EDI4VN6CNMI5QRWUR5JD/bundle.json","state_url":"https://pith.science/pith/ODJLL4EDI4VN6CNMI5QRWUR5JD/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/ODJLL4EDI4VN6CNMI5QRWUR5JD/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-25T03:37:13Z","links":{"resolver":"https://pith.science/pith/ODJLL4EDI4VN6CNMI5QRWUR5JD","bundle":"https://pith.science/pith/ODJLL4EDI4VN6CNMI5QRWUR5JD/bundle.json","state":"https://pith.science/pith/ODJLL4EDI4VN6CNMI5QRWUR5JD/state.json","well_known_bundle":"https://pith.science/.well-known/pith/ODJLL4EDI4VN6CNMI5QRWUR5JD/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:ODJLL4EDI4VN6CNMI5QRWUR5JD","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":"d117323057020af5ba4c25d9a1e1317e5a50eac160c996491247bee4e9b1813d","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-02-22T13:43:35Z","title_canon_sha256":"6f6a5c940007309a0eaefb43c32dd5d97db5c7b383ccae6504d06b001554db17"},"schema_version":"1.0","source":{"id":"1602.06771","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.06771","created_at":"2026-05-18T00:56:12Z"},{"alias_kind":"arxiv_version","alias_value":"1602.06771v2","created_at":"2026-05-18T00:56:12Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.06771","created_at":"2026-05-18T00:56:12Z"},{"alias_kind":"pith_short_12","alias_value":"ODJLL4EDI4VN","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"ODJLL4EDI4VN6CNM","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"ODJLL4ED","created_at":"2026-05-18T12:30:36Z"}],"graph_snapshots":[{"event_id":"sha256:2a8757e631d35a4021552ac652d90bfe96de3a1865f4f38049f2944102315dd7","target":"graph","created_at":"2026-05-18T00:56:12Z","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":"String diagrams are a powerful and intuitive graphical syntax for terms of symmetric monoidal categories (SMCs). They find many applications in computer science and are becoming increasingly relevant in other fields such as physics and control theory.\n  An important role in many such approaches is played by equational theories of diagrams, typically oriented and applied as rewrite rules. This paper lays a comprehensive foundation of this form of rewriting. We interpret diagrams combinatorially as typed hypergraphs and establish the precise correspondence between diagram rewriting modulo the la","authors_text":"Aleks Kissinger, Fabio Gadducci, Fabio Zanasi, Filippo Bonchi, Pawel Sobocinski","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-02-22T13:43:35Z","title":"Rewriting modulo symmetric monoidal structure"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.06771","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:4468200747e5c49142cb48206ff3422625fc1f2fc04066d453c3662d5cf0e178","target":"record","created_at":"2026-05-18T00:56:12Z","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":"d117323057020af5ba4c25d9a1e1317e5a50eac160c996491247bee4e9b1813d","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2016-02-22T13:43:35Z","title_canon_sha256":"6f6a5c940007309a0eaefb43c32dd5d97db5c7b383ccae6504d06b001554db17"},"schema_version":"1.0","source":{"id":"1602.06771","kind":"arxiv","version":2}},"canonical_sha256":"70d2b5f083472adf09ac47611b523d48d7bcd966faf57eafa23e9a8e9fe01221","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"70d2b5f083472adf09ac47611b523d48d7bcd966faf57eafa23e9a8e9fe01221","first_computed_at":"2026-05-18T00:56:12.264914Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:56:12.264914Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"0TjF616tNruhUnUl9LaiMyXUr+qpUZEmsFPCrDysWGnRs02uqAOqwC6EWIqI32C808chPY8Y+7QTFTQbo/B7DQ==","signature_status":"signed_v1","signed_at":"2026-05-18T00:56:12.265310Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.06771","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4468200747e5c49142cb48206ff3422625fc1f2fc04066d453c3662d5cf0e178","sha256:2a8757e631d35a4021552ac652d90bfe96de3a1865f4f38049f2944102315dd7"],"state_sha256":"6d5103e61996e955addbc267ec544b20b6b522d12928e89305a37550c6c4d33c"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"FypSHjVXDhKFoMGd5kbhis33Wmm0mOo97oKjBkj6DufPTdVv3i8Mkj782KE9TksGEPIL0YBYfoNsPuz9IhV0Bg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T03:37:13.448921Z","bundle_sha256":"eb745a440c4a2c9d30491eb3c3e3ceca4a6e6d869ee4ff90bd1384afbcf9cd6e"}}