A Bestiary of Sets and Relations
Stefano Gogioso (Quantum Group, University of Oxford)

TL;DR
This paper explores the categorical structure of quantum mechanics within the finite sets and relations framework, revealing similarities and differences with traditional quantum categories and uncovering exotic features.
Contribution
It provides a detailed categorical analysis of quantum mechanics in fRel, highlighting structural similarities with fdHilb and demonstrating that fRel is a local category with unique properties.
Findings
fRel shares operational features with fdHilb
fRel is proven to be a local category
The category exhibits exotic structural phenomena
Abstract
Building on established literature and recent developments in the graph-theoretic characterisation of its CPM category, we provide a treatment of pure state and mixed state quantum mechanics in the category fRel of finite sets and relations. On the way, we highlight the wealth of exotic beasts that hide amongst the extensive operational and structural similarities that the theory shares with more traditional arenas of categorical quantum mechanics, such as the category fdHilb. We conclude our journey by proving that fRel is local, but not without some unexpected twists.
Peer Reviews
No public reviews on file for this paper yet. If you reviewed it on a platform where reviews are public (OpenReview, ICLR, NeurIPS, ICML), you can paste yours below so the community can read it here.
Videos
No videos yet. Explain this paper in a talk, walkthrough, or lecture? Add one.
