Contextuality

[theryestbread]

Hello folks!

Thank you Richard for accepting my invitation to join. As is evident, I am new here!

I am highly interested in homotopy theory, and the exciting new notion of a hypersheaf seems like it could have some applications here. Specifically, there is a version of cohomology that moves beyond Čech cohomology by considering descent on any number of open sets, leading to non-trivial higher homotopies. (I'm thinking something like Schreiber's non-abelian gauge theory).

I am wondering -- has anyone here got any experience with topos-theoretic treatments of quantum contextuality? (e.g., along the lines of Döring, Isham, and Butterfield). These authors seem to have collectively proved the Kochen-Specher theorem a zillion times, but beyond that, not much fruitful has come out of their program. (No offense.) 

If it were somehow possible to connect these two strands, I think that would be very meaningful.

- Ryan

[Richard Gill]

It is not my group! It is run by Alexandre de Castro!

But regarding your remarks on homotopy theory, I would refer you to Klaas Landsman who certainly knows the pure maths which you refer to very well.

Richard

Sent from my iPad

On 1 Jun 2026, at 16:10, theryestbread <therye...@gmail.com> wrote:

Hello folks!

--
You received this message because you are subscribed to the Google Groups "Bell inequalities and quantum foundations" group.
To unsubscribe from this group and stop receiving emails from it, send an email to Bell_quantum_found...@googlegroups.com.
To view this discussion visit https://groups.google.com/d/msgid/Bell_quantum_foundations/50ad68cf-c1e5-4c01-96ac-ed2ccfc037afn%40googlegroups.com.

[Richard Gill]

My paper

was inspired by abstract algebraic work of Klaas Landsman

Sent from my iPad

On 1 Jun 2026, at 16:10, theryestbread <therye...@gmail.com> wrote:

Hello folks!