{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2020:MGUWNQVPZ7FFUKCZZ2227P34Y5","short_pith_number":"pith:MGUWNQVP","canonical_record":{"source":{"id":"2005.03074","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2020-05-06T18:58:21Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4316a7f267721a040fdda49cc5f7766175522856e416f1c02c2695381de6bbc6","abstract_canon_sha256":"669f0b5c80ab1af2cd39bcb902560b778b2e65215a8046a005decf7d79fb3f40"},"schema_version":"1.0"},"canonical_sha256":"61a966c2afcfca5a2859ceb5afbf7cc778148091d1a58b4391d0339a51175608","source":{"kind":"arxiv","id":"2005.03074","version":4},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.03074","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"arxiv_version","alias_value":"2005.03074v4","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.03074","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"pith_short_12","alias_value":"MGUWNQVPZ7FF","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"pith_short_16","alias_value":"MGUWNQVPZ7FFUKCZ","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"pith_short_8","alias_value":"MGUWNQVP","created_at":"2026-07-05T08:52:21Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2020:MGUWNQVPZ7FFUKCZZ2227P34Y5","target":"record","payload":{"canonical_record":{"source":{"id":"2005.03074","kind":"arxiv","version":4},"metadata":{"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2020-05-06T18:58:21Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"4316a7f267721a040fdda49cc5f7766175522856e416f1c02c2695381de6bbc6","abstract_canon_sha256":"669f0b5c80ab1af2cd39bcb902560b778b2e65215a8046a005decf7d79fb3f40"},"schema_version":"1.0"},"canonical_sha256":"61a966c2afcfca5a2859ceb5afbf7cc778148091d1a58b4391d0339a51175608","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T08:52:21.185815Z","signature_b64":"v3VuYIcoCqEiNtjwQsMDO3TRXX1kmc4mKlaCA5CITO83RfU0Ppc+2hTurOFFz23yAmzmmPIb9vgGgeP+1kXcAw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"61a966c2afcfca5a2859ceb5afbf7cc778148091d1a58b4391d0339a51175608","last_reissued_at":"2026-07-05T08:52:21.185367Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T08:52:21.185367Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2005.03074","source_version":4,"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-05T08:52:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"NNKlZ9kumoYgd5uBTmtVx6n2hIqCQTXuhm8HYT+drLaXN6TpmWBWgGHxG/8PcqcuP1HQbN/5/uGR/ac6jq/mCQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T18:38:54.422714Z"},"content_sha256":"04e3468efd665b0ee7ffb0c7a18a59e65be08e99995f7f67691f43c167ec249f","schema_version":"1.0","event_id":"sha256:04e3468efd665b0ee7ffb0c7a18a59e65be08e99995f7f67691f43c167ec249f"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2020:MGUWNQVPZ7FFUKCZZ2227P34Y5","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality","license":"http://creativecommons.org/licenses/by/4.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"cs.CL","authors_text":"Gijs Wijnholds, Hadi Wazni, Lachlan McPheat, Mehrnoosh Sadrzadeh","submitted_at":"2020-05-06T18:58:21Z","abstract_excerpt":"We develop a categorical compositional distributional semantics for Lambek Calculus with a Relevant Modality !L*, which has a limited edition of the contraction and permutation rules. The categorical part of the semantics is a monoidal biclosed category with a coalgebra modality, very similar to the structure of a Differential Category. We instantiate this category to finite dimensional vector spaces and linear maps via \"quantisation\" functors and work with three concrete interpretations of the coalgebra modality. We apply the model to construct categorical and concrete semantic interpretation"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.03074","kind":"arxiv","version":4},"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/2005.03074/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-05T08:52:21Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"jMM5OyJnDxlCELhEHJPqbKUOoZzaw0CzfKafK6u3AyIUdX0LB1vNk2XPUVkdkKDrSGi+wdZQOh4JmE3Ium56Cw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-03T18:38:54.423107Z"},"content_sha256":"241f08c25e2bf282acf8f1eb50d8319d7cdff1970e186b2b68f5b0840b12162c","schema_version":"1.0","event_id":"sha256:241f08c25e2bf282acf8f1eb50d8319d7cdff1970e186b2b68f5b0840b12162c"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/MGUWNQVPZ7FFUKCZZ2227P34Y5/bundle.json","state_url":"https://pith.science/pith/MGUWNQVPZ7FFUKCZZ2227P34Y5/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/MGUWNQVPZ7FFUKCZZ2227P34Y5/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-03T18:38:54Z","links":{"resolver":"https://pith.science/pith/MGUWNQVPZ7FFUKCZZ2227P34Y5","bundle":"https://pith.science/pith/MGUWNQVPZ7FFUKCZZ2227P34Y5/bundle.json","state":"https://pith.science/pith/MGUWNQVPZ7FFUKCZZ2227P34Y5/state.json","well_known_bundle":"https://pith.science/.well-known/pith/MGUWNQVPZ7FFUKCZZ2227P34Y5/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2020:MGUWNQVPZ7FFUKCZZ2227P34Y5","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":"669f0b5c80ab1af2cd39bcb902560b778b2e65215a8046a005decf7d79fb3f40","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2020-05-06T18:58:21Z","title_canon_sha256":"4316a7f267721a040fdda49cc5f7766175522856e416f1c02c2695381de6bbc6"},"schema_version":"1.0","source":{"id":"2005.03074","kind":"arxiv","version":4}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2005.03074","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"arxiv_version","alias_value":"2005.03074v4","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2005.03074","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"pith_short_12","alias_value":"MGUWNQVPZ7FF","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"pith_short_16","alias_value":"MGUWNQVPZ7FFUKCZ","created_at":"2026-07-05T08:52:21Z"},{"alias_kind":"pith_short_8","alias_value":"MGUWNQVP","created_at":"2026-07-05T08:52:21Z"}],"graph_snapshots":[{"event_id":"sha256:241f08c25e2bf282acf8f1eb50d8319d7cdff1970e186b2b68f5b0840b12162c","target":"graph","created_at":"2026-07-05T08:52:21Z","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/2005.03074/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"We develop a categorical compositional distributional semantics for Lambek Calculus with a Relevant Modality !L*, which has a limited edition of the contraction and permutation rules. The categorical part of the semantics is a monoidal biclosed category with a coalgebra modality, very similar to the structure of a Differential Category. We instantiate this category to finite dimensional vector spaces and linear maps via \"quantisation\" functors and work with three concrete interpretations of the coalgebra modality. We apply the model to construct categorical and concrete semantic interpretation","authors_text":"Gijs Wijnholds, Hadi Wazni, Lachlan McPheat, Mehrnoosh Sadrzadeh","cross_cats":["cs.LO"],"headline":"","license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2020-05-06T18:58:21Z","title":"Categorical Vector Space Semantics for Lambek Calculus with a Relevant Modality"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2005.03074","kind":"arxiv","version":4},"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:04e3468efd665b0ee7ffb0c7a18a59e65be08e99995f7f67691f43c167ec249f","target":"record","created_at":"2026-07-05T08:52:21Z","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":"669f0b5c80ab1af2cd39bcb902560b778b2e65215a8046a005decf7d79fb3f40","cross_cats_sorted":["cs.LO"],"license":"http://creativecommons.org/licenses/by/4.0/","primary_cat":"cs.CL","submitted_at":"2020-05-06T18:58:21Z","title_canon_sha256":"4316a7f267721a040fdda49cc5f7766175522856e416f1c02c2695381de6bbc6"},"schema_version":"1.0","source":{"id":"2005.03074","kind":"arxiv","version":4}},"canonical_sha256":"61a966c2afcfca5a2859ceb5afbf7cc778148091d1a58b4391d0339a51175608","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"61a966c2afcfca5a2859ceb5afbf7cc778148091d1a58b4391d0339a51175608","first_computed_at":"2026-07-05T08:52:21.185367Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T08:52:21.185367Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"v3VuYIcoCqEiNtjwQsMDO3TRXX1kmc4mKlaCA5CITO83RfU0Ppc+2hTurOFFz23yAmzmmPIb9vgGgeP+1kXcAw==","signature_status":"signed_v1","signed_at":"2026-07-05T08:52:21.185815Z","signed_message":"canonical_sha256_bytes"},"source_id":"2005.03074","source_kind":"arxiv","source_version":4}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:04e3468efd665b0ee7ffb0c7a18a59e65be08e99995f7f67691f43c167ec249f","sha256:241f08c25e2bf282acf8f1eb50d8319d7cdff1970e186b2b68f5b0840b12162c"],"state_sha256":"dac8d5ebb2115462aee4a2f803a99f478ceb72e5ba76609d461a7b8d151c8e0d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"fTUaf0NNK58YljxUBcQ2udtUz1YUSbP8odf8WBzM2wZqDx1rNpdBN2MLOPE0g8U/BUKKd6h2OTwhS+e4tH5zBA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-03T18:38:54.425905Z","bundle_sha256":"4b2cad936cc90a5af8de186b84bd0a5d722ff1a8600b183e067c53bbaf29e8e6"}}