Statements (12)
| Predicate | Object |
|---|---|
| gptkbp:instanceOf |
gptkb:mathematical_concept
|
| gptkbp:appliesTo |
gptkb:quantum_information_theory
|
| gptkbp:describes |
relationship between dagger compact closed categories and finite-dimensional Hilbert spaces
|
| gptkbp:field |
gptkb:category_theory
theoretical computer science |
| https://www.w3.org/2000/01/rdf-schema#label |
Selinger's theorem
|
| gptkbp:namedAfter |
Peter Selinger
|
| gptkbp:publishedIn |
Selinger, Peter. Dagger compact closed categories and completely positive maps. Electronic Notes in Theoretical Computer Science, 2007.
|
| gptkbp:state |
Every dagger compact closed category with biproducts is equivalent to a category of finite-dimensional Hilbert spaces and linear maps.
|
| gptkbp:bfsParent |
gptkb:P._A._Selinger
gptkb:P._Griffiths_Selinger |
| gptkbp:bfsLayer |
8
|