{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2011:WHCTLI6AOJENI5TOP4K75EIWRL","short_pith_number":"pith:WHCTLI6A","canonical_record":{"source":{"id":"1101.3417","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-18T10:37:37Z","cross_cats_sorted":[],"title_canon_sha256":"6315f940b451c97c70cdf27b91d6f1812ba1f2426370a0974b06e86c9b5455ee","abstract_canon_sha256":"7374dc1cf85b177cc4f6c1a3671207a3becb8341f733358fbe521bf4f996f087"},"schema_version":"1.0"},"canonical_sha256":"b1c535a3c07248d4766e7f15fe91168ad831c49bd717f38015f13e35dbf484db","source":{"kind":"arxiv","id":"1101.3417","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.3417","created_at":"2026-05-18T04:21:00Z"},{"alias_kind":"arxiv_version","alias_value":"1101.3417v3","created_at":"2026-05-18T04:21:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.3417","created_at":"2026-05-18T04:21:00Z"},{"alias_kind":"pith_short_12","alias_value":"WHCTLI6AOJEN","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"WHCTLI6AOJENI5TO","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"WHCTLI6A","created_at":"2026-05-18T12:26:44Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2011:WHCTLI6AOJENI5TOP4K75EIWRL","target":"record","payload":{"canonical_record":{"source":{"id":"1101.3417","kind":"arxiv","version":3},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-18T10:37:37Z","cross_cats_sorted":[],"title_canon_sha256":"6315f940b451c97c70cdf27b91d6f1812ba1f2426370a0974b06e86c9b5455ee","abstract_canon_sha256":"7374dc1cf85b177cc4f6c1a3671207a3becb8341f733358fbe521bf4f996f087"},"schema_version":"1.0"},"canonical_sha256":"b1c535a3c07248d4766e7f15fe91168ad831c49bd717f38015f13e35dbf484db","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T04:21:00.458870Z","signature_b64":"wgsH3eT79S0ucc9Jav2K9JsG4i0LZT0uUqZ7xVTcvsmvdgsYu4XnFNq5ggPrztE17CAnk80XJc+U8G5fkEB9Ag==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b1c535a3c07248d4766e7f15fe91168ad831c49bd717f38015f13e35dbf484db","last_reissued_at":"2026-05-18T04:21:00.458177Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T04:21:00.458177Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1101.3417","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-05-18T04:21:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Dy7u04UClLNSSXtkQ137P0HOCopk/JOeLSGf2yLTTYHtxMKYupPpxKkwkoR2K0qYdAgPmHBj2MT7xrF1VSVRCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T23:18:49.796984Z"},"content_sha256":"0432c73fffd603a84a91f8c585003bd0f293a4c89490c4931335dd1939961556","schema_version":"1.0","event_id":"sha256:0432c73fffd603a84a91f8c585003bd0f293a4c89490c4931335dd1939961556"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2011:WHCTLI6AOJENI5TOP4K75EIWRL","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Dominique Duval, Fr\\'ed\\'eric Prost, Rachid Echahed","submitted_at":"2011-01-18T10:37:37Z","abstract_excerpt":"Rewriting systems are often defined as binary relations over a given set of objects. This simple definition is used to describe various properties of rewriting such as termination, confluence, normal forms etc. In this paper, we introduce a new notion of abstract rewriting in the framework of categories. Then, we define the functoriality property of rewriting systems. This property is sometimes called vertical composition. We show that most of graph transformation systems are functorial and provide a counter-example of graph transformation systems which is not functorial."},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.3417","kind":"arxiv","version":3},"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:21:00Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"kqhy9ddf/DI1qoS45EWvCsPTf9rR8SHUrfQr4dl6qikXrTFu8vsR49VccUXHnHjnGU2/KknIkZTzGjV+hi/8Aw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-21T23:18:49.797345Z"},"content_sha256":"239adac2b682cc10bbe59e017f4c612399bf00b31aaf49049325aa67242b34d7","schema_version":"1.0","event_id":"sha256:239adac2b682cc10bbe59e017f4c612399bf00b31aaf49049325aa67242b34d7"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/WHCTLI6AOJENI5TOP4K75EIWRL/bundle.json","state_url":"https://pith.science/pith/WHCTLI6AOJENI5TOP4K75EIWRL/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/WHCTLI6AOJENI5TOP4K75EIWRL/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-21T23:18:49Z","links":{"resolver":"https://pith.science/pith/WHCTLI6AOJENI5TOP4K75EIWRL","bundle":"https://pith.science/pith/WHCTLI6AOJENI5TOP4K75EIWRL/bundle.json","state":"https://pith.science/pith/WHCTLI6AOJENI5TOP4K75EIWRL/state.json","well_known_bundle":"https://pith.science/.well-known/pith/WHCTLI6AOJENI5TOP4K75EIWRL/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2011:WHCTLI6AOJENI5TOP4K75EIWRL","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":"7374dc1cf85b177cc4f6c1a3671207a3becb8341f733358fbe521bf4f996f087","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-18T10:37:37Z","title_canon_sha256":"6315f940b451c97c70cdf27b91d6f1812ba1f2426370a0974b06e86c9b5455ee"},"schema_version":"1.0","source":{"id":"1101.3417","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1101.3417","created_at":"2026-05-18T04:21:00Z"},{"alias_kind":"arxiv_version","alias_value":"1101.3417v3","created_at":"2026-05-18T04:21:00Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1101.3417","created_at":"2026-05-18T04:21:00Z"},{"alias_kind":"pith_short_12","alias_value":"WHCTLI6AOJEN","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_16","alias_value":"WHCTLI6AOJENI5TO","created_at":"2026-05-18T12:26:44Z"},{"alias_kind":"pith_short_8","alias_value":"WHCTLI6A","created_at":"2026-05-18T12:26:44Z"}],"graph_snapshots":[{"event_id":"sha256:239adac2b682cc10bbe59e017f4c612399bf00b31aaf49049325aa67242b34d7","target":"graph","created_at":"2026-05-18T04:21:00Z","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":"Rewriting systems are often defined as binary relations over a given set of objects. This simple definition is used to describe various properties of rewriting such as termination, confluence, normal forms etc. In this paper, we introduce a new notion of abstract rewriting in the framework of categories. Then, we define the functoriality property of rewriting systems. This property is sometimes called vertical composition. We show that most of graph transformation systems are functorial and provide a counter-example of graph transformation systems which is not functorial.","authors_text":"Dominique Duval, Fr\\'ed\\'eric Prost, Rachid Echahed","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-18T10:37:37Z","title":"Categorical Abstract Rewriting Systems and Functoriality of Graph Transformation"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1101.3417","kind":"arxiv","version":3},"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:0432c73fffd603a84a91f8c585003bd0f293a4c89490c4931335dd1939961556","target":"record","created_at":"2026-05-18T04:21:00Z","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":"7374dc1cf85b177cc4f6c1a3671207a3becb8341f733358fbe521bf4f996f087","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2011-01-18T10:37:37Z","title_canon_sha256":"6315f940b451c97c70cdf27b91d6f1812ba1f2426370a0974b06e86c9b5455ee"},"schema_version":"1.0","source":{"id":"1101.3417","kind":"arxiv","version":3}},"canonical_sha256":"b1c535a3c07248d4766e7f15fe91168ad831c49bd717f38015f13e35dbf484db","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"b1c535a3c07248d4766e7f15fe91168ad831c49bd717f38015f13e35dbf484db","first_computed_at":"2026-05-18T04:21:00.458177Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T04:21:00.458177Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wgsH3eT79S0ucc9Jav2K9JsG4i0LZT0uUqZ7xVTcvsmvdgsYu4XnFNq5ggPrztE17CAnk80XJc+U8G5fkEB9Ag==","signature_status":"signed_v1","signed_at":"2026-05-18T04:21:00.458870Z","signed_message":"canonical_sha256_bytes"},"source_id":"1101.3417","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:0432c73fffd603a84a91f8c585003bd0f293a4c89490c4931335dd1939961556","sha256:239adac2b682cc10bbe59e017f4c612399bf00b31aaf49049325aa67242b34d7"],"state_sha256":"0e01ba12b80a8d02c8d662f2145e672a9271b94333b5f21e840c156dbbddc484"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"qmRM/2cAV0MPjRwHh5KqrrpYYJKkzX/qpcot2vCP0UTTB5ZE5xB6vPMMqZJfFPQJWFW0sGeL7aC76YU26dPODg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-21T23:18:49.799283Z","bundle_sha256":"9e7235375683986ea882559d0066815869dccb96cb4c2b66794dded54f64e42b"}}