Here are a few wonderful papers which describe non-locality and contextuality in detail using a combination of sheaf theory, graph theory and algebraic topology. Abramsky et al. 2011, The Sheaf-Theoretic Structure Of Non-Locality and Contextuality Abramsky et al. 2015, Contextuality, Cohomology and Paradox Carù 2018, Towards a complete cohomology invariant for non-locality and contextuality First, it must be understood that non-locality is a form of (measurement) contextuality. The key point is then that contextuality is equivalent to the non-existence of global sections for a family of probability distributions. Secondly, using this sheaf theoretic framework, Feynman's interpretation that negative probability characterizes QM is incorrect; negative probability characterizes all models with no-signalling. Lastly, and perhaps most surprisingly, is that the incompatibility of measurements - which in QM is usually a postulate taken to be specific to the non-commuting observables formalism - can be shown to be derived from a theory-independent structural impossibility result of certain families of empirical distributions.