Space in Monoidal Categories

MaRDI QIDQ3384956zbMATH OpenFDO

Authors Pau Enrique Moliner, Chris Heunen, Sean Tull

Publication date 17 December 2021

Full work available at URL https://arxiv.org/abs/1704.08086, http://eptcs.web.cse.unsw.edu.au/paper.cgi?QPL2017.25

Mathematics Subject Classification ID

Monoidal categories, symmetric monoidal categories (18M05) Infinite-dimensional groups and algebras motivated by physics, including Virasoro, Kac-Moody, (W)-algebras and other current algebras and their representations (81R10)

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.

Recommendations

• Classifying Spaces of Topological Monoids and Categories
• Monoidal categories
• scientific article; zbMATH DE number 459334
• Cohomological results in monoid and category theory via classifying spaces
• Classifying Spaces for Monoidal Categories Through Geometric Nerves
• scientific article; zbMATH DE number 899580
• On the classifying space for braided monoidal categories
• A Monoidal Category of Bifinite Chu Spaces
• scientific article; zbMATH DE number 1340211
• Mapping spaces in quasi-categories

Cites work

• A categorical semantics for causal structure
• A domain of spacetime intervals in general relativity
• ADJOINT FUNCTORS BETWEEN CATEGORIES OF HILBERT -MODULES
• An abstract characterization of Thompson's group \(F\).
• Categories of quantum and classical channels
• Causal categories: relativistically interacting processes
• Character sheaves on unipotent groups in positive characteristic: foundations.
• Coherence and strictification for self-similarity
• Coreflections in algebraic quantum logic
• scientific article; zbMATH DE number 3502307 (Why is no real title available?)
• scientific article; zbMATH DE number 739278 (Why is no real title available?)
• Picturing quantum processes. A first course in quantum theory and diagrammatic reasoning
• Quantum tasks in Minkowski space
• Summoning information in spacetime, or where and when can a qubit be?
• Towards a formal theory of graded monads
• Von Neumann categories

Cited in

(11)

• Tensor topology
• Sheaf representation of monoidal categories
• A free object in quantum information theory
• A Monoidal Category of Bifinite Chu Spaces
• A computer scientist’s reconstruction of quantum theory*
• Ordered locales
• On the Pre- and Promonoidal Structure of Spacetime
• Mapping spaces in quasi-categories
• Dichotomy between deterministic and probabilistic models in countably additive effectus theory
• Causality in higher order process theories
• Towards categorical quantum concurrency theory (invited talk)

This page was built for publication: Space in Monoidal Categories

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3384956)