{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2023:TCDPOWUMBHOPS34ADZQ4NR2JWA","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":"4c2a4edf65436837d61e5ba9f38b45d78e4220057865384643c62278da78a962","cross_cats_sorted":["math.HO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2023-03-07T09:59:15Z","title_canon_sha256":"6105c0a4b2f525630560ac954d4609958211ded95fc753c54cdab63538b9667e"},"schema_version":"1.0","source":{"id":"2303.03765","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2303.03765","created_at":"2026-07-05T11:55:58Z"},{"alias_kind":"arxiv_version","alias_value":"2303.03765v4","created_at":"2026-07-05T11:55:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2303.03765","created_at":"2026-07-05T11:55:58Z"},{"alias_kind":"pith_short_12","alias_value":"TCDPOWUMBHOP","created_at":"2026-07-05T11:55:58Z"},{"alias_kind":"pith_short_16","alias_value":"TCDPOWUMBHOPS34A","created_at":"2026-07-05T11:55:58Z"},{"alias_kind":"pith_short_8","alias_value":"TCDPOWUM","created_at":"2026-07-05T11:55:58Z"}],"graph_snapshots":[{"event_id":"sha256:73c874dfe33e6857a5889d3514f61381076f3e5fd02380dd2f68c3364d7ea453","target":"graph","created_at":"2026-07-05T11:55:58Z","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/2303.03765/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"A quotient of a poset $P$ is a partial order obtained on the equivalence classes of an equivalence relation $\\theta$ on $P$; $\\theta$ is then called a congruence if it satisfies certain conditions, which vary according to different theories. The literature on congruences and quotients of partially ordered sets contains a large and profilerating array of approaches, but little in the way of systematic exposition and examination of the subject. We seek to rectify this by surveying the different theories in the literature and providing philosophical discussion on requirements for notions of congr","authors_text":"Nicholas J. Williams","cross_cats":["math.HO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2023-03-07T09:59:15Z","title":"A survey of congruences and quotients of partially ordered sets"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2303.03765","kind":"arxiv","version":4},"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:63c51f7c6b88cdbb0beea50aa6d2c3d1d55646aee6ad685eec3c10939ee65e7d","target":"record","created_at":"2026-07-05T11:55:58Z","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":"4c2a4edf65436837d61e5ba9f38b45d78e4220057865384643c62278da78a962","cross_cats_sorted":["math.HO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CO","submitted_at":"2023-03-07T09:59:15Z","title_canon_sha256":"6105c0a4b2f525630560ac954d4609958211ded95fc753c54cdab63538b9667e"},"schema_version":"1.0","source":{"id":"2303.03765","kind":"arxiv","version":4}},"canonical_sha256":"9886f75a8c09dcf96f801e61c6c749b01499acf1cb668cf4b3b256ef5fa63891","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"9886f75a8c09dcf96f801e61c6c749b01499acf1cb668cf4b3b256ef5fa63891","first_computed_at":"2026-07-05T11:55:58.727501Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T11:55:58.727501Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"h36CRo51pOsLeRLKhPqqGIc9x6YOe3EdnksCYgdpzJnYozFsS15VX1/P9rsc6swO0nRJ0iTHEbRgbJ7A5MqvAA==","signature_status":"signed_v1","signed_at":"2026-07-05T11:55:58.727947Z","signed_message":"canonical_sha256_bytes"},"source_id":"2303.03765","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:63c51f7c6b88cdbb0beea50aa6d2c3d1d55646aee6ad685eec3c10939ee65e7d","sha256:73c874dfe33e6857a5889d3514f61381076f3e5fd02380dd2f68c3364d7ea453"],"state_sha256":"c22ec741903d4c80c472b5d9b88073c649d4f0c17abefc522b1259901fba8271"}