Categorical Quantum Mechanics
GPTKB entity
Statements (24)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:logic
|
| gptkbp:aimsTo |
provide high-level abstract framework for quantum theory
|
| gptkbp:appliesTo |
quantum information
quantum computation |
| gptkbp:developedBy |
gptkb:Samson_Abramsky
gptkb:Bob_Coecke |
| gptkbp:enables |
compositional reasoning in quantum theory
|
| gptkbp:field |
gptkb:category_theory
quantum mechanics |
| gptkbp:focusesOn |
categorical structures in quantum theory
|
| https://www.w3.org/2000/01/rdf-schema#label |
Categorical Quantum Mechanics
|
| gptkbp:influenced |
quantum foundations
quantum programming languages |
| gptkbp:introducedIn |
2004
|
| gptkbp:notablePublication |
gptkb:A_Categorical_Semantics_of_Quantum_Protocols
gptkb:Interacting_Quantum_Observables:_Categorical_Algebra_and_Diagrammatics |
| gptkbp:publishedIn |
gptkb:Mathematical_Structures_in_Computer_Science
|
| gptkbp:relatedTo |
gptkb:ZX-calculus
diagrammatic reasoning process theories |
| gptkbp:uses |
monoidal categories
dagger categories |
| gptkbp:bfsParent |
gptkb:Bob_Coecke
|
| gptkbp:bfsLayer |
6
|