{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2021:IUPJCPOL5RJHV2N7PVXTCE73YC","short_pith_number":"pith:IUPJCPOL","canonical_record":{"source":{"id":"2106.07890","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2021-06-15T05:40:51Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"fe626b02a40c11c3b2fc6f6f2dabb25735be918537ce78cdcb93b3a9ec174200","abstract_canon_sha256":"c211a7f90705895c6d39a75c8004a5437b0e8a0cac7944987553c44cd7c9a5c9"},"schema_version":"1.0"},"canonical_sha256":"451e913dcbec527ae9bf7d6f3113fbc08bfbb0dcae2ed6c105200b71d6fd194f","source":{"kind":"arxiv","id":"2106.07890","version":2},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.07890","created_at":"2026-07-05T03:33:05Z"},{"alias_kind":"arxiv_version","alias_value":"2106.07890v2","created_at":"2026-07-05T03:33:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.07890","created_at":"2026-07-05T03:33:05Z"},{"alias_kind":"pith_short_12","alias_value":"IUPJCPOL5RJH","created_at":"2026-07-05T03:33:05Z"},{"alias_kind":"pith_short_16","alias_value":"IUPJCPOL5RJHV2N7","created_at":"2026-07-05T03:33:05Z"},{"alias_kind":"pith_short_8","alias_value":"IUPJCPOL","created_at":"2026-07-05T03:33:05Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2021:IUPJCPOL5RJHV2N7PVXTCE73YC","target":"record","payload":{"canonical_record":{"source":{"id":"2106.07890","kind":"arxiv","version":2},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2021-06-15T05:40:51Z","cross_cats_sorted":["cs.CL"],"title_canon_sha256":"fe626b02a40c11c3b2fc6f6f2dabb25735be918537ce78cdcb93b3a9ec174200","abstract_canon_sha256":"c211a7f90705895c6d39a75c8004a5437b0e8a0cac7944987553c44cd7c9a5c9"},"schema_version":"1.0"},"canonical_sha256":"451e913dcbec527ae9bf7d6f3113fbc08bfbb0dcae2ed6c105200b71d6fd194f","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T03:33:05.942990Z","signature_b64":"HoVQmiyDrxZ2ZAFd7wS6l8PMrgNqJ9NRGLU1Ec7q2DVJVzBbS5+RJJ7C3D/WTZg2SS7u4GYv1wnW3JQsVVZYBA==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"451e913dcbec527ae9bf7d6f3113fbc08bfbb0dcae2ed6c105200b71d6fd194f","last_reissued_at":"2026-07-05T03:33:05.942577Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T03:33:05.942577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2106.07890","source_version":2,"attestation_state":"computed"},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T03:33:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"J7tpUeLifT5dN/y2z7Z22rdLS9Z87CCbDOoRRnAVBcxrifwPn8mKp0+w/FQpBSIwuoIUh7TaSukotuMZeYAhAg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T18:31:13.532716Z"},"content_sha256":"6abb4c25dcf2b24fc920386ebc337c1eb9b783f7a2714a914ab8e32a9acddf50","schema_version":"1.0","event_id":"sha256:6abb4c25dcf2b24fc920386ebc337c1eb9b783f7a2714a914ab8e32a9acddf50"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2021:IUPJCPOL5RJHV2N7PVXTCE73YC","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"An enriched category theory of language: from syntax to semantics","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.CL"],"primary_cat":"math.CT","authors_text":"John Terilla, Tai-Danae Bradley, Yiannis Vlassopoulos","submitted_at":"2021-06-15T05:40:51Z","abstract_excerpt":"State of the art language models return a natural language text continuation from any piece of input text. This ability to generate coherent text extensions implies significant sophistication, including a knowledge of grammar and semantics. In this paper, we propose a mathematical framework for passing from probability distributions on extensions of given texts, such as the ones learned by today's large language models, to an enriched category containing semantic information. Roughly speaking, we model probability distributions on texts as a category enriched over the unit interval. Objects of"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.07890","kind":"arxiv","version":2},"verdict":{"id":null,"model_set":{},"created_at":null,"strongest_claim":"","one_line_summary":"","pipeline_version":null,"weakest_assumption":"","pith_extraction_headline":""},"integrity":{"clean":true,"summary":{"advisory":0,"critical":0,"by_detector":{},"informational":0},"endpoint":"/pith/2106.07890/integrity.json","findings":[],"available":true,"detectors_run":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938"},"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"},"verdict_id":null},"signer":{"signer_id":"pith.science","signer_type":"pith_registry","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"created_at":"2026-07-05T03:33:05Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mWTHqNPLPrRDKAwABgC1kuqnLQ6OezueqZdxAF/0TMFVdHWv5oCnbf7fi8n0+o/ckxdYY2LxmwjnASNK03biBw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-05T18:31:13.533114Z"},"content_sha256":"8982ab698feb21e5c7e6b637a36b8e4abc2572ae80a93451d8aea057e2e0d388","schema_version":"1.0","event_id":"sha256:8982ab698feb21e5c7e6b637a36b8e4abc2572ae80a93451d8aea057e2e0d388"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/IUPJCPOL5RJHV2N7PVXTCE73YC/bundle.json","state_url":"https://pith.science/pith/IUPJCPOL5RJHV2N7PVXTCE73YC/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/IUPJCPOL5RJHV2N7PVXTCE73YC/bundle.json","status":"primary"}],"public_keys":[{"key_id":"pith-v1-2026-05","algorithm":"ed25519","format":"raw","public_key_b64":"stVStoiQhXFxp4s2pdzPNoqVNBMojDU/fJ2db5S3CbM=","public_key_hex":"b2d552b68890857171a78b36a5dccf368a953413288c353f7c9d9d6f94b709b3","fingerprint_sha256_b32_first128bits":"RVFV5Z2OI2J3ZUO7ERDEBCYNKS","fingerprint_sha256_hex":"8d4b5ee74e4693bcd1df2446408b0d54","rotates_at":null,"url":"https://pith.science/pith-signing-key.json","notes":"Pith uses this Ed25519 key to sign canonical record SHA-256 digests. Verify with: ed25519_verify(public_key, message=canonical_sha256_bytes, signature=base64decode(signature_b64))."}],"merge_version":"pith-open-graph-merge-v1","built_at":"2026-08-05T18:31:13Z","links":{"resolver":"https://pith.science/pith/IUPJCPOL5RJHV2N7PVXTCE73YC","bundle":"https://pith.science/pith/IUPJCPOL5RJHV2N7PVXTCE73YC/bundle.json","state":"https://pith.science/pith/IUPJCPOL5RJHV2N7PVXTCE73YC/state.json","well_known_bundle":"https://pith.science/.well-known/pith/IUPJCPOL5RJHV2N7PVXTCE73YC/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2021:IUPJCPOL5RJHV2N7PVXTCE73YC","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":"c211a7f90705895c6d39a75c8004a5437b0e8a0cac7944987553c44cd7c9a5c9","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2021-06-15T05:40:51Z","title_canon_sha256":"fe626b02a40c11c3b2fc6f6f2dabb25735be918537ce78cdcb93b3a9ec174200"},"schema_version":"1.0","source":{"id":"2106.07890","kind":"arxiv","version":2}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2106.07890","created_at":"2026-07-05T03:33:05Z"},{"alias_kind":"arxiv_version","alias_value":"2106.07890v2","created_at":"2026-07-05T03:33:05Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2106.07890","created_at":"2026-07-05T03:33:05Z"},{"alias_kind":"pith_short_12","alias_value":"IUPJCPOL5RJH","created_at":"2026-07-05T03:33:05Z"},{"alias_kind":"pith_short_16","alias_value":"IUPJCPOL5RJHV2N7","created_at":"2026-07-05T03:33:05Z"},{"alias_kind":"pith_short_8","alias_value":"IUPJCPOL","created_at":"2026-07-05T03:33:05Z"}],"graph_snapshots":[{"event_id":"sha256:8982ab698feb21e5c7e6b637a36b8e4abc2572ae80a93451d8aea057e2e0d388","target":"graph","created_at":"2026-07-05T03:33:05Z","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/2106.07890/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"State of the art language models return a natural language text continuation from any piece of input text. This ability to generate coherent text extensions implies significant sophistication, including a knowledge of grammar and semantics. In this paper, we propose a mathematical framework for passing from probability distributions on extensions of given texts, such as the ones learned by today's large language models, to an enriched category containing semantic information. Roughly speaking, we model probability distributions on texts as a category enriched over the unit interval. Objects of","authors_text":"John Terilla, Tai-Danae Bradley, Yiannis Vlassopoulos","cross_cats":["cs.CL"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2021-06-15T05:40:51Z","title":"An enriched category theory of language: from syntax to semantics"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2106.07890","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:6abb4c25dcf2b24fc920386ebc337c1eb9b783f7a2714a914ab8e32a9acddf50","target":"record","created_at":"2026-07-05T03:33:05Z","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":"c211a7f90705895c6d39a75c8004a5437b0e8a0cac7944987553c44cd7c9a5c9","cross_cats_sorted":["cs.CL"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2021-06-15T05:40:51Z","title_canon_sha256":"fe626b02a40c11c3b2fc6f6f2dabb25735be918537ce78cdcb93b3a9ec174200"},"schema_version":"1.0","source":{"id":"2106.07890","kind":"arxiv","version":2}},"canonical_sha256":"451e913dcbec527ae9bf7d6f3113fbc08bfbb0dcae2ed6c105200b71d6fd194f","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"451e913dcbec527ae9bf7d6f3113fbc08bfbb0dcae2ed6c105200b71d6fd194f","first_computed_at":"2026-07-05T03:33:05.942577Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T03:33:05.942577Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"HoVQmiyDrxZ2ZAFd7wS6l8PMrgNqJ9NRGLU1Ec7q2DVJVzBbS5+RJJ7C3D/WTZg2SS7u4GYv1wnW3JQsVVZYBA==","signature_status":"signed_v1","signed_at":"2026-07-05T03:33:05.942990Z","signed_message":"canonical_sha256_bytes"},"source_id":"2106.07890","source_kind":"arxiv","source_version":2}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:6abb4c25dcf2b24fc920386ebc337c1eb9b783f7a2714a914ab8e32a9acddf50","sha256:8982ab698feb21e5c7e6b637a36b8e4abc2572ae80a93451d8aea057e2e0d388"],"state_sha256":"0f6263484ed26a1d06a9ac6912bd26ae36fc8ddc7dc9ef6efcd2b889877a9ddb"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"l9N8C/Z5gGykdfQNYgUgu/KDD/p2dWMwU1zNWoYkJTBdCCXS2T++4O/XhGikwfJxPq7O726iAIMQLddN+O+OBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-05T18:31:13.536783Z","bundle_sha256":"6623298b0094df69e9062ce5a577e4446f0eb8141680b285488d9187db3a4f5d"}}