A Bestiary of Sets and Relations

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.

[1]  Samson Abramsky,et al.  Categorical quantum mechanics , 2008, 0808.1023.

[2]  Samson Abramsky,et al.  Relational Hidden Variables and Non-Locality , 2010, Studia Logica.

[3]  B. Coecke,et al.  Classical and quantum structuralism , 2009, 0904.1997.

[4]  William Zeng,et al.  Models of Quantum Algorithms in Sets and Relations , 2015, ArXiv.

[5]  Peter Selinger,et al.  Dagger Compact Closed Categories and Completely Positive Maps: (Extended Abstract) , 2007, QPL.

[6]  Dusko Pavlovic,et al.  A new description of orthogonal bases , 2008, Mathematical Structures in Computer Science.

[7]  Dusko Pavlovic,et al.  Quantum and Classical Structures in Nondeterminstic Computation , 2008, QI.

[8]  Chris Heunen,et al.  Relative Frobenius algebras are groupoids , 2011, 1112.1284.

[9]  Samson Abramsky,et al.  The sheaf-theoretic structure of non-locality and contextuality , 2011, 1102.0264.

[10]  Aleks Kissinger,et al.  Categories of quantum and classical channels , 2016, Quantum Inf. Process..

[11]  Dimitri Kartsaklis,et al.  Open System Categorical Quantum Semantics in Natural Language Processing , 2015, CALCO.

[12]  W. Zeng,et al.  Fourier transforms from strongly complementary observables , 2015, 1501.04995.

[13]  Stefano Gogioso,et al.  Mermin Non-Locality in Abstract Process Theories , 2015 .

[15]  Simon Perdrix,et al.  Environment and Classical Channels in Categorical Quantum Mechanics , 2010, CSL.

[16]  Bob Coecke,et al.  Interacting Quantum Observables , 2008, ICALP.

[17]  Dusko Pavlovic,et al.  Quantum measurements without sums , 2007 .

[18]  Bill Edwards,et al.  Toy quantum categories , 2008, 0808.1037.

[19]  Chris Heunen,et al.  Pictures of complete positivity in arbitrary dimension , 2011, Inf. Comput..

[20]  Prakash Panangaden,et al.  Classifying all mutually unbiased bases in Rel , 2009, 0909.4453.