{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2016:NWSAFKLXHMLIOTVYA67BSAN4QG","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":"3281d81104b2e5b9791cc7dd95b3526ffb36bf94cf5a3ac84fc45af71705da53","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2016-02-18T15:15:43Z","title_canon_sha256":"d9e0caee2c8c074fb9abd082cfc60e2492fa3e3f5374150ee1e65f81fe218e56"},"schema_version":"1.0","source":{"id":"1602.05831","kind":"arxiv","version":3}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1602.05831","created_at":"2026-05-18T00:50:06Z"},{"alias_kind":"arxiv_version","alias_value":"1602.05831v3","created_at":"2026-05-18T00:50:06Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1602.05831","created_at":"2026-05-18T00:50:06Z"},{"alias_kind":"pith_short_12","alias_value":"NWSAFKLXHMLI","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_16","alias_value":"NWSAFKLXHMLIOTVY","created_at":"2026-05-18T12:30:36Z"},{"alias_kind":"pith_short_8","alias_value":"NWSAFKLX","created_at":"2026-05-18T12:30:36Z"}],"graph_snapshots":[{"event_id":"sha256:40bff74a65c5070934b44cb0b5ded70f8096512e0a2aa6fa7654552019fef471","target":"graph","created_at":"2026-05-18T00:50:06Z","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"},"paper":{"abstract_excerpt":"Eilenberg-type correspondences, relating varieties of languages (e.g. of finite words, infinite words, or trees) to pseudovarieties of finite algebras, form the backbone of algebraic language theory. Numerous such correspondences are known in the literature. We demonstrate that they all arise from the same recipe: one models languages and the algebras recognizing them by monads on an algebraic category, and applies a Stone-type duality. Our main contribution is a variety theorem that covers e.g. Wilke's and Pin's work on $\\infty$-languages, the variety theorem for cost functions of Daviaud, Ku","authors_text":"Henning Urbat, Ji\\v{r}\\'i Ad\\'amek, Liang-Ting Chen, Stefan Milius","cross_cats":["math.CT"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2016-02-18T15:15:43Z","title":"Eilenberg Theorems for Free"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1602.05831","kind":"arxiv","version":3},"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:ddf0a3f8663d727e96f94b64be9519fa995db2bcd6f2235f67f88035bf0fd41f","target":"record","created_at":"2026-05-18T00:50:06Z","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":"3281d81104b2e5b9791cc7dd95b3526ffb36bf94cf5a3ac84fc45af71705da53","cross_cats_sorted":["math.CT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.FL","submitted_at":"2016-02-18T15:15:43Z","title_canon_sha256":"d9e0caee2c8c074fb9abd082cfc60e2492fa3e3f5374150ee1e65f81fe218e56"},"schema_version":"1.0","source":{"id":"1602.05831","kind":"arxiv","version":3}},"canonical_sha256":"6da402a9773b16874eb807be1901bc81b48d832f1e1412e855a1488ab3f0003f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"6da402a9773b16874eb807be1901bc81b48d832f1e1412e855a1488ab3f0003f","first_computed_at":"2026-05-18T00:50:06.912964Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T00:50:06.912964Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"8oMQgh481AQxwKS11nVv6GiMed1gnmb0m3uaDWKx5t1Y1xPUSaIoRLeCgXXnxqlqyUiDywcF9SBskOnGp9oABw==","signature_status":"signed_v1","signed_at":"2026-05-18T00:50:06.913656Z","signed_message":"canonical_sha256_bytes"},"source_id":"1602.05831","source_kind":"arxiv","source_version":3}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:ddf0a3f8663d727e96f94b64be9519fa995db2bcd6f2235f67f88035bf0fd41f","sha256:40bff74a65c5070934b44cb0b5ded70f8096512e0a2aa6fa7654552019fef471"],"state_sha256":"341211bdc39a42ffb03f0f7450e01601c8ee793145321e59f03f22b05ccd0bcb"}