{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2018:7ORDBJ4LCIADVSYWJHJBDKFH2G","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":"9fe4434e1c675f424ca39eb4a1aaa325be2d3ebeb420fe5c1414c4c2d6306bc5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2018-10-18T17:48:59Z","title_canon_sha256":"d665b26b3bf3fc115221e731f3f27dda4c5ca879a4d7583022c4f58a0451a1e7"},"schema_version":"1.0","source":{"id":"1810.08184","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1810.08184","created_at":"2026-07-05T03:19:37Z"},{"alias_kind":"arxiv_version","alias_value":"1810.08184v3","created_at":"2026-07-05T03:19:37Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1810.08184","created_at":"2026-07-05T03:19:37Z"},{"alias_kind":"pith_short_12","alias_value":"7ORDBJ4LCIAD","created_at":"2026-07-05T03:19:37Z"},{"alias_kind":"pith_short_16","alias_value":"7ORDBJ4LCIADVSYW","created_at":"2026-07-05T03:19:37Z"},{"alias_kind":"pith_short_8","alias_value":"7ORDBJ4L","created_at":"2026-07-05T03:19:37Z"}],"graph_snapshots":[{"event_id":"sha256:2bb5336afaa8329d783bea796b8fd32808552eac04760efa87274f2eacd57e6e","target":"graph","created_at":"2026-07-05T03:19: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"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/1810.08184/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A coherent presentation of an n-category is a presentation by generators, relations and relations among relations. Confluent and terminating rewriting systems generate coherent presentations, whose relations among relations are defined by confluence diagrams of critical branchings. This article introduces a procedure to compute coherent presentations when the rewrite relations are defined modulo a set of axioms. Our coherence results are formulated using the structure of n-categories enriched in double groupoids, whose horizontal cells represent rewriting paths, vertical cells represent the co","authors_text":"Benjamin Dupont, Philippe Malbos","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2018-10-18T17:48:59Z","title":"Coherent confluence modulo relations and double groupoids"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1810.08184","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:8c904c795f444b46ea244eaddae7808070c2180ec60b4839e7b2067baf6671f9","target":"record","created_at":"2026-07-05T03:19: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":"9fe4434e1c675f424ca39eb4a1aaa325be2d3ebeb420fe5c1414c4c2d6306bc5","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2018-10-18T17:48:59Z","title_canon_sha256":"d665b26b3bf3fc115221e731f3f27dda4c5ca879a4d7583022c4f58a0451a1e7"},"schema_version":"1.0","source":{"id":"1810.08184","kind":"arxiv","version":3}},"canonical_sha256":"fba230a78b12003acb1649d211a8a7d1854283dd406bf64570d648b0e19255f8","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"fba230a78b12003acb1649d211a8a7d1854283dd406bf64570d648b0e19255f8","first_computed_at":"2026-07-05T03:19:37.572923Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:19:37.572923Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"2659CIjOaCcUdTzyeyTvhJzKvP+lsRVhhgiv4NZa11xBiF4dOzEXwcxu3334c763A32qgMhfe3q7hyfIngR2CQ==","signature_status":"signed_v1","signed_at":"2026-07-05T03:19:37.573379Z","signed_message":"canonical_sha256_bytes"},"source_id":"1810.08184","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:8c904c795f444b46ea244eaddae7808070c2180ec60b4839e7b2067baf6671f9","sha256:2bb5336afaa8329d783bea796b8fd32808552eac04760efa87274f2eacd57e6e"],"state_sha256":"cb04e5715ee8f60a895c463344ee37ddd3c719ffd22ff12e1b823c59110f79bd"}