The Sheaf-Theoretic Structure of Definite Causality
arXiv:2103.13771 · doi:10.4204/EPTCS.343.13
Abstract
We fill a gap in the study of contextuality by extending the sheaf-theoretic framework for non-locality by Abramsky and Brandenburger to deal with operational scenarios in the presence of arbitrary definite causal orders.
This paper has been superseded by arXiv:2206.08911v4, arXiv:2303.07148 and arXiv:2303.09017. Specifically, Definition 3 of Locale of Inputs given in this work is not fit for purpose: Spaces of Input Histories, cf. Definition 3.8 of arXiv:2206.08911v4, should be used instead. If you wish to cite our work or built upon it, this is unlikely to be the right reference
References in corpus (14)
- Experimental Verification of an Indefinite Causal Order
- Beyond Bell's Theorem: Correlation Scenarios
- Theory-independent limits on correlations from generalised Bayesian networks
- The contextual fraction as a measure of contextuality
- Logical Bell Inequalities
- Maximal incompatibility of locally classical behavior and global causal order in multi-party scenarios
- Cyclic Quantum Causal Models
- Terminality implies non-signalling
- On the Cohomology of Contextuality
- Non-locality, contextuality and valuation algebras: a general theory of disagreement
- Consequences and applications of the completeness of Hardy's nonlocality
- The logic of contextuality
- Cohomology and the Algebraic Structure of Contextuality in Measurement Based Quantum Computation
- Stochastic Relational Presheaves and Dynamic Logic for Contextuality