{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2016:SXNYBXPVW2OMR5COZXJPVRXU3S","short_pith_number":"pith:SXNYBXPV","schema_version":"1.0","canonical_sha256":"95db80ddf5b69cc8f44ecdd2fac6f4dc9cf2f83f2441529beaeae522ec140555","source":{"kind":"arxiv","id":"1603.02148","version":1},"attestation_state":"computed","paper":{"title":"Complete Elgot Monads and Coalgebraic Resumptions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Christoph Rauch, Sergey Goncharov, Stefan Milius","submitted_at":"2016-03-07T16:48:18Z","abstract_excerpt":"Monads are extensively used nowadays to abstractly model a wide range of computational effects such as nondeterminism, statefulness, and exceptions. It turns out that equipping a monad with a (uniform) iteration operator satisfying a set of natural axioms allows for modelling iterative computations just as abstractly. The emerging monads are called complete Elgot monads. It has been shown recently that extending complete Elgot monads with free effects (e.g. operations of sending/receiving messages over channels) canonically leads to generalized coalgebraic resumption monads, previously used as"},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"canonical_record":{"source":{"id":"1603.02148","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2016-03-07T16:48:18Z","cross_cats_sorted":[],"title_canon_sha256":"179d374f5b643ff8b61286845d67a872536f7980c9e9c6f7eb3a8d18ebc12b48","abstract_canon_sha256":"d28871954ebce3cbe130ed5e83c124150f3b05c6f8ec15ee6e292597c07b77cb"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:19:31.531161Z","signature_b64":"ueZ918rNl2ON+4lWzUHFZgl1XaEgyJgnZKLyxAnD8W46PeURVOrmdpLEM7FZwCnvY/vq97Gz9De0ujfwyx80CQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"95db80ddf5b69cc8f44ecdd2fac6f4dc9cf2f83f2441529beaeae522ec140555","last_reissued_at":"2026-05-18T01:19:31.530544Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:19:31.530544Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"Complete Elgot Monads and Coalgebraic Resumptions","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Christoph Rauch, Sergey Goncharov, Stefan Milius","submitted_at":"2016-03-07T16:48:18Z","abstract_excerpt":"Monads are extensively used nowadays to abstractly model a wide range of computational effects such as nondeterminism, statefulness, and exceptions. It turns out that equipping a monad with a (uniform) iteration operator satisfying a set of natural axioms allows for modelling iterative computations just as abstractly. The emerging monads are called complete Elgot monads. It has been shown recently that extending complete Elgot monads with free effects (e.g. operations of sending/receiving messages over channels) canonically leads to generalized coalgebraic resumption monads, previously used as"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1603.02148","kind":"arxiv","version":1},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1603.02148","created_at":"2026-05-18T01:19:31.530651+00:00"},{"alias_kind":"arxiv_version","alias_value":"1603.02148v1","created_at":"2026-05-18T01:19:31.530651+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1603.02148","created_at":"2026-05-18T01:19:31.530651+00:00"},{"alias_kind":"pith_short_12","alias_value":"SXNYBXPVW2OM","created_at":"2026-05-18T12:30:44.179134+00:00"},{"alias_kind":"pith_short_16","alias_value":"SXNYBXPVW2OMR5CO","created_at":"2026-05-18T12:30:44.179134+00:00"},{"alias_kind":"pith_short_8","alias_value":"SXNYBXPV","created_at":"2026-05-18T12:30:44.179134+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/SXNYBXPVW2OMR5COZXJPVRXU3S","json":"https://pith.science/pith/SXNYBXPVW2OMR5COZXJPVRXU3S.json","graph_json":"https://pith.science/api/pith-number/SXNYBXPVW2OMR5COZXJPVRXU3S/graph.json","events_json":"https://pith.science/api/pith-number/SXNYBXPVW2OMR5COZXJPVRXU3S/events.json","paper":"https://pith.science/paper/SXNYBXPV"},"agent_actions":{"view_html":"https://pith.science/pith/SXNYBXPVW2OMR5COZXJPVRXU3S","download_json":"https://pith.science/pith/SXNYBXPVW2OMR5COZXJPVRXU3S.json","view_paper":"https://pith.science/paper/SXNYBXPV","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1603.02148&json=true","fetch_graph":"https://pith.science/api/pith-number/SXNYBXPVW2OMR5COZXJPVRXU3S/graph.json","fetch_events":"https://pith.science/api/pith-number/SXNYBXPVW2OMR5COZXJPVRXU3S/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/SXNYBXPVW2OMR5COZXJPVRXU3S/action/timestamp_anchor","attest_storage":"https://pith.science/pith/SXNYBXPVW2OMR5COZXJPVRXU3S/action/storage_attestation","attest_author":"https://pith.science/pith/SXNYBXPVW2OMR5COZXJPVRXU3S/action/author_attestation","sign_citation":"https://pith.science/pith/SXNYBXPVW2OMR5COZXJPVRXU3S/action/citation_signature","submit_replication":"https://pith.science/pith/SXNYBXPVW2OMR5COZXJPVRXU3S/action/replication_record"}},"created_at":"2026-05-18T01:19:31.530651+00:00","updated_at":"2026-05-18T01:19:31.530651+00:00"}