{"record_type":"pith_number_record","schema_url":"https://pith.science/schemas/pith-number/v1.json","pith_number":"pith:2014:KWHHCMDMCNC2M73IHQ2VOAFWVT","short_pith_number":"pith:KWHHCMDM","schema_version":"1.0","canonical_sha256":"558e71306c1345a67f683c355700b6acce117ec07bc2ec2ae1b317a2a780f79a","source":{"kind":"arxiv","id":"1412.8526","version":1},"attestation_state":"computed","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 "},"verification_status":{"content_addressed":true,"pith_receipt":true,"author_attested":false,"weak_author_claims":0,"strong_author_claims":0,"externally_anchored":false,"storage_verified":false,"citation_signatures":0,"replication_records":0,"graph_snapshot":true,"references_resolved":false,"formal_links_present":false},"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"},"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"},"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"},"aliases":[{"alias_kind":"arxiv","alias_value":"1412.8526","created_at":"2026-05-18T02:30:17.202636+00:00"},{"alias_kind":"arxiv_version","alias_value":"1412.8526v1","created_at":"2026-05-18T02:30:17.202636+00:00"},{"alias_kind":"doi","alias_value":"10.48550/arxiv.1412.8526","created_at":"2026-05-18T02:30:17.202636+00:00"},{"alias_kind":"pith_short_12","alias_value":"KWHHCMDMCNC2","created_at":"2026-05-18T12:28:35.611951+00:00"},{"alias_kind":"pith_short_16","alias_value":"KWHHCMDMCNC2M73I","created_at":"2026-05-18T12:28:35.611951+00:00"},{"alias_kind":"pith_short_8","alias_value":"KWHHCMDM","created_at":"2026-05-18T12:28:35.611951+00:00"}],"events":[],"event_summary":{},"paper_claims":[],"inbound_citations":{"count":0,"internal_anchor_count":0,"sample":[]},"formal_canon":{"evidence_count":0,"sample":[],"anchors":[]},"links":{"html":"https://pith.science/pith/KWHHCMDMCNC2M73IHQ2VOAFWVT","json":"https://pith.science/pith/KWHHCMDMCNC2M73IHQ2VOAFWVT.json","graph_json":"https://pith.science/api/pith-number/KWHHCMDMCNC2M73IHQ2VOAFWVT/graph.json","events_json":"https://pith.science/api/pith-number/KWHHCMDMCNC2M73IHQ2VOAFWVT/events.json","paper":"https://pith.science/paper/KWHHCMDM"},"agent_actions":{"view_html":"https://pith.science/pith/KWHHCMDMCNC2M73IHQ2VOAFWVT","download_json":"https://pith.science/pith/KWHHCMDMCNC2M73IHQ2VOAFWVT.json","view_paper":"https://pith.science/paper/KWHHCMDM","resolve_alias":"https://pith.science/api/pith-number/resolve?arxiv=1412.8526&json=true","fetch_graph":"https://pith.science/api/pith-number/KWHHCMDMCNC2M73IHQ2VOAFWVT/graph.json","fetch_events":"https://pith.science/api/pith-number/KWHHCMDMCNC2M73IHQ2VOAFWVT/events.json","actions":{"anchor_timestamp":"https://pith.science/pith/KWHHCMDMCNC2M73IHQ2VOAFWVT/action/timestamp_anchor","attest_storage":"https://pith.science/pith/KWHHCMDMCNC2M73IHQ2VOAFWVT/action/storage_attestation","attest_author":"https://pith.science/pith/KWHHCMDMCNC2M73IHQ2VOAFWVT/action/author_attestation","sign_citation":"https://pith.science/pith/KWHHCMDMCNC2M73IHQ2VOAFWVT/action/citation_signature","submit_replication":"https://pith.science/pith/KWHHCMDMCNC2M73IHQ2VOAFWVT/action/replication_record"}},"created_at":"2026-05-18T02:30:17.202636+00:00","updated_at":"2026-05-18T02:30:17.202636+00:00"}