{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2015:PB6LHDPIQWFV7SN2JDA3XMR7UW","short_pith_number":"pith:PB6LHDPI","canonical_record":{"source":{"id":"1511.01570","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-11-05T01:42:39Z","cross_cats_sorted":[],"title_canon_sha256":"817a7016835a1ef4549240986b95d3ed4b173f3302a1114a797db78fb299f412","abstract_canon_sha256":"036b1b89015f537678d85da653e9cfc3ae6bb72e0d351d6680f6b2f86e3f5475"},"schema_version":"1.0"},"canonical_sha256":"787cb38de8858b5fc9ba48c1bbb23fa5a23591e1aff766b337a62d609f09b50b","source":{"kind":"arxiv","id":"1511.01570","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.01570","created_at":"2026-05-18T01:27:45Z"},{"alias_kind":"arxiv_version","alias_value":"1511.01570v1","created_at":"2026-05-18T01:27:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.01570","created_at":"2026-05-18T01:27:45Z"},{"alias_kind":"pith_short_12","alias_value":"PB6LHDPIQWFV","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"PB6LHDPIQWFV7SN2","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"PB6LHDPI","created_at":"2026-05-18T12:29:34Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2015:PB6LHDPIQWFV7SN2JDA3XMR7UW","target":"record","payload":{"canonical_record":{"source":{"id":"1511.01570","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-11-05T01:42:39Z","cross_cats_sorted":[],"title_canon_sha256":"817a7016835a1ef4549240986b95d3ed4b173f3302a1114a797db78fb299f412","abstract_canon_sha256":"036b1b89015f537678d85da653e9cfc3ae6bb72e0d351d6680f6b2f86e3f5475"},"schema_version":"1.0"},"canonical_sha256":"787cb38de8858b5fc9ba48c1bbb23fa5a23591e1aff766b337a62d609f09b50b","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T01:27:45.222016Z","signature_b64":"yGd5X8U/Q5smvWWJzKZ6HrBphzwYHtCe0cCKerTZHSVEANmhcdTlfHxLQ4AZY+23AOdnj/mpfofvyon6JuySBw==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"787cb38de8858b5fc9ba48c1bbb23fa5a23591e1aff766b337a62d609f09b50b","last_reissued_at":"2026-05-18T01:27:45.221282Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T01:27:45.221282Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1511.01570","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-05-18T01:27:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"rTpNn9NNqucYYsGid8cEc8t3iyudbzCcgJLFTfhwAXKkwy04snaGDa40HrVVWa0vEmzfTqOMYgdw0HaYHGxXDw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T03:25:16.440441Z"},"content_sha256":"bb00f4e4e1f169f6131d853614edb4108bed379c2f07f7b4a355fa6226c6f073","schema_version":"1.0","event_id":"sha256:bb00f4e4e1f169f6131d853614edb4108bed379c2f07f7b4a355fa6226c6f073"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2015:PB6LHDPIQWFV7SN2JDA3XMR7UW","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Quotient-Comprehension Chains","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":[],"primary_cat":"cs.LO","authors_text":"Bart Jacobs, Bas Westerbaan, Bram Westerbaan, Kenta Cho","submitted_at":"2015-11-05T01:42:39Z","abstract_excerpt":"Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic, but also in probabilistic and classical logic. This relation is presented by a long series of examples, some of them easy, and some also highly non-trivial (esp. for von Neumann algebras). We have not yet identified a unifying theory. Nevertheless, the paper contributes towards such a theory by introducing the new quotient-and-comprehension perspective on meas"},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.01570","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":""},"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-05-18T01:27:45Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"QHAk9MT9wgB9pwcv/y+VwizQoU/qt6tvuF9xBZ4IqQxak7AL7dMn8vfsPiYN23drlmQJR22981e2GpJwMZemAQ==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-05-28T03:25:16.440794Z"},"content_sha256":"60cf213f316423c3bfad392fe880a7cbfe319069b0e5a06757d0be17d6aff1cc","schema_version":"1.0","event_id":"sha256:60cf213f316423c3bfad392fe880a7cbfe319069b0e5a06757d0be17d6aff1cc"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/PB6LHDPIQWFV7SN2JDA3XMR7UW/bundle.json","state_url":"https://pith.science/pith/PB6LHDPIQWFV7SN2JDA3XMR7UW/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/PB6LHDPIQWFV7SN2JDA3XMR7UW/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-05-28T03:25:16Z","links":{"resolver":"https://pith.science/pith/PB6LHDPIQWFV7SN2JDA3XMR7UW","bundle":"https://pith.science/pith/PB6LHDPIQWFV7SN2JDA3XMR7UW/bundle.json","state":"https://pith.science/pith/PB6LHDPIQWFV7SN2JDA3XMR7UW/state.json","well_known_bundle":"https://pith.science/.well-known/pith/PB6LHDPIQWFV7SN2JDA3XMR7UW/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2015:PB6LHDPIQWFV7SN2JDA3XMR7UW","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":"036b1b89015f537678d85da653e9cfc3ae6bb72e0d351d6680f6b2f86e3f5475","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-11-05T01:42:39Z","title_canon_sha256":"817a7016835a1ef4549240986b95d3ed4b173f3302a1114a797db78fb299f412"},"schema_version":"1.0","source":{"id":"1511.01570","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1511.01570","created_at":"2026-05-18T01:27:45Z"},{"alias_kind":"arxiv_version","alias_value":"1511.01570v1","created_at":"2026-05-18T01:27:45Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1511.01570","created_at":"2026-05-18T01:27:45Z"},{"alias_kind":"pith_short_12","alias_value":"PB6LHDPIQWFV","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_16","alias_value":"PB6LHDPIQWFV7SN2","created_at":"2026-05-18T12:29:34Z"},{"alias_kind":"pith_short_8","alias_value":"PB6LHDPI","created_at":"2026-05-18T12:29:34Z"}],"graph_snapshots":[{"event_id":"sha256:60cf213f316423c3bfad392fe880a7cbfe319069b0e5a06757d0be17d6aff1cc","target":"graph","created_at":"2026-05-18T01:27: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"},"paper":{"abstract_excerpt":"Quotients and comprehension are fundamental mathematical constructions that can be described via adjunctions in categorical logic. This paper reveals that quotients and comprehension are related to measurement, not only in quantum logic, but also in probabilistic and classical logic. This relation is presented by a long series of examples, some of them easy, and some also highly non-trivial (esp. for von Neumann algebras). We have not yet identified a unifying theory. Nevertheless, the paper contributes towards such a theory by introducing the new quotient-and-comprehension perspective on meas","authors_text":"Bart Jacobs, Bas Westerbaan, Bram Westerbaan, Kenta Cho","cross_cats":[],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-11-05T01:42:39Z","title":"Quotient-Comprehension Chains"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1511.01570","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:bb00f4e4e1f169f6131d853614edb4108bed379c2f07f7b4a355fa6226c6f073","target":"record","created_at":"2026-05-18T01:27: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":"036b1b89015f537678d85da653e9cfc3ae6bb72e0d351d6680f6b2f86e3f5475","cross_cats_sorted":[],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"cs.LO","submitted_at":"2015-11-05T01:42:39Z","title_canon_sha256":"817a7016835a1ef4549240986b95d3ed4b173f3302a1114a797db78fb299f412"},"schema_version":"1.0","source":{"id":"1511.01570","kind":"arxiv","version":1}},"canonical_sha256":"787cb38de8858b5fc9ba48c1bbb23fa5a23591e1aff766b337a62d609f09b50b","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"787cb38de8858b5fc9ba48c1bbb23fa5a23591e1aff766b337a62d609f09b50b","first_computed_at":"2026-05-18T01:27:45.221282Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T01:27:45.221282Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"yGd5X8U/Q5smvWWJzKZ6HrBphzwYHtCe0cCKerTZHSVEANmhcdTlfHxLQ4AZY+23AOdnj/mpfofvyon6JuySBw==","signature_status":"signed_v1","signed_at":"2026-05-18T01:27:45.222016Z","signed_message":"canonical_sha256_bytes"},"source_id":"1511.01570","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:bb00f4e4e1f169f6131d853614edb4108bed379c2f07f7b4a355fa6226c6f073","sha256:60cf213f316423c3bfad392fe880a7cbfe319069b0e5a06757d0be17d6aff1cc"],"state_sha256":"cbca9cc52d582774374c701d7fbe17430e4080263cdc1b565fc8257cb8410351"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SYGcTn+5/dvGXB4vxM+7gVBLkH+l0o0/iRDQNIFdvMxSvGtJP85DIRXvskl2Ne+HEeXohIpDIr8zXNrAvvZqDw==","signed_message":"bundle_sha256_bytes","signed_at":"2026-05-28T03:25:16.442891Z","bundle_sha256":"740f5b83072fa1f6f280d22ee90a09e0d32c799e614e9c9e2c6a45cb2da3f1ce"}}