{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:L5TPM5S74EZRR3QWU6SP22I2OV","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":"66df9c659de3f8e8aeb2500b23dd48ef9cbef2568873f0096310a47a373a4830","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.CT","submitted_at":"2025-05-21T17:13:54Z","title_canon_sha256":"27d0e4540bdad4c99738bd1de008aef242fd96f193d128937d5b0370e7e4d253"},"schema_version":"1.0","source":{"id":"2505.15767","kind":"arxiv","version":5}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2505.15767","created_at":"2026-05-21T02:04:48Z"},{"alias_kind":"arxiv_version","alias_value":"2505.15767v5","created_at":"2026-05-21T02:04:48Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2505.15767","created_at":"2026-05-21T02:04:48Z"},{"alias_kind":"pith_short_12","alias_value":"L5TPM5S74EZR","created_at":"2026-05-21T02:04:48Z"},{"alias_kind":"pith_short_16","alias_value":"L5TPM5S74EZRR3QW","created_at":"2026-05-21T02:04:48Z"},{"alias_kind":"pith_short_8","alias_value":"L5TPM5S7","created_at":"2026-05-21T02:04:48Z"}],"graph_snapshots":[{"event_id":"sha256:1612c8b3f31398c1e928255e73b2de7e7c19296ad75408c10256367fa7b4ed2e","target":"graph","created_at":"2026-05-21T02:04:48Z","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/2505.15767/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We investigate Riguet congruences and generalized congruences on a category, focusing on their interrelations from both lattice-theoretic and category-theoretic perspectives. We also characterize functors that are full and surjective on objects in terms of regular epimorphisms, extremal epimorphisms and in terms of strong and regular generalized congruences. On the lattice-theoretic side, we prove that for a category $\\mathsf{C}$, the set $\\mathrm{RCgr}(\\mathsf{C})$ of all Riguet congruences, ordered by inclusion, is a bounded directed-complete ordered set, while the set $\\mathrm{GCgr}(\\mathsf","authors_text":"Enric Cosme Ll\\'opez, Juan Climent Vidal, Ra\\'ul Ruiz Mora","cross_cats":[],"headline":"","license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.CT","submitted_at":"2025-05-21T17:13:54Z","title":"Riguet and Generalized Congruences on a Category: Relationships and Applications"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2505.15767","kind":"arxiv","version":5},"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:16a014cac5df9d809cfd52c2a22714cc5c5b0ceaf958a29f625dc08eed63e8a7","target":"record","created_at":"2026-05-21T02:04:48Z","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":"66df9c659de3f8e8aeb2500b23dd48ef9cbef2568873f0096310a47a373a4830","cross_cats_sorted":[],"license":"http://creativecommons.org/licenses/by-nc-nd/4.0/","primary_cat":"math.CT","submitted_at":"2025-05-21T17:13:54Z","title_canon_sha256":"27d0e4540bdad4c99738bd1de008aef242fd96f193d128937d5b0370e7e4d253"},"schema_version":"1.0","source":{"id":"2505.15767","kind":"arxiv","version":5}},"canonical_sha256":"5f66f6765fe13318ee16a7a4fd691a7551dda561725db215af6ab9a44fda6627","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"5f66f6765fe13318ee16a7a4fd691a7551dda561725db215af6ab9a44fda6627","first_computed_at":"2026-05-21T02:04:48.857016Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-21T02:04:48.857016Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"c1nAQr5K2whqM3Rq3XOWqvt5WjogBNp0V7OFgN+49kkmF79K1tZ8C/VayaTsWNR3JbPyjW7FS6b7UyjtLuUKDw==","signature_status":"signed_v1","signed_at":"2026-05-21T02:04:48.857991Z","signed_message":"canonical_sha256_bytes"},"source_id":"2505.15767","source_kind":"arxiv","source_version":5}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:16a014cac5df9d809cfd52c2a22714cc5c5b0ceaf958a29f625dc08eed63e8a7","sha256:1612c8b3f31398c1e928255e73b2de7e7c19296ad75408c10256367fa7b4ed2e"],"state_sha256":"18fd90daf05202c02665b9d81303b7ed88c4fda1f662ffe7fa2999dd0905fe68"}