Toy quantum categories

Simple item page
dc.creatorCoecke, Bob
dc.creatorEdwards, Bill
dc.date2008-08-07
dc.date.accessioned2026-07-07T10:17:54Z
dc.date.available2026-07-07T10:17:54Z
dc.descriptionWe 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.
dc.description11 pages and 8 pictures. In the proceedings of Quantum Physics and Logic 2008, Electronic Notes in theoretical Computer Science, to appear
dc.identifierhttps://arxiv.org/abs/0808.1037
dc.identifierhttp://arxiv.org/abs/0808.1037
dc.identifier.urihttp://salesiana.dossiersoluciones.com/handle/123456789/174016
dc.subjectQuantum Physics
dc.subjectCategory Theory
dc.subjectLogic
dc.subjectQuantum Algebra
dc.titleToy quantum categories
dc.typetext

Files

Collections

arXiv