{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2025:GZLXUTPEJBWRAEF4RMFU3NEG4H","short_pith_number":"pith:GZLXUTPE","canonical_record":{"source":{"id":"2507.06124","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-07-08T16:08:48Z","cross_cats_sorted":["math.LO","math.RA"],"title_canon_sha256":"52c696a71bab8247374d12dcc02c09cc5ef1b5c12d14ab3f3a4ee897797475e6","abstract_canon_sha256":"394977632420784b71d36cd40d67d633947afcd173bcf7c5482d06305473013e"},"schema_version":"1.0"},"canonical_sha256":"36577a4de4486d1010bc8b0b4db486e1fb9b10ba5b4a92678699b9abd1bfdb72","source":{"kind":"arxiv","id":"2507.06124","version":3},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.06124","created_at":"2026-05-25T02:02:07Z"},{"alias_kind":"arxiv_version","alias_value":"2507.06124v3","created_at":"2026-05-25T02:02:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.06124","created_at":"2026-05-25T02:02:07Z"},{"alias_kind":"pith_short_12","alias_value":"GZLXUTPEJBWR","created_at":"2026-05-25T02:02:07Z"},{"alias_kind":"pith_short_16","alias_value":"GZLXUTPEJBWRAEF4","created_at":"2026-05-25T02:02:07Z"},{"alias_kind":"pith_short_8","alias_value":"GZLXUTPE","created_at":"2026-05-25T02:02:07Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2025:GZLXUTPEJBWRAEF4RMFU3NEG4H","target":"record","payload":{"canonical_record":{"source":{"id":"2507.06124","kind":"arxiv","version":3},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-07-08T16:08:48Z","cross_cats_sorted":["math.LO","math.RA"],"title_canon_sha256":"52c696a71bab8247374d12dcc02c09cc5ef1b5c12d14ab3f3a4ee897797475e6","abstract_canon_sha256":"394977632420784b71d36cd40d67d633947afcd173bcf7c5482d06305473013e"},"schema_version":"1.0"},"canonical_sha256":"36577a4de4486d1010bc8b0b4db486e1fb9b10ba5b4a92678699b9abd1bfdb72","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-25T02:02:07.881119Z","signature_b64":"JN+Qvq9tsc7n7dKltcssubvPylusStHyqR40il2qou6BZFA1gHku5mWpVs0Qmp1RK5uFnYRDJGgitSzCd0Q0DQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"36577a4de4486d1010bc8b0b4db486e1fb9b10ba5b4a92678699b9abd1bfdb72","last_reissued_at":"2026-05-25T02:02:07.880256Z","signature_status":"signed_v1","first_computed_at":"2026-05-25T02:02:07.880256Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2507.06124","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-25T02:02:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"T2Gqe11RF6Iu13xrH21ISiIXF4WcMl3v3EUyIF+KUbXtgmK2939zLFVHSqN2lfV9xLiu/dTQXoU0Fe0FhDmzCA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T17:03:47.451451Z"},"content_sha256":"42015ff7993580a4b57041c917a625810c551dfb0dad586e3e29775191a7029f","schema_version":"1.0","event_id":"sha256:42015ff7993580a4b57041c917a625810c551dfb0dad586e3e29775191a7029f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2025:GZLXUTPEJBWRAEF4RMFU3NEG4H","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Coherent and ideal actions in ideally exact categories","license":"http://creativecommons.org/licenses/by/4.0/","headline":"Every ideal action is coherent in ideally exact categories, with the converse true in key contexts.","cross_cats":["math.LO","math.RA"],"primary_cat":"math.CT","authors_text":"Federica Piazza, Giuseppe Metere, Manuel Mancini","submitted_at":"2025-07-08T16:08:48Z","abstract_excerpt":"In the context of ideally exact categories, we introduce the notions of internal coherent action and internal ideal action that generalise different aspects of unital actions of rings and algebras. We prove that every ideal action is coherent, and that the converse statement holds in some relevant ideally exact contexts. Furthermore, a connection with G. Janelidze's notion of semidirect product in ideally exact categories is analysed."},"claims":{"count":4,"items":[{"kind":"strongest_claim","text":"Every ideal action is coherent, and the converse holds in some relevant ideally exact contexts; a connection exists with Janelidze's semidirect product in ideally exact categories.","source":"verdict.strongest_claim","status":"machine_extracted","claim_id":"C1","attestation":"unclaimed"},{"kind":"weakest_assumption","text":"The newly introduced definitions of internal coherent action and internal ideal action correctly generalize the intended aspects of unital actions of rings and algebras within the framework of ideally exact categories.","source":"verdict.weakest_assumption","status":"machine_extracted","claim_id":"C2","attestation":"unclaimed"},{"kind":"one_line_summary","text":"Defines internal coherent and ideal actions in ideally exact categories, proves every ideal action is coherent with converse in some contexts, and analyzes links to Janelidze's semidirect products.","source":"verdict.one_line_summary","status":"machine_extracted","claim_id":"C3","attestation":"unclaimed"},{"kind":"headline","text":"Every ideal action is coherent in ideally exact categories, with the converse true in key contexts.","source":"verdict.pith_extraction.headline","status":"machine_extracted","claim_id":"C4","attestation":"unclaimed"}],"snapshot_sha256":"5a6c87c87a4ca2e2c5a28ad7da03372a353028ce45d49cdd28171d374ebd9722"},"source":{"id":"2507.06124","kind":"arxiv","version":3},"verdict":{"id":"77c57ac1-462d-49f1-8384-8c4ab37769c3","model_set":{"reader":"grok-4.3"},"created_at":"2026-05-19T05:46:24.218926Z","strongest_claim":"Every ideal action is coherent, and the converse holds in some relevant ideally exact contexts; a connection exists with Janelidze's semidirect product in ideally exact categories.","one_line_summary":"Defines internal coherent and ideal actions in ideally exact categories, proves every ideal action is coherent with converse in some contexts, and analyzes links to Janelidze's semidirect products.","pipeline_version":"pith-pipeline@v0.9.0","weakest_assumption":"The newly introduced definitions of internal coherent action and internal ideal action correctly generalize the intended aspects of unital actions of rings and algebras within the framework of ideally exact categories.","pith_extraction_headline":"Every ideal action is coherent in ideally exact categories, with the converse true in key contexts."},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2507.06124/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"references":{"count":50,"sample":[{"doi":"","year":2010,"title":"M. Abad, D. N. Castaño and J. P. Díaz Varela,MV-closures of Wajsberg hoops and applica- tions, Algebra Universalis64 (2010), 213–230","work_id":"83ec4e0c-875a-4741-8c09-5649eefa5d31","ref_index":1,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1998,"title":"R. J. Adillon and V. Vérdu,On product logic, Soft Computing2 (1998), 141–146","work_id":"56094566-1b9e-4f35-b0c2-bdebaaca1e6e","ref_index":2,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2007,"title":"P. Agliano, I. Ferreirim and F. Montagna,Basic Hoops: an Algebraic Study of Continuous t-norms, Studia Logica87 (2007), 73–98","work_id":"f64f3011-5003-4909-96fe-269f60ea51dd","ref_index":3,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":1971,"title":"M. Barr, P. A. Grillet and D. H. Osdol,Exact categories and categories of sheaves, Lecture Notes in Mathemathics236 (1971)","work_id":"db11b72c-a167-4a36-8b1e-05adc41f6f9d","ref_index":4,"cited_arxiv_id":"","is_internal_anchor":false},{"doi":"","year":2000,"title":"W. Blok, I. Ferreirim,On the structure of hoops, Algebra universalis43 (2000), 233–257","work_id":"25d56997-bdaa-4624-89e3-8a49599d4109","ref_index":5,"cited_arxiv_id":"","is_internal_anchor":false}],"resolved_work":50,"snapshot_sha256":"c10df790542b3c48bf8a21bdbe80bcf944c058e3ac4d5963637918c1a99f4f4c","internal_anchors":1},"formal_canon":{"evidence_count":1,"snapshot_sha256":"2c90d0207e12127f24977ae60c9e6d1bfc618091683cf3b874a7c2401edade8b"},"author_claims":{"count":0,"strong_count":0,"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"builder_version":"pith-number-builder-2026-05-17-v1"},"verdict_id":"77c57ac1-462d-49f1-8384-8c4ab37769c3"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-05-25T02:02:07Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"GCwbj1J3rOkkn1+KZKJFkTuRcjGYrUYJtic+POToS1L0sMcUApRR4u94DnqoxPgTEH+rQfaiQivClJmFs2eoBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-25T17:03:47.452640Z"},"content_sha256":"dcc9af6d8c66e6966b1860d53e59ccbdb7dd3be8dd7d82a9dfe9988b698c40ae","schema_version":"1.0","event_id":"sha256:dcc9af6d8c66e6966b1860d53e59ccbdb7dd3be8dd7d82a9dfe9988b698c40ae"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/GZLXUTPEJBWRAEF4RMFU3NEG4H/bundle.json","state_url":"https://pith.science/pith/GZLXUTPEJBWRAEF4RMFU3NEG4H/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/GZLXUTPEJBWRAEF4RMFU3NEG4H/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-05-25T17:03:47Z","links":{"resolver":"https://pith.science/pith/GZLXUTPEJBWRAEF4RMFU3NEG4H","bundle":"https://pith.science/pith/GZLXUTPEJBWRAEF4RMFU3NEG4H/bundle.json","state":"https://pith.science/pith/GZLXUTPEJBWRAEF4RMFU3NEG4H/state.json","well_known_bundle":"https://pith.science/.well-known/pith/GZLXUTPEJBWRAEF4RMFU3NEG4H/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2025:GZLXUTPEJBWRAEF4RMFU3NEG4H","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":"394977632420784b71d36cd40d67d633947afcd173bcf7c5482d06305473013e","cross_cats_sorted":["math.LO","math.RA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-07-08T16:08:48Z","title_canon_sha256":"52c696a71bab8247374d12dcc02c09cc5ef1b5c12d14ab3f3a4ee897797475e6"},"schema_version":"1.0","source":{"id":"2507.06124","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2507.06124","created_at":"2026-05-25T02:02:07Z"},{"alias_kind":"arxiv_version","alias_value":"2507.06124v3","created_at":"2026-05-25T02:02:07Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2507.06124","created_at":"2026-05-25T02:02:07Z"},{"alias_kind":"pith_short_12","alias_value":"GZLXUTPEJBWR","created_at":"2026-05-25T02:02:07Z"},{"alias_kind":"pith_short_16","alias_value":"GZLXUTPEJBWRAEF4","created_at":"2026-05-25T02:02:07Z"},{"alias_kind":"pith_short_8","alias_value":"GZLXUTPE","created_at":"2026-05-25T02:02:07Z"}],"graph_snapshots":[{"event_id":"sha256:dcc9af6d8c66e6966b1860d53e59ccbdb7dd3be8dd7d82a9dfe9988b698c40ae","target":"graph","created_at":"2026-05-25T02:02:07Z","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":4,"items":[{"attestation":"unclaimed","claim_id":"C1","kind":"strongest_claim","source":"verdict.strongest_claim","status":"machine_extracted","text":"Every ideal action is coherent, and the converse holds in some relevant ideally exact contexts; a connection exists with Janelidze's semidirect product in ideally exact categories."},{"attestation":"unclaimed","claim_id":"C2","kind":"weakest_assumption","source":"verdict.weakest_assumption","status":"machine_extracted","text":"The newly introduced definitions of internal coherent action and internal ideal action correctly generalize the intended aspects of unital actions of rings and algebras within the framework of ideally exact categories."},{"attestation":"unclaimed","claim_id":"C3","kind":"one_line_summary","source":"verdict.one_line_summary","status":"machine_extracted","text":"Defines internal coherent and ideal actions in ideally exact categories, proves every ideal action is coherent with converse in some contexts, and analyzes links to Janelidze's semidirect products."},{"attestation":"unclaimed","claim_id":"C4","kind":"headline","source":"verdict.pith_extraction.headline","status":"machine_extracted","text":"Every ideal action is coherent in ideally exact categories, with the converse true in key contexts."}],"snapshot_sha256":"5a6c87c87a4ca2e2c5a28ad7da03372a353028ce45d49cdd28171d374ebd9722"},"formal_canon":{"evidence_count":1,"snapshot_sha256":"2c90d0207e12127f24977ae60c9e6d1bfc618091683cf3b874a7c2401edade8b"},"integrity":{"available":true,"clean":true,"detectors_run":[],"endpoint":"/pith/2507.06124/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In the context of ideally exact categories, we introduce the notions of internal coherent action and internal ideal action that generalise different aspects of unital actions of rings and algebras. We prove that every ideal action is coherent, and that the converse statement holds in some relevant ideally exact contexts. Furthermore, a connection with G. Janelidze's notion of semidirect product in ideally exact categories is analysed.","authors_text":"Federica Piazza, Giuseppe Metere, Manuel Mancini","cross_cats":["math.LO","math.RA"],"headline":"Every ideal action is coherent in ideally exact categories, with the converse true in key contexts.","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-07-08T16:08:48Z","title":"Coherent and ideal actions in ideally exact categories"},"references":{"count":50,"internal_anchors":1,"resolved_work":50,"sample":[{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":1,"title":"M. Abad, D. N. Castaño and J. P. Díaz Varela,MV-closures of Wajsberg hoops and applica- tions, Algebra Universalis64 (2010), 213–230","work_id":"83ec4e0c-875a-4741-8c09-5649eefa5d31","year":2010},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":2,"title":"R. J. Adillon and V. Vérdu,On product logic, Soft Computing2 (1998), 141–146","work_id":"56094566-1b9e-4f35-b0c2-bdebaaca1e6e","year":1998},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":3,"title":"P. Agliano, I. Ferreirim and F. Montagna,Basic Hoops: an Algebraic Study of Continuous t-norms, Studia Logica87 (2007), 73–98","work_id":"f64f3011-5003-4909-96fe-269f60ea51dd","year":2007},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":4,"title":"M. Barr, P. A. Grillet and D. H. Osdol,Exact categories and categories of sheaves, Lecture Notes in Mathemathics236 (1971)","work_id":"db11b72c-a167-4a36-8b1e-05adc41f6f9d","year":1971},{"cited_arxiv_id":"","doi":"","is_internal_anchor":false,"ref_index":5,"title":"W. Blok, I. Ferreirim,On the structure of hoops, Algebra universalis43 (2000), 233–257","work_id":"25d56997-bdaa-4624-89e3-8a49599d4109","year":2000}],"snapshot_sha256":"c10df790542b3c48bf8a21bdbe80bcf944c058e3ac4d5963637918c1a99f4f4c"},"source":{"id":"2507.06124","kind":"arxiv","version":3},"verdict":{"created_at":"2026-05-19T05:46:24.218926Z","id":"77c57ac1-462d-49f1-8384-8c4ab37769c3","model_set":{"reader":"grok-4.3"},"one_line_summary":"Defines internal coherent and ideal actions in ideally exact categories, proves every ideal action is coherent with converse in some contexts, and analyzes links to Janelidze's semidirect products.","pipeline_version":"pith-pipeline@v0.9.0","pith_extraction_headline":"Every ideal action is coherent in ideally exact categories, with the converse true in key contexts.","strongest_claim":"Every ideal action is coherent, and the converse holds in some relevant ideally exact contexts; a connection exists with Janelidze's semidirect product in ideally exact categories.","weakest_assumption":"The newly introduced definitions of internal coherent action and internal ideal action correctly generalize the intended aspects of unital actions of rings and algebras within the framework of ideally exact categories."}},"verdict_id":"77c57ac1-462d-49f1-8384-8c4ab37769c3"}}],"author_attestations":[],"timestamp_anchors":[],"storage_attestations":[],"citation_signatures":[],"replication_records":[],"corrections":[],"mirror_hints":[],"record_created":{"event_id":"sha256:42015ff7993580a4b57041c917a625810c551dfb0dad586e3e29775191a7029f","target":"record","created_at":"2026-05-25T02:02:07Z","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":"394977632420784b71d36cd40d67d633947afcd173bcf7c5482d06305473013e","cross_cats_sorted":["math.LO","math.RA"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2025-07-08T16:08:48Z","title_canon_sha256":"52c696a71bab8247374d12dcc02c09cc5ef1b5c12d14ab3f3a4ee897797475e6"},"schema_version":"1.0","source":{"id":"2507.06124","kind":"arxiv","version":3}},"canonical_sha256":"36577a4de4486d1010bc8b0b4db486e1fb9b10ba5b4a92678699b9abd1bfdb72","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"36577a4de4486d1010bc8b0b4db486e1fb9b10ba5b4a92678699b9abd1bfdb72","first_computed_at":"2026-05-25T02:02:07.880256Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-25T02:02:07.880256Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"JN+Qvq9tsc7n7dKltcssubvPylusStHyqR40il2qou6BZFA1gHku5mWpVs0Qmp1RK5uFnYRDJGgitSzCd0Q0DQ==","signature_status":"signed_v1","signed_at":"2026-05-25T02:02:07.881119Z","signed_message":"canonical_sha256_bytes"},"source_id":"2507.06124","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:42015ff7993580a4b57041c917a625810c551dfb0dad586e3e29775191a7029f","sha256:dcc9af6d8c66e6966b1860d53e59ccbdb7dd3be8dd7d82a9dfe9988b698c40ae"],"state_sha256":"b2054ded31f689cdc25ef7a9c6a57a331fccab76f5618e4f665b4378a9cb0eb9"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"U1njgCbAjpBi0PqRJYEgEQFw32K1ZEjJP1IS7i/CVfcMbRTXDzW8WxOQroyNxUUJrKQw1RVJVvHVWJa8NU/NCA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-25T17:03:47.458132Z","bundle_sha256":"d018518206f9ef72feec1966a5eb4f469f55b4452482e9f2107e58fff581dbf7"}}