@article(abramsky2013relational, author = {Samson Abramsky}, year = {2013}, title = {Relational hidden variables and non-locality}, journal = {Studia Logica}, volume = {101}, number = {2}, pages = {411--452}, doi = {10.1007/s11225-013-9477-4}, ) @inproceedings(contextuality_cohomology_and_paradox, author = {Samson Abramsky and Rui Soares Barbosa and Kohei Kishida and Raymond Lal and Shane Mansfield}, year = {2015}, title = {{Contextuality, Cohomology and Paradox}}, editor = {Stephan Kreutzer}, booktitle = {Proceedings of CSL 2015}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, volume = {41}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, pages = {211--228}, doi = {10.4230/LIPIcs.CSL.2015.211}, ) @article(contextual_fraction, author = {Samson Abramsky and Rui Soares Barbosa and Shane Mansfield}, year = {2017}, title = {Contextual fraction as a measure of contextuality}, journal = {Physical review letters}, volume = {119}, number = {5}, pages = {050504}, doi = {10.1103/PhysRevLett.119.050504}, ) @inproceedings(abramsky2017quantummonad, author = {Samson Abramsky and Rui Soares Barbosa and Nadish de Silva and Octavio Zapata}, year = {2017}, title = {{The Quantum Monad on Relational Structures}}, editor = {Kim G. Larsen and Hans L. Bodlaender and Jean-Francois Raskin}, booktitle = {42nd International Symposium on Mathematical Foundations of Computer Science (MFCS 2017)}, series = {Leibniz International Proceedings in Informatics (LIPIcs)}, volume = {83}, publisher = {Schloss Dagstuhl--Leibniz-Zentrum fuer Informatik}, address = {Dagstuhl, Germany}, pages = {35:1--35:19}, doi = {10.4230/LIPIcs.MFCS.2017.35}, ) @article(abramsky_brandenburger_sheaf-theoretic_structure, author = {Samson Abramsky and Adam Brandenburger}, year = {2011}, title = {The sheaf-theoretic structure of non-locality and contextuality}, journal = {New Journal of Physics}, volume = {13}, number = {11}, pages = {113036}, doi = {10.1088/1367-2630/13/11/113036}, ) @inproceedings(cohomology_of_contextuality, author = {Samson Abramsky and Shane Mansfield and Rui Soares Barbosa}, year = {2012}, title = {The Cohomology of Non-Locality and Contextuality}, booktitle = {Proceedings of QPL 2011}, series = {Electronic Proceedings in Theoretical Computer Science}, publisher = {Citeseer}, pages = {1--14}, doi = {10.4204/EPTCS.95.1}, ) @article(acin2015combinatorial, author = {Ac{\'\i}n, Antonio and Tobias Fritz and Anthony Leverrier and Ana Bel{\'e}n Sainz}, year = {2015}, title = {A combinatorial approach to nonlocality and contextuality}, journal = {Communications in Mathematical Physics}, volume = {334}, number = {2}, pages = {533--628}, doi = {10.1007/s00220-014-2260-1}, ) @article(amaral2017noncontextual, author = {Barbara Amaral and Ad{\'a}n Cabello and Marcelo Terra Cunha and Leandro Aolita}, year = {2018}, title = {Noncontextual wirings}, journal = {Physical review letters}, volume = {120}, number = {13}, pages = {130403}, doi = {10.1103/PhysRevLett.120.130403}, ) @article(barrett2005nonlocal, author = {Jonathan Barrett and Noah Linden and Serge Massar and Stefano Pironio and Sandu Popescu and David Roberts}, year = {2005}, title = {Nonlocal correlations as an information-theoretic resource}, journal = {Physical Review A}, volume = {71}, number = {2}, pages = {022101}, doi = {10.1103/PhysRevA.71.022101}, ) @article(barrett2005popescu, author = {Jonathan Barrett and Stefano Pironio}, year = {2005}, title = {Popescu-Rohrlich correlations as a unit of nonlocality}, journal = {Physical review letters}, volume = {95}, number = {14}, pages = {140401}, doi = {10.1103/PhysRevLett.95.140401}, ) @book(borceuxvol2, author = {Francis Borceux}, year = {1994}, title = {Handbook of Categorical Algebra 2: Categories and Structures (Encyclopedia of Mathematics and Its Applications)}, publisher = {Cambridge University Press}, doi = {10.1017/CBO9780511525865}, ) @article(coecke2016mathematical, author = {Bob Coecke and Tobias Fritz and Robert W Spekkens}, year = {2016}, title = {A mathematical theory of resources}, journal = {Information and Computation}, volume = {250}, pages = {59--86}, doi = {10.1016/j.ic.2016.02.008}, ) @inproceedings(cunningham2017purity, author = {Oscar Cunningham and Chris Heunen}, year = {2017}, title = {Purity through factorisation}, booktitle = {Proceedings of QPL 2017}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {266}, pages = {315--328}, doi = {10.4204/EPTCS.266.20}, ) @article(duarte2017resource, author = {Cristhiano Duarte and Barbara Amaral}, year = {2018}, title = {Resource theory of contextuality for arbitrary prepare-and-measure experiments}, journal = {Journal of Mathematical Physics}, volume = {59}, number = {6}, pages = {062202}, doi = {10.1063/1.5018582}, ) @article(friz:gleaves, author = {Cecilia Flori and Tobias Fritz}, year = {2016}, title = {Compositories and gleaves}, journal = {Theory and Applications of Categories}, volume = {31}, number = {33}, pages = {928--988}, ) @inproceedings(jacobs2010convexity, author = {Bart Jacobs}, year = {2010}, title = {Convexity, duality and effects}, booktitle = {IFIP International Conference on Theoretical Computer Science}, organization = {Springer}, pages = {1--19}, doi = {10.1007/978-3-642-15240-5_1}, ) @book(maclanesheaves, author = {Saunders MacLane and Ieke Moerdijk}, year = {1992}, title = {Sheaves in geometry and logic: A first introduction to topos theory}, publisher = {Springer-Verlag}, ) @phdthesis(shane2013thesis, author = {Shane Mansfield}, year = {2013}, title = {The Mathematical Structure of Non-locality and Contextuality}, school = {University of Oxford}, ) @article(mansfieldfritz2012hardy, author = {Shane Mansfield and Tobias Fritz}, year = {2012}, title = {Hardy's non-locality paradox and possibilistic conditions for non-locality}, journal = {Foundations of Physics}, volume = {42}, number = {5}, pages = {709--719}, doi = {10.1007/s10701-012-9640-1}, ) @article(spekkens2005contextuality, author = {Robert W Spekkens}, year = {2005}, title = {Contextuality for preparations, transformations, and unsharp measurements}, journal = {Physical Review A}, volume = {71}, number = {5}, pages = {052108}, doi = {10.1103/PhysRevA.71.052108}, ) @inproceedings(sander2015effect, author = {Sam Staton and Sander Uijlen}, year = {2015}, title = {Effect algebras, presheaves, non-locality and contextuality}, booktitle = {International Colloquium on Automata, Languages, and Programming}, organization = {Springer}, pages = {401--413}, doi = {10.1007/978-3-662-47666-6_32}, ) @article(varacca_winskel_2006, author = {Daniele Varacca and Glynn Winskel}, year = {2006}, title = {Distributing probability over non-determinism}, journal = {Mathematical Structures in Computer Science}, volume = {16}, number = {1}, pages = {87--113}, doi = {10.1017/S0960129505005074}, ) @article(vorob1962consistent, author = {Nikolai Nikolaevich Vorob'ev}, year = {1962}, title = {Consistent families of measures and their extensions}, journal = {Theory of Probability \& Its Applications}, volume = {7}, number = {2}, pages = {147--163}, doi = {10.1137/1107014}, ) @inproceedings(wester2017almost, author = {Linde Wester}, year = {2018}, title = {Almost Equivalent Paradigms of Contextuality}, booktitle = {Proceedings of QPL 2017}, series = {Electronic Proceedings in Theoretical Computer Science}, volume = {266}, pages = {1--22}, doi = {10.4204/EPTCS.266.1}, )