{"bundle_type":"pith_open_graph_bundle","bundle_version":"1.0","pith_number":"pith:2014:KWHHCMDMCNC2M73IHQ2VOAFWVT","short_pith_number":"pith:KWHHCMDM","canonical_record":{"source":{"id":"1412.8526","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2014-12-30T01:43:24Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"786bbc012af49cbecba5e6f97a0c22588fe26d3620c619f5c5c1b1803c57692d","abstract_canon_sha256":"6063bf8c3fa97ccc300538b4b3b51d6fbb6c1ec20c8da027855a20979c89e153"},"schema_version":"1.0"},"canonical_sha256":"558e71306c1345a67f683c355700b6acce117ec07bc2ec2ae1b317a2a780f79a","source":{"kind":"arxiv","id":"1412.8526","version":1},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.8526","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"arxiv_version","alias_value":"1412.8526v1","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.8526","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"pith_short_12","alias_value":"KWHHCMDMCNC2","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KWHHCMDMCNC2M73I","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KWHHCMDM","created_at":"2026-05-18T12:28:35Z"}],"events":[{"event_type":"record_created","subject_pith_number":"pith:2014:KWHHCMDMCNC2M73IHQ2VOAFWVT","target":"record","payload":{"canonical_record":{"source":{"id":"1412.8526","kind":"arxiv","version":1},"metadata":{"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2014-12-30T01:43:24Z","cross_cats_sorted":["cs.LO"],"title_canon_sha256":"786bbc012af49cbecba5e6f97a0c22588fe26d3620c619f5c5c1b1803c57692d","abstract_canon_sha256":"6063bf8c3fa97ccc300538b4b3b51d6fbb6c1ec20c8da027855a20979c89e153"},"schema_version":"1.0"},"canonical_sha256":"558e71306c1345a67f683c355700b6acce117ec07bc2ec2ae1b317a2a780f79a","receipt":{"kind":"pith_receipt","key_id":"pith-v1-2026-05","algorithm":"ed25519","signed_at":"2026-05-18T02:30:17.202988Z","signature_b64":"t6lxlVH/oLxge6F1stkFza9sZgS/Tn8TXpSgsla9xwIFKxxYtylJXYRk+bZKv7PdBIwr0HBDsSY/Y9r22Vp6Dg==","signed_message":"canonical_sha256_bytes","builder_version":"pith-number-builder-2026-05-17-v1","receipt_version":"0.3","canonical_sha256":"558e71306c1345a67f683c355700b6acce117ec07bc2ec2ae1b317a2a780f79a","last_reissued_at":"2026-05-18T02:30:17.202565Z","signature_status":"signed_v1","first_computed_at":"2026-05-18T02:30:17.202565Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54"},"source_kind":"arxiv","source_id":"1412.8526","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-18T02:30:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"SYy4Jg4+jZoEUc8sNAl4vVLrQ6H+BVWBxZwu5mfchSEhmfIcXRgf1MeMc+2kbE60kq8PrfTtll+z8zzCRtTWDg==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T14:33:21.500086Z"},"content_sha256":"4bb2a82b6226d6393f30fa235b5032dc42a25531fb59b2b52602ed0250126ec6","schema_version":"1.0","event_id":"sha256:4bb2a82b6226d6393f30fa235b5032dc42a25531fb59b2b52602ed0250126ec6"},{"event_type":"graph_snapshot","subject_pith_number":"pith:2014:KWHHCMDMCNC2M73IHQ2VOAFWVT","target":"graph","payload":{"graph_snapshot":{"paper":{"title":"Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","headline":"","cross_cats":["cs.LO"],"primary_cat":"quant-ph","authors_text":"Department of Computer Science, University of Oxford), Yoshihiro Maruyama (Quantum Group","submitted_at":"2014-12-30T01:43:24Z","abstract_excerpt":"Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical, intuitionistic, and diverse substructural logics. Here we show there are those dual adjunctions that have inherent hyperdoctrine structures in their predicate functor parts. We systematically investigate into the categorical logics of dual adjunctions by utilising Johnstone-Dimov-Tholen's duality-theoretic framework. Our set-theoretical duality-based hyperdoctrines "},"claims":{"count":0,"items":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.8526","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-18T02:30:17Z","supersedes":[],"prev_event":null,"signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"L3BQMLBRDohylWFw/2Y+QS6yo00jTmHWyhbwD6r2riDdOhr6C7aKuhJnuugKA12FtcgsUWc6tGhwqiWDNebiCw==","signed_message":"open_graph_event_sha256_bytes","signed_at":"2026-06-09T14:33:21.500479Z"},"content_sha256":"65f28664ac571d6c148fcf32a9b0b24b0e59c97eb5e9e9adc8a8c720ee610b25","schema_version":"1.0","event_id":"sha256:65f28664ac571d6c148fcf32a9b0b24b0e59c97eb5e9e9adc8a8c720ee610b25"}],"timestamp_proofs":[],"mirror_hints":[{"mirror_type":"https","name":"Pith Resolver","base_url":"https://pith.science","bundle_url":"https://pith.science/pith/KWHHCMDMCNC2M73IHQ2VOAFWVT/bundle.json","state_url":"https://pith.science/pith/KWHHCMDMCNC2M73IHQ2VOAFWVT/state.json","well_known_bundle_url":"https://pith.science/.well-known/pith/KWHHCMDMCNC2M73IHQ2VOAFWVT/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-06-09T14:33:21Z","links":{"resolver":"https://pith.science/pith/KWHHCMDMCNC2M73IHQ2VOAFWVT","bundle":"https://pith.science/pith/KWHHCMDMCNC2M73IHQ2VOAFWVT/bundle.json","state":"https://pith.science/pith/KWHHCMDMCNC2M73IHQ2VOAFWVT/state.json","well_known_bundle":"https://pith.science/.well-known/pith/KWHHCMDMCNC2M73IHQ2VOAFWVT/bundle.json"},"state":{"state_type":"pith_open_graph_state","state_version":"1.0","pith_number":"pith:2014:KWHHCMDMCNC2M73IHQ2VOAFWVT","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":"6063bf8c3fa97ccc300538b4b3b51d6fbb6c1ec20c8da027855a20979c89e153","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2014-12-30T01:43:24Z","title_canon_sha256":"786bbc012af49cbecba5e6f97a0c22588fe26d3620c619f5c5c1b1803c57692d"},"schema_version":"1.0","source":{"id":"1412.8526","kind":"arxiv","version":1}},"source_aliases":[{"alias_kind":"arxiv","alias_value":"1412.8526","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"arxiv_version","alias_value":"1412.8526v1","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.8526","created_at":"2026-05-18T02:30:17Z"},{"alias_kind":"pith_short_12","alias_value":"KWHHCMDMCNC2","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_16","alias_value":"KWHHCMDMCNC2M73I","created_at":"2026-05-18T12:28:35Z"},{"alias_kind":"pith_short_8","alias_value":"KWHHCMDM","created_at":"2026-05-18T12:28:35Z"}],"graph_snapshots":[{"event_id":"sha256:65f28664ac571d6c148fcf32a9b0b24b0e59c97eb5e9e9adc8a8c720ee610b25","target":"graph","created_at":"2026-05-18T02:30:17Z","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":"Categorical Universal Logic is a theory of monad-relativised hyperdoctrines (or fibred universal algebras), which in particular encompasses categorical forms of both first-order and higher-order quantum logics as well as classical, intuitionistic, and diverse substructural logics. Here we show there are those dual adjunctions that have inherent hyperdoctrine structures in their predicate functor parts. We systematically investigate into the categorical logics of dual adjunctions by utilising Johnstone-Dimov-Tholen's duality-theoretic framework. Our set-theoretical duality-based hyperdoctrines ","authors_text":"Department of Computer Science, University of Oxford), Yoshihiro Maruyama (Quantum Group","cross_cats":["cs.LO"],"headline":"","license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2014-12-30T01:43:24Z","title":"Duality Theory and Categorical Universal Logic: With Emphasis on Quantum Structures"},"references":{"count":0,"internal_anchors":0,"resolved_work":0,"sample":[],"snapshot_sha256":"258153158e38e3291e3d48162225fcdb2d5a3ed65a07baac614ab91432fd4f57"},"source":{"id":"1412.8526","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:4bb2a82b6226d6393f30fa235b5032dc42a25531fb59b2b52602ed0250126ec6","target":"record","created_at":"2026-05-18T02:30:17Z","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":"6063bf8c3fa97ccc300538b4b3b51d6fbb6c1ec20c8da027855a20979c89e153","cross_cats_sorted":["cs.LO"],"license":"http://arxiv.org/licenses/nonexclusive-distrib/1.0/","primary_cat":"quant-ph","submitted_at":"2014-12-30T01:43:24Z","title_canon_sha256":"786bbc012af49cbecba5e6f97a0c22588fe26d3620c619f5c5c1b1803c57692d"},"schema_version":"1.0","source":{"id":"1412.8526","kind":"arxiv","version":1}},"canonical_sha256":"558e71306c1345a67f683c355700b6acce117ec07bc2ec2ae1b317a2a780f79a","receipt":{"algorithm":"ed25519","builder_version":"pith-number-builder-2026-05-17-v1","canonical_sha256":"558e71306c1345a67f683c355700b6acce117ec07bc2ec2ae1b317a2a780f79a","first_computed_at":"2026-05-18T02:30:17.202565Z","key_id":"pith-v1-2026-05","kind":"pith_receipt","last_reissued_at":"2026-05-18T02:30:17.202565Z","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","receipt_version":"0.3","signature_b64":"t6lxlVH/oLxge6F1stkFza9sZgS/Tn8TXpSgsla9xwIFKxxYtylJXYRk+bZKv7PdBIwr0HBDsSY/Y9r22Vp6Dg==","signature_status":"signed_v1","signed_at":"2026-05-18T02:30:17.202988Z","signed_message":"canonical_sha256_bytes"},"source_id":"1412.8526","source_kind":"arxiv","source_version":1}}},"equivocations":[],"invalid_events":[],"applied_event_ids":["sha256:4bb2a82b6226d6393f30fa235b5032dc42a25531fb59b2b52602ed0250126ec6","sha256:65f28664ac571d6c148fcf32a9b0b24b0e59c97eb5e9e9adc8a8c720ee610b25"],"state_sha256":"5d005a5be9842527edd6f0ae48000c1e3205285291237071852a5e11cc21b98d"},"bundle_signature":{"signature_status":"signed_v1","algorithm":"ed25519","key_id":"pith-v1-2026-05","public_key_fingerprint":"8d4b5ee74e4693bcd1df2446408b0d54","signature_b64":"f2g/LpLTkn9im7xuhV2P+FaR+Fzgs8+xorWy1xrXh1Cc0lr9Pbs3cMCNl2i7SdZjbzCYvPDelQH7SmZwVbxuDA==","signed_message":"bundle_sha256_bytes","signed_at":"2026-06-09T14:33:21.502510Z","bundle_sha256":"add717f35d5b42284e14fe52653cfe21dbf0dfe2385658192635cf0a36d271c7"}}