{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2022:544BHQDP7JQCNPVY75F7T7TLNQ","short_pith_number":"pith:544BHQDP","canonical_record":{"source":{"id":"2205.06068","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2022-05-12T13:02:25Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"cb0ea1bf867348c2cea90423df30535dc8dcd5366423613f4f8a508407c76298","abstract_canon_sha256":"ba02802d02d324f23af15f4ce5f1ca1ac97107748e9df01d4ef3b9f1ef7a3677"},"schema_version":"1.0"},"canonical_sha256":"ef3813c06ffa6026beb8ff4bf9fe6b6c021638c0cb6cda92a18039d662d33094","source":{"kind":"arxiv","id":"2205.06068","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.06068","created_at":"2026-07-05T04:22:45Z"},{"alias_kind":"arxiv_version","alias_value":"2205.06068v1","created_at":"2026-07-05T04:22:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.06068","created_at":"2026-07-05T04:22:45Z"},{"alias_kind":"pith_short_12","alias_value":"544BHQDP7JQC","created_at":"2026-07-05T04:22:45Z"},{"alias_kind":"pith_short_16","alias_value":"544BHQDP7JQCNPVY","created_at":"2026-07-05T04:22:45Z"},{"alias_kind":"pith_short_8","alias_value":"544BHQDP","created_at":"2026-07-05T04:22:45Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2022:544BHQDP7JQCNPVY75F7T7TLNQ","target":"record","payload":{"canonical_record":{"source":{"id":"2205.06068","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2022-05-12T13:02:25Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"cb0ea1bf867348c2cea90423df30535dc8dcd5366423613f4f8a508407c76298","abstract_canon_sha256":"ba02802d02d324f23af15f4ce5f1ca1ac97107748e9df01d4ef3b9f1ef7a3677"},"schema_version":"1.0"},"canonical_sha256":"ef3813c06ffa6026beb8ff4bf9fe6b6c021638c0cb6cda92a18039d662d33094","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-07-05T04:22:45.168397Z","signature_b64":"wFR/slYSyuGNtWqsoMIdZey5VDTB1y9bz8rz7PgjrGjzZen+vTUlra/jIGoHB29Hi5c6dCtsuhksnMArFCfCBQ==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"ef3813c06ffa6026beb8ff4bf9fe6b6c021638c0cb6cda92a18039d662d33094","last_reissued_at":"2026-07-05T04:22:45.168012Z","signature_status":"signed_v1","first_computed_at":"2026-07-05T04:22:45.168012Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"2205.06068","source_version":1,"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-05T04:22:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"EXasugVGP1cCY9T32AZOi1Yyn6ti7cpzmTJrmmWC+FUdxgPAf8hu6FbQ9ItZFjVRegE/7bVED6zNScsy9jMVBA==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T00:19:49.505933Z"},"content_sha256":"34a844b03800978e40f4bd4dc1402b1a9600db1c13503b0ca117f1a52f7ad7dc","schema_version":"1.0","event_id":"sha256:34a844b03800978e40f4bd4dc1402b1a9600db1c13503b0ca117f1a52f7ad7dc"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2022:544BHQDP7JQCNPVY75F7T7TLNQ","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"On the Lambek embedding and the category of product-preserving presheaves","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"math.CT","authors_text":"Kohei Kishida, Neil J. Ross, Peng Fu, Peter Selinger","submitted_at":"2022-05-12T13:02:25Z","abstract_excerpt":"It is well-known that the category of presheaf functors is complete and cocomplete, and that the Yoneda embedding into the presheaf category preserves products. However, the Yoneda embedding does not preserve coproducts. It is perhaps less well-known that if we restrict the codomain of the Yoneda embedding to the full subcategory of limit-preserving functors, then this embedding preserves colimits, while still enjoying most of the other useful properties of the Yoneda embedding. We call this modified embedding the Lambek embedding. The category of limit-preserving functors is known to be a ref"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.06068","kind":"arxiv","version":1},"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/2205.06068/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-05T04:22:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"mDqCFJlihatfj26C3bwbJXuQG36VqM5V3nUfR4kJ4B+uhsKvS8wMwuxqa0X/DOdykpWZmvhmZwqmAq1IYLlXCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-08-09T00:19:49.506437Z"},"content_sha256":"c34a73e0c0bdfe86b45f244e90a42fd5b6b7501f626553e50b9a615368537b29","schema_version":"1.0","event_id":"sha256:c34a73e0c0bdfe86b45f244e90a42fd5b6b7501f626553e50b9a615368537b29"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/544BHQDP7JQCNPVY75F7T7TLNQ/bundle.json","state_url":"https://pith.science/pith/544BHQDP7JQCNPVY75F7T7TLNQ/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/544BHQDP7JQCNPVY75F7T7TLNQ/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-09T00:19:49Z","links":{"resolver":"https://pith.science/pith/544BHQDP7JQCNPVY75F7T7TLNQ","bundle":"https://pith.science/pith/544BHQDP7JQCNPVY75F7T7TLNQ/bundle.json","state":"https://pith.science/pith/544BHQDP7JQCNPVY75F7T7TLNQ/state.json","well_known_bundle":"https://pith.science/.well-known/pith/544BHQDP7JQCNPVY75F7T7TLNQ/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2022:544BHQDP7JQCNPVY75F7T7TLNQ","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":"ba02802d02d324f23af15f4ce5f1ca1ac97107748e9df01d4ef3b9f1ef7a3677","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2022-05-12T13:02:25Z","title_canon_sha256":"cb0ea1bf867348c2cea90423df30535dc8dcd5366423613f4f8a508407c76298"},"schema_version":"1.0","source":{"id":"2205.06068","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"2205.06068","created_at":"2026-07-05T04:22:45Z"},{"alias_kind":"arxiv_version","alias_value":"2205.06068v1","created_at":"2026-07-05T04:22:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.2205.06068","created_at":"2026-07-05T04:22:45Z"},{"alias_kind":"pith_short_12","alias_value":"544BHQDP7JQC","created_at":"2026-07-05T04:22:45Z"},{"alias_kind":"pith_short_16","alias_value":"544BHQDP7JQCNPVY","created_at":"2026-07-05T04:22:45Z"},{"alias_kind":"pith_short_8","alias_value":"544BHQDP","created_at":"2026-07-05T04:22:45Z"}],"graph_snapshots":[{"event_id":"sha256:c34a73e0c0bdfe86b45f244e90a42fd5b6b7501f626553e50b9a615368537b29","target":"graph","created_at":"2026-07-05T04:22:45Z","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/2205.06068/integrity.json","findings":[],"snapshot_sha256":"c28c3603d3b5d939e8dc4c7e95fa8dfce3d595e45f758748cecf8e644a296938","summary":{"advisory":0,"by_detector":{},"critical":0,"informational":0}},"paper":{"abstract_excerpt":"It is well-known that the category of presheaf functors is complete and cocomplete, and that the Yoneda embedding into the presheaf category preserves products. However, the Yoneda embedding does not preserve coproducts. It is perhaps less well-known that if we restrict the codomain of the Yoneda embedding to the full subcategory of limit-preserving functors, then this embedding preserves colimits, while still enjoying most of the other useful properties of the Yoneda embedding. We call this modified embedding the Lambek embedding. The category of limit-preserving functors is known to be a ref","authors_text":"Kohei Kishida, Neil J. Ross, Peng Fu, Peter Selinger","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2022-05-12T13:02:25Z","title":"On the Lambek embedding and the category of product-preserving presheaves"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"2205.06068","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:34a844b03800978e40f4bd4dc1402b1a9600db1c13503b0ca117f1a52f7ad7dc","target":"record","created_at":"2026-07-05T04:22:45Z","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":"ba02802d02d324f23af15f4ce5f1ca1ac97107748e9df01d4ef3b9f1ef7a3677","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"math.CT","submitted_at":"2022-05-12T13:02:25Z","title_canon_sha256":"cb0ea1bf867348c2cea90423df30535dc8dcd5366423613f4f8a508407c76298"},"schema_version":"1.0","source":{"id":"2205.06068","kind":"arxiv","version":1}},"canonical_sha256":"ef3813c06ffa6026beb8ff4bf9fe6b6c021638c0cb6cda92a18039d662d33094","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"ef3813c06ffa6026beb8ff4bf9fe6b6c021638c0cb6cda92a18039d662d33094","first_computed_at":"2026-07-05T04:22:45.168012Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-07-05T04:22:45.168012Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"wFR/slYSyuGNtWqsoMIdZey5VDTB1y9bz8rz7PgjrGjzZen+vTUlra/jIGoHB29Hi5c6dCtsuhksnMArFCfCBQ==","signature_status":"signed_v1","signed_at":"2026-07-05T04:22:45.168397Z","signed_message":"canonical_sha256_bytes"},"source_id":"2205.06068","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:34a844b03800978e40f4bd4dc1402b1a9600db1c13503b0ca117f1a52f7ad7dc","sha256:c34a73e0c0bdfe86b45f244e90a42fd5b6b7501f626553e50b9a615368537b29"],"state_sha256":"18872fc405e75edf44563f6804d3b175334cb8615ba2d8f4e3fb7f4e53a61a16"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"Wdz5SHsrMywB4kBPF1pCZpimfDrCxQnLFxAtkC4oz8DX6ResrwMivYFkFqGT9kL+u0boiKn+ZlleqSBpzWprBg==","signed_message":"bundle_sha256_bytes","signed_at":"2026-08-09T00:19:49.510931Z","bundle_sha256":"f3859453b68973c1022dea97ac6f04c7a548cc13c22c0efaf5817901a88bfe34"}}