194 citations · 1.2k across the 78 of their papers we have counts for
Showing 2013 · quant-phShow all
2 papers · 2 filters
quant-ph2013★ 7 cited
Categories of Quantum and Classical Channels
Bob Coecke, Chris Heunen, Aleks Kissinger
We introduce a construction that turns a category of pure state spaces and operators into a category of observable algebras and superoperators. For example, it turns the category o…
quant-ph2013★ 5 cited
Compositional Quantum Logic
Bob Coecke, Chris Heunen, Aleks Kissinger
Quantum logic aims to capture essential quantum mechanical structure in order-theoretic terms. The Achilles' heel of quantum logic is the absence of a canonical description of comp…