{
  "annotation_id": "3e192793-88f1-4e52-9c06-0d198583e1c4",
  "date_created": "2026-03-02T18:02:07.098000Z",
  "date_modified": "2026-03-02T18:02:07.098000Z",
  "file_hash": "b167ca678a672edfb1e3ac4ba143decace937b75290c3b4e012d764fecc075b4",
  "private": false,
  "record": {
    "abstract": "We introduce a foundational sheaf theoretical scheme for the comprehension of\nquantum event structures, in terms of localization systems consisting of\nBoolean coordinatization coverings induced by measurement. The scheme is based\non the existence of a categorical adjunction between presheaves of Boolean\nevent algebras and Quantum event algebras. On the basis of this adjoint\ncorrespondence we prove the existence of an object of truth values in the\ncategory of quantum logics, characterized as subobject classifier. This\nclassifying object plays the equivalent role that the two-valued Boolean truth\nvalues object plays in classical event structures. We construct the object of\nquantum truth values explicitly and argue that it constitutes the appropriate\nchoice for the valuation of propositions describing the behavior of quantum\nsystems.",
    "arxiv_id": "quant-ph/0402174",
    "authors": [
      "Elias Zafiris"
    ],
    "categories": [
      "quant-ph"
    ],
    "title": "Categorical Foundations of Quantum Logics and Their Truth Values   Structures",
    "url": "https://arxiv.org/abs/quant-ph/0402174"
  },
  "schema_id": "dorsal/arxiv",
  "source": {
    "execution_id": "bb688a0e-365c-4698-8436-c6e42a581ae8",
    "id": "arXiv Dataset IDs",
    "type": "Model",
    "variant": "snapshot-2026-03-01",
    "version": "0.1.0"
  },
  "user_id": 1000002
}