A Categorical Reconstruction of Quantum Theory

We reconstruct finite-dimensional quantum theory from categorical principles. That is, we provide properties ensuring that a given physical theory described by a dagger compact category in which one may `discard' objects is equivalent to a generalised finite-dimensional quantum theory over a su...

Full description

Bibliographic Details
Main Author: Sean Tull
Format: Article
Language:English
Published: Logical Methods in Computer Science e.V. 2020-01-01
Series:Logical Methods in Computer Science
Subjects:
Online Access:https://lmcs.episciences.org/5076/pdf