Toy quantum categories

Abstract

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 FRel 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 category-theoretic properties. We also show the remarkable fact that we can already interpret complementary quantum observables on the two-element set FRel.

11 pages and 8 pictures. In the proceedings of Quantum Physics and Logic 2008, Electronic Notes in theoretical Computer Science, to appear

References in corpus (1)

• In defense of the epistemic view of quantum states: a toy theory

Cited by in corpus (19)

• Introduction to the book "Quantum Theory: Informational Foundations and Foils"
• Quantum from principles
• Quasi-quantization: classical statistical theories with an epistemic restriction
• The completeness of quantum theory for predicting measurement outcomes
• Quantum Picturalism
• Are quantum states real?
• Phase groups and the origin of non-locality for qubits
• Categorical formulation of quantum algebras
• Geometry of abstraction in quantum computation
• Quantum cube: A toy model of a qubit
• Categories of relations as models of quantum theory
• A Bestiary of Sets and Relations
• Groupoid Semantics for Thermal Computing
• Kindergarden quantum mechanics graduates (...or how I learned to stop gluing LEGO together and love the ZX-calculus)
• Exploring quantum teleportation through unitary error bases
• Conical Designs and Categorical Jordan Algebraic Post-Quantum Theories
• Quantum and classical structures in nondeterminstic computation
• Relating toy models of quantum computation: comprehension, complementarity and dagger mix autonomous categories
• Monoidal computer I: Basic computability by string diagrams