dorsal/arxiv
View SchemaSheafifying Consistent Histories
| Authors | Ioannis Raptis |
|---|---|
| Categories | |
| ArXiv ID | quant-ph/0107037 |
| URL | https://arxiv.org/abs/quant-ph/0107037 |
Abstract
Isham's topos-theoretic perspective on the logic of the consistent-histories theory is extended in two ways. First, the presheaves of consistent sets of history propositions in the topos proposed by Isham are endowed with a Vietoris-type of topology and subsequently they are sheafified with respect to it. The category resulting from this sheafification procedure is the topos of sheaves of sets varying continuously over the Vietoris-topologized base poset category of Boolean subalgebras of the universal orthoalgebra of quantum history propositions. The second extension of Isham's topos consists in endowing the stalks of the aforementioned sheaves, which were originally inhabited by structureless sets, with further algebraic structure, that also enjoys a quantum causal interpretation, so as to arrive at the topos of consistent-histories of quantum causal sets. The resulting quantum causal histories topos is compared with Markopoulou's quantum causal histories, with Mallios and this author's finitary spacetime sheaves of quantum causal sets, as well as with Butterfield and Isham's topos perspective on the Kochen-Specker theorem of quantum logic.
{
"annotation_id": "302455d3-45a2-4bec-b1fe-85f859dec1e7",
"date_created": "2026-03-02T18:01:46.079000Z",
"date_modified": "2026-03-02T18:01:46.079000Z",
"file_hash": "3a39dc50c564a613eaef574cb6e289014a69248d0f15743f59cb257f60cf005f",
"private": false,
"record": {
"abstract": "Isham\u0027s topos-theoretic perspective on the logic of the consistent-histories\ntheory is extended in two ways. First, the presheaves of consistent sets of\nhistory propositions in the topos proposed by Isham are endowed with a\nVietoris-type of topology and subsequently they are sheafified with respect to\nit. The category resulting from this sheafification procedure is the topos of\nsheaves of sets varying continuously over the Vietoris-topologized base poset\ncategory of Boolean subalgebras of the universal orthoalgebra of quantum\nhistory propositions. The second extension of Isham\u0027s topos consists in\nendowing the stalks of the aforementioned sheaves, which were originally\ninhabited by structureless sets, with further algebraic structure, that also\nenjoys a quantum causal interpretation, so as to arrive at the topos of\nconsistent-histories of quantum causal sets. The resulting quantum causal\nhistories topos is compared with Markopoulou\u0027s quantum causal histories, with\nMallios and this author\u0027s finitary spacetime sheaves of quantum causal sets, as\nwell as with Butterfield and Isham\u0027s topos perspective on the Kochen-Specker\ntheorem of quantum logic.",
"arxiv_id": "quant-ph/0107037",
"authors": [
"Ioannis Raptis"
],
"categories": [
"quant-ph",
"gr-qc"
],
"title": "Sheafifying Consistent Histories",
"url": "https://arxiv.org/abs/quant-ph/0107037"
},
"schema_id": "dorsal/arxiv",
"source": {
"execution_id": "73442280-343d-4ef9-ae0e-a00a856d3f5b",
"id": "arXiv Dataset IDs",
"type": "Model",
"variant": "snapshot-2026-03-01",
"version": "0.1.0"
},
"user_id": 1000002
}