Toy quantum categories (extended abstract)
<p>We show that Rob Spekken's toy quantum theory arises as an instance of our categorical approach to quantum axiomatics, as a (proper) subcategory of the dagger compact category <strong>FRel</strong> of finite sets and relations with the cartesian product as tensor, where obs...
| Príomhchruthaitheoirí: | , |
|---|---|
| Formáid: | Journal article |
| Teanga: | English |
| Foilsithe / Cruthaithe: |
2011
|
| Ábhair: |
| Achoimre: | <p>We show that Rob Spekken's toy quantum theory arises as an instance of our categorical approach to quantum axiomatics, as a (proper) subcategory of the dagger compact category <strong>FRel</strong> of finite sets and relations with the cartesian product as tensor, where observables correspond to dagger Frobenius algebras. This in particular implies that the quantum-like properties of the toy model are in fact very general categorytheoretic properties. We also show the remarkable fact that we can already interpret complementary quantum observables on the two-element set in <strong>FRel</strong>.</p> |
|---|