Space in Monoidal Categories

Abstract

The category of Hilbert modules may be interpreted as a naive quantum field theory over a base space. Open subsets of the base space are recovered as idempotent subunits, which form a meet-semilattice in any firm braided monoidal category. There is an operation of restriction to an idempotent subunit: it is a graded monad on the category, and has the universal property of algebraic localisation. Spacetime structure on the base space induces a closure operator on the idempotent subunits. Restriction is then interpreted as spacetime propagation. This lets us study relativistic quantum information theory using methods entirely internal to monoidal categories. As a proof of concept, we show that quantum teleportation is only successfully supported on the intersection of Alice and Bob's causal future.

In Proceedings QPL 2017, arXiv:1802.09737

References in corpus (1)

• Frobenius structures over Hilbert C*-modules

Cited by in corpus (11)

• An effect-theoretic reconstruction of quantum theory
• Frobenius structures over Hilbert C*-modules
• Tensor Topology
• Quantum Supermaps are Characterized by Locality
• A characterisation of ordered abstract probabilities
• A computer scientist's reconstruction of quantum theory
• The three types of normal sequential effect algebras
• Sheaf representation of monoidal categories
• On the Pre- and Promonoidal Structure of Spacetime
• Causality in Higher Order Process Theories
• Dichotomy between Deterministic and Probabilistic Models in Countably Additive Effectus Theory