{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2024:FAYXBYIDE626QAHE7CAR42UEKB","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":"c91fb1bd88256a9a73e24ccab139957fdcffec0de14d1a5c66c85ca2889abe96","cross_cats_sorted":["cs.LO","math.AT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2024-05-23T15:13:33Z","title_canon_sha256":"ab3efb0a1adb38c4173d35acba2c756fa791b0f45cb2f65a74f93929625a170e"},"schema_version":"1.0","source":{"id":"2405.14678","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2405.14678","created_at":"2026-07-05T08:22:26Z"},{"alias_kind":"arxiv_version","alias_value":"2405.14678v1","created_at":"2026-07-05T08:22:26Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2405.14678","created_at":"2026-07-05T08:22:26Z"},{"alias_kind":"pith_short_12","alias_value":"FAYXBYIDE626","created_at":"2026-07-05T08:22:26Z"},{"alias_kind":"pith_short_16","alias_value":"FAYXBYIDE626QAHE","created_at":"2026-07-05T08:22:26Z"},{"alias_kind":"pith_short_8","alias_value":"FAYXBYID","created_at":"2026-07-05T08:22:26Z"}],"graph_snapshots":[{"event_id":"sha256:8ffeb1c055860d3746a04d29fdce5b88a87693625e7aa14585cbbb430b7e7aa5","target":"graph","created_at":"2026-07-05T08:22:26Z","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/2405.14678/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"In this article, we combine Sweedler's classic theory of measuring coalgebras -- by which $k$-algebras are enriched in $k$-coalgebras for $k$ a field -- with the theory of W-types -- by which the categorical semantics of inductive data types in functional programming languages are understood. In our main theorem, we find that under some hypotheses, algebras of an endofunctor are enriched in coalgebras of the same endofunctor, and we find polynomial endofunctors provide many interesting examples of this phenomenon. We then generalize the notion of initial algebra of an endofunctor using this en","authors_text":"Lukas Mulder, Maximilien P\\'eroux, Paige Randall North","cross_cats":["cs.LO","math.AT"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2024-05-23T15:13:33Z","title":"Measuring data types"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2405.14678","kind":"arxiv","version":1},"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:e8c35946f227151cdc4da8dd29d6e48af6dc549deb680cbcd7b4dac66fb36adc","target":"record","created_at":"2026-07-05T08:22:26Z","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":"c91fb1bd88256a9a73e24ccab139957fdcffec0de14d1a5c66c85ca2889abe96","cross_cats_sorted":["cs.LO","math.AT"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"math.CT","submitted_at":"2024-05-23T15:13:33Z","title_canon_sha256":"ab3efb0a1adb38c4173d35acba2c756fa791b0f45cb2f65a74f93929625a170e"},"schema_version":"1.0","source":{"id":"2405.14678","kind":"arxiv","version":1}},"canonical_sha256":"283170e10327b5e800e4f8811e6a8450577a19fa219d1f3b86b30186ecf2f82a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"283170e10327b5e800e4f8811e6a8450577a19fa219d1f3b86b30186ecf2f82a","first_computed_at":"2026-07-05T08:22:26.552918Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:22:26.552918Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"ipw8vipps/J1/7aTojHyAWrN+U+k1Idtw5fwT8MoVTXr7foMSwaq0ek7wZFLDoSmHKUHcAguEQ5KO4mn1yFsDQ==","signature_status":"signed_v1","signed_at":"2026-07-05T08:22:26.553343Z","signed_message":"canonical_sha256_bytes"},"source_id":"2405.14678","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:e8c35946f227151cdc4da8dd29d6e48af6dc549deb680cbcd7b4dac66fb36adc","sha256:8ffeb1c055860d3746a04d29fdce5b88a87693625e7aa14585cbbb430b7e7aa5"],"state_sha256":"4319e61ef4392aa28cfd17b7fda4f22a2bc694b91402cb138d41b4b2af688e52"}