{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2017:WRUBRP4OXQXKG5TI7CINQCTEII","short_pith_number":"pith:WRUBRP4O","schema_version":"1.0","canonical_sha256":"b46818bf8ebc2ea37668f890d80a64422565212fdf033db64a2f357d47aae2b2","source":{"kind":"arxiv","id":"1704.05124","version":1},"attestation_state":"computed","paper":{"title":"The pebbling comonad in finite model theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Anuj Dawar, Pengming Wang, Samson Abramsky","submitted_at":"2017-04-17T21:11:06Z","abstract_excerpt":"Pebble games are a powerful tool in the study of finite model theory, constraint satisfaction and database theory. Monads and comonads are basic notions of category theory which are widely used in semantics of computation and in modern functional programming. We show that existential k-pebble games have a natural comonadic formulation. Winning strategies for Duplicator in the k-pebble game for structures A and B are equivalent to morphisms from A to B in the coKleisli category for this comonad. This leads on to comonadic characterisations of a number of central concepts in Finite Model Theory:"},"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":"1704.05124","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2017-04-17T21:11:06Z","cross_cats_sorted":[],"title_canon_sha256":"954939456565876d2a739011ae327f469b1e1b91c52d46df6a1af296b5d11186","abstract_canon_sha256":"b731b5d200f17a3ce76334e5933dfa09eaaf9b23e03f7cddc58cdf1b2cb4ad76"},"schema_version":"1.0"},"receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T00:46:11.713798Z","signature_b64":"F7YSb5SWIK9iUGTIm15yOeEDOeHB+fhHFKmbEfC7VLWOG0iGPzh6oR1wzQpaR4PiU9fU4hp0EKI18ts6KIGgCw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"b46818bf8ebc2ea37668f890d80a64422565212fdf033db64a2f357d47aae2b2","last_reissued_at":"2026-05-18T00:46:11.713378Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T00:46:11.713378Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"graph_snapshot":{"paper":{"title":"The pebbling comonad in finite model theory","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Anuj Dawar, Pengming Wang, Samson Abramsky","submitted_at":"2017-04-17T21:11:06Z","abstract_excerpt":"Pebble games are a powerful tool in the study of finite model theory, constraint satisfaction and database theory. Monads and comonads are basic notions of category theory which are widely used in semantics of computation and in modern functional programming. We show that existential k-pebble games have a natural comonadic formulation. Winning strategies for Duplicator in the k-pebble game for structures A and B are equivalent to morphisms from A to B in the coKleisli category for this comonad. This leads on to comonadic characterisations of a number of central concepts in Finite Model Theory:"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1704.05124","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":"1704.05124","created_at":"2026-05-18T00:46:11.713445+00:00"},{"alias_kind":"arxiv_version","alias_value":"1704.05124v1","created_at":"2026-05-18T00:46:11.713445+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1704.05124","created_at":"2026-05-18T00:46:11.713445+00:00"},{"alias_kind":"pith_short_12","alias_value":"WRUBRP4OXQXK","created_at":"2026-05-18T12:31:53.515858+00:00"},{"alias_kind":"pith_short_16","alias_value":"WRUBRP4OXQXKG5TI","created_at":"2026-05-18T12:31:53.515858+00:00"},{"alias_kind":"pith_short_8","alias_value":"WRUBRP4O","created_at":"2026-05-18T12:31:53.515858+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/WRUBRP4OXQXKG5TI7CINQCTEII","json":"https://pith.science/pith/WRUBRP4OXQXKG5TI7CINQCTEII.json","graph_json":"https://pith.science/api/pith-number/WRUBRP4OXQXKG5TI7CINQCTEII/graph.json","events_json":"https://pith.science/api/pith-number/WRUBRP4OXQXKG5TI7CINQCTEII/events.json","paper":"https://pith.science/paper/WRUBRP4O"},"agent_actions":{"view_html":"https://pith.science/pith/WRUBRP4OXQXKG5TI7CINQCTEII","download_json":"https://pith.science/pith/WRUBRP4OXQXKG5TI7CINQCTEII.json","view_paper":"https://pith.science/paper/WRUBRP4O","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1704.05124&json=true","fetch_graph":"https://pith.science/api/pith-number/WRUBRP4OXQXKG5TI7CINQCTEII/graph.json","fetch_events":"https://pith.science/api/pith-number/WRUBRP4OXQXKG5TI7CINQCTEII/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/WRUBRP4OXQXKG5TI7CINQCTEII/action/timestamp_anchor","attest_storage":"https://pith.science/pith/WRUBRP4OXQXKG5TI7CINQCTEII/action/storage_attestation","attest_author":"https://pith.science/pith/WRUBRP4OXQXKG5TI7CINQCTEII/action/author_attestation","sign_citation":"https://pith.science/pith/WRUBRP4OXQXKG5TI7CINQCTEII/action/citation_signature","submit_replication":"https://pith.science/pith/WRUBRP4OXQXKG5TI7CINQCTEII/action/replication_record"}},"created_at":"2026-05-18T00:46:11.713445+00:00","updated_at":"2026-05-18T00:46:11.713445+00:00"}