{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2023:B5UZ4DHXQK6AJTK7OHWFOKHG2A","short_pith_number":"pith:B5UZ4DHX","canonical_record":{"source":{"id":"2312.00429","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2023-12-01T08:52:39Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"93d05311ba59a8e075bb0d9595bc6533aa65170b95dec01d8d9ccfc1effb015e","abstract_canon_sha256":"f90fc46ddc2b2808d307809a4ba408edb2856a66df11138c0888ca1bc2908681"},"schema_version":"1.0"},"canonical_sha256":"0f699e0cf782bc04cd5f71ec5728e6d0193f2d779bbdb65bf3bdad8785b3dc67","source":{"kind":"arxiv","id":"2312.00429","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.00429","created_at":"2026-07-05T12:04:25Z"},{"alias_kind":"arxiv_version","alias_value":"2312.00429v2","created_at":"2026-07-05T12:04:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.00429","created_at":"2026-07-05T12:04:25Z"},{"alias_kind":"pith_short_12","alias_value":"B5UZ4DHXQK6A","created_at":"2026-07-05T12:04:25Z"},{"alias_kind":"pith_short_16","alias_value":"B5UZ4DHXQK6AJTK7","created_at":"2026-07-05T12:04:25Z"},{"alias_kind":"pith_short_8","alias_value":"B5UZ4DHX","created_at":"2026-07-05T12:04:25Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2023:B5UZ4DHXQK6AJTK7OHWFOKHG2A","target":"record","payload":{"canonical_record":{"source":{"id":"2312.00429","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2023-12-01T08:52:39Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"93d05311ba59a8e075bb0d9595bc6533aa65170b95dec01d8d9ccfc1effb015e","abstract_canon_sha256":"f90fc46ddc2b2808d307809a4ba408edb2856a66df11138c0888ca1bc2908681"},"schema_version":"1.0"},"canonical_sha256":"0f699e0cf782bc04cd5f71ec5728e6d0193f2d779bbdb65bf3bdad8785b3dc67","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T12:04:25.864428Z","signature_b64":"qGz5P08JA1nRDjkucSjHG4Gndm1iVxse/2YhHeMRd8zScEGp7EuCDzhRz13kT6nkGmoOsbZBdSEnyN4tbY4gBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"0f699e0cf782bc04cd5f71ec5728e6d0193f2d779bbdb65bf3bdad8785b3dc67","last_reissued_at":"2026-07-05T12:04:25.863898Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T12:04:25.863898Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2312.00429","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-07-05T12:04:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"3sfJmFBSUHnKOYC0Q5AMNQVMoTU7JGGM3W6ihpcGm1IXSCc81Zit2+pW7nxfEpr9ZFjpMEy5dUHPD97NKjv2Dg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T18:04:31.547008Z"},"content_sha256":"098d1054cfd42a4e56bbfc6fa228dadb585405b18c1ce412babd5650c6c726d5","schema_version":"1.0","event_id":"sha256:098d1054cfd42a4e56bbfc6fa228dadb585405b18c1ce412babd5650c6c726d5"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2023:B5UZ4DHXQK6AJTK7OHWFOKHG2A","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Polygraphs: From Rewriting to Higher Categories","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.CT","authors_text":"Albert Burroni, Dimitri Ara, Fran\\c{c}ois M\\'etayer, Philippe Malbos, Samuel Mimram, Yves Guiraud","submitted_at":"2023-12-01T08:52:39Z","abstract_excerpt":"Polygraphs are a higher-dimensional generalization of the notion of directed graph. Based on those as unifying concept, this monograph on polygraphs revisits the theory of rewriting in the context of strict higher categories, adopting the abstract point of view offered by homotopical algebra. The first half explores the theory of polygraphs in low dimensions and its applications to the computation of the coherence of algebraic structures. It is meant to be progressive, with little requirements on the background of the reader, apart from basic category theory, and is illustrated with algorithmi"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.00429","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":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2312.00429/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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-07-05T12:04:25Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"hFWGUUOIgKe/WJeIHgbxTtkvQ2fCk2OqtG/7D82MV4gnvhwYsrKUApGsvys6GIFq7ycdOsyjK8kj+Xqe8sHsBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-18T18:04:31.547780Z"},"content_sha256":"c2fa28ce6b403f41ab071728703684b7c1bddc13057025413bfe334aa83cdf4e","schema_version":"1.0","event_id":"sha256:c2fa28ce6b403f41ab071728703684b7c1bddc13057025413bfe334aa83cdf4e"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/B5UZ4DHXQK6AJTK7OHWFOKHG2A/bundle.json","state_url":"https://pith.science/pith/B5UZ4DHXQK6AJTK7OHWFOKHG2A/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/B5UZ4DHXQK6AJTK7OHWFOKHG2A/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-08-18T18:04:31Z","links":{"resolver":"https://pith.science/pith/B5UZ4DHXQK6AJTK7OHWFOKHG2A","bundle":"https://pith.science/pith/B5UZ4DHXQK6AJTK7OHWFOKHG2A/bundle.json","state":"https://pith.science/pith/B5UZ4DHXQK6AJTK7OHWFOKHG2A/state.json","well_known_bundle":"https://pith.science/.well-known/pith/B5UZ4DHXQK6AJTK7OHWFOKHG2A/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:B5UZ4DHXQK6AJTK7OHWFOKHG2A","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":"f90fc46ddc2b2808d307809a4ba408edb2856a66df11138c0888ca1bc2908681","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2023-12-01T08:52:39Z","title_canon_sha256":"93d05311ba59a8e075bb0d9595bc6533aa65170b95dec01d8d9ccfc1effb015e"},"schema_version":"1.0","source":{"id":"2312.00429","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2312.00429","created_at":"2026-07-05T12:04:25Z"},{"alias_kind":"arxiv_version","alias_value":"2312.00429v2","created_at":"2026-07-05T12:04:25Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2312.00429","created_at":"2026-07-05T12:04:25Z"},{"alias_kind":"pith_short_12","alias_value":"B5UZ4DHXQK6A","created_at":"2026-07-05T12:04:25Z"},{"alias_kind":"pith_short_16","alias_value":"B5UZ4DHXQK6AJTK7","created_at":"2026-07-05T12:04:25Z"},{"alias_kind":"pith_short_8","alias_value":"B5UZ4DHX","created_at":"2026-07-05T12:04:25Z"}],"graph_snapshots":[{"event_id":"sha256:c2fa28ce6b403f41ab071728703684b7c1bddc13057025413bfe334aa83cdf4e","target":"graph","created_at":"2026-07-05T12:04:25Z","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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2312.00429/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"Polygraphs are a higher-dimensional generalization of the notion of directed graph. Based on those as unifying concept, this monograph on polygraphs revisits the theory of rewriting in the context of strict higher categories, adopting the abstract point of view offered by homotopical algebra. The first half explores the theory of polygraphs in low dimensions and its applications to the computation of the coherence of algebraic structures. It is meant to be progressive, with little requirements on the background of the reader, apart from basic category theory, and is illustrated with algorithmi","authors_text":"Albert Burroni, Dimitri Ara, Fran\\c{c}ois M\\'etayer, Philippe Malbos, Samuel Mimram, Yves Guiraud","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2023-12-01T08:52:39Z","title":"Polygraphs: From Rewriting to Higher Categories"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2312.00429","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:098d1054cfd42a4e56bbfc6fa228dadb585405b18c1ce412babd5650c6c726d5","target":"record","created_at":"2026-07-05T12:04:25Z","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":"f90fc46ddc2b2808d307809a4ba408edb2856a66df11138c0888ca1bc2908681","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2023-12-01T08:52:39Z","title_canon_sha256":"93d05311ba59a8e075bb0d9595bc6533aa65170b95dec01d8d9ccfc1effb015e"},"schema_version":"1.0","source":{"id":"2312.00429","kind":"arxiv","version":2}},"canonical_sha256":"0f699e0cf782bc04cd5f71ec5728e6d0193f2d779bbdb65bf3bdad8785b3dc67","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"0f699e0cf782bc04cd5f71ec5728e6d0193f2d779bbdb65bf3bdad8785b3dc67","first_computed_at":"2026-07-05T12:04:25.863898Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T12:04:25.863898Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"qGz5P08JA1nRDjkucSjHG4Gndm1iVxse/2YhHeMRd8zScEGp7EuCDzhRz13kT6nkGmoOsbZBdSEnyN4tbY4gBw==","signature_status":"signed_v1","signed_at":"2026-07-05T12:04:25.864428Z","signed_message":"canonical_sha256_bytes"},"source_id":"2312.00429","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:098d1054cfd42a4e56bbfc6fa228dadb585405b18c1ce412babd5650c6c726d5","sha256:c2fa28ce6b403f41ab071728703684b7c1bddc13057025413bfe334aa83cdf4e"],"state_sha256":"6baaadcc01e87ffdb44173074fb28c3cefa744c31a8ead0192fcb37cac1cf574"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"ZJaEI1KMB+WRTkZAgK9OEpFJGPlwbnKHpDAEqd3n4hLVjazQlwCnPLIgKqro+e7MSIcQDRI126AXsdfwoZO1Ag==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-18T18:04:31.553968Z","bundle_sha256":"caeaa5055126a96d0d847d65db7483c27c122cd49004f6f189f8c42477615582"}}