{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:IT5XR57TDFFI5EU3WFR4JDZEYF","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":"52c5acd018c0460d6157c00acff06a7c8e4672fb3c1ad13cc10eb643736823e3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-02-07T17:21:14Z","title_canon_sha256":"4fceb96f117650fd96052e342b5ea2e8844b20bdc0e8ce7d52b5d79ad47240c7"},"schema_version":"1.0","source":{"id":"1402.1699","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1402.1699","created_at":"2026-05-18T02:27:58Z"},{"alias_kind":"arxiv_version","alias_value":"1402.1699v2","created_at":"2026-05-18T02:27:58Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1402.1699","created_at":"2026-05-18T02:27:58Z"},{"alias_kind":"pith_short_12","alias_value":"IT5XR57TDFFI","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_16","alias_value":"IT5XR57TDFFI5EU3","created_at":"2026-05-18T12:28:33Z"},{"alias_kind":"pith_short_8","alias_value":"IT5XR57T","created_at":"2026-05-18T12:28:33Z"}],"graph_snapshots":[{"event_id":"sha256:8f244a8b792104ee2525b96eed1279dac0e36230fb804b50af268e8b72c3b547","target":"graph","created_at":"2026-05-18T02:27:58Z","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":"Representation theorems relate seemingly complex objects to concrete, more tractable ones.\n  In this paper, we take advantage of the abstraction power of category theory and provide a general representation theorem for a wide class of second-order functionals which are polymorphic over a class of functors. Types polymorphic over a class of functors are easily representable in languages such as Haskell, but are difficult to analyse and reason about. The concrete representation provided by the theorem is easier to analyse, but it might not be as convenient to implement. Therefore, depending on t","authors_text":"Mauro Jaskelioff, Russell O'Connor","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-02-07T17:21:14Z","title":"A Representation Theorem for Second-Order Functionals"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1402.1699","kind":"arxiv","version":2},"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:15b9c353165095f63f6e66b3ffa96e93f9e062039b88aaf1b3950984daa83457","target":"record","created_at":"2026-05-18T02:27:58Z","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":"52c5acd018c0460d6157c00acff06a7c8e4672fb3c1ad13cc10eb643736823e3","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.PL","submitted_at":"2014-02-07T17:21:14Z","title_canon_sha256":"4fceb96f117650fd96052e342b5ea2e8844b20bdc0e8ce7d52b5d79ad47240c7"},"schema_version":"1.0","source":{"id":"1402.1699","kind":"arxiv","version":2}},"canonical_sha256":"44fb78f7f3194a8e929bb163c48f24c17d233396f97a91a8b859fd12a666cd9f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"44fb78f7f3194a8e929bb163c48f24c17d233396f97a91a8b859fd12a666cd9f","first_computed_at":"2026-05-18T02:27:58.775924Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:27:58.775924Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"UdfvIlbwklGabNgtdeSVlBlfRC6Be+VfMKi8lJ9hv2cPYQpKv2RGVzm0m27ywvOcFIlvpu+rW8xKN43shikJCg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:27:58.776603Z","signed_message":"canonical_sha256_bytes"},"source_id":"1402.1699","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:15b9c353165095f63f6e66b3ffa96e93f9e062039b88aaf1b3950984daa83457","sha256:8f244a8b792104ee2525b96eed1279dac0e36230fb804b50af268e8b72c3b547"],"state_sha256":"7266dda924c415747bf7111ba927114469f1b6dd63393221fe3d7438d3a92935"}