activity
20002005
most citedThe logic of entanglement

36 citations · 43 across the 3 of their papers we have counts for

collaborators
Showing 2000 · quant-phShow all

7 papers · 2 filters

quant-ph2000

Quantaloids Describing Causation and Propagation of Physical Properties

Bob Coecke, David J. Moore, Isar Stubbe

A general principle of `causal duality' for physical systems, lying at the base of representation theorems for both compound and evolving systems, is proved; formally it is encoded…

quant-ph2000

Classical representations for quantum-like systems through an axiomatics for context dependence

Bob Coecke

We introduce a definition for a 'hidden measurement system', i.e., a physical entity for which there exist: (i) 'a set of non-contextual states of the entity under study' and (ii)…

quant-ph2000

Operational Galois adjunctions

Bob Coecke, David Moore

We present a detailed synthetic overview of the utilisation of categorical techniques in the study of order structures together with their applications in operational quantum theor…

quant-ph2000

A logical description for perfect measurements

Bob Coecke, Sonja Smets

We reconsider the description for property transitions due to perfect measurements, viewing them as a special case of general transitions that are due to an externally imposed chan…

quant-ph2000

A classification of classical representations for quantum-like systems

Bob Coecke

For general non-classical systems, we study the different classical representations that fulfill the specific context dependence imposed by the hidden measurement system formalism…

quant-ph2000

Structural Characterization of Compoundness

Bob Coecke

We recover the rays in the tensor product of Hilbert spaces within a larger class of so called `states of compoundness', structured as a complete lattice with the `state of separat…