- arXiv.org
- Data Analysis, Statistics and Probability
- Space Physics
- Popular Physics
- Physics and Society
- Optics
- History and Philosophy of Physics
- Fluid Dynamics
- Biological Physics
- General Physics
- Atomic and Molecular Clusters
- Medical Physics
- Atomic Physics
- Plasma Physics
- Geophysics
- Classical Physics
- Accelerator Physics
- Instrumentation and Detectors
- Chemical Physics
- Atmospheric and Oceanic Physics
- Computational Physics
- Physics Education

- History and Overview
- Number Theory
- Information Theory
- Analysis of PDEs
- Statistics Theory
- Combinatorics
- Mathematical Physics
- Symplectic Geometry
- Operator Algebras
- Probability
- Group Theory
- Representation Theory
- Complex Variables
- Metric Geometry
- Algebraic Geometry
- General Topology
- Logic
- Quantum Algebra
- Differential Geometry
- Numerical Analysis
- Optimization and Control
- Geometric Topology
- General Mathematics
- Dynamical Systems
- Rings and Algebras
- Commutative Algebra
- K-Theory and Homology
- Algebraic Topology
- Classical Analysis and ODEs
- Spectral Theory
- Functional Analysis
- Category Theory

- General Literature
- Information Theory
- Formal Languages and Automata Theory
- Multiagent Systems
- Information Retrieval
- Symbolic Computation
- Computational Complexity
- Computer Vision and Pattern Recognition
- Emerging Technologies
- Social and Information Networks
- Operating Systems
- Learning
- Other Computer Science
- Neural and Evolutionary Computing
- Programming Languages
- Software Engineering
- Databases
- Numerical Analysis
- Sound
- Human-Computer Interaction
- Mathematical Software
- Hardware Architecture
- Cryptography and Security
- Distributed, Parallel, and Cluster Computing
- Artificial Intelligence
- Computer Science and Game Theory
- Computational Engineering, Finance, and Science
- Digital Libraries
- Systems and Control
- Discrete Mathematics
- Performance
- Computers and Society
- Computation and Language
- Data Structures and Algorithms
- Graphics
- Networking and Internet Architecture
- Logic in Computer Science
- Robotics
- Computational Geometry
- Multimedia

- 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.
- We show that a derivator is stable if and only if homotopy finite limits and homotopy finite colimits commute, if and only if homotopy finite limit functors have right adjoints, and if and only if homotopy finite colimit functors have left adjoints. These characterizations generalize to an abstract notion of "stability relative to a class of functors", which includes in particular pointedness, semiadditivity, and ordinary stability. To prove them, we develop the theory of derivators enriched over monoidal left derivators and weighted homotopy limits and colimits therein.

Categorical Quantum Mechanics I: Causal Quantum Processes

Aram Harrow Oct 21 2015 02:56 UTCMāris Ozols Oct 20 2015 23:50 UTC

There's a TODO note missing on page 24 saying: "Remove TODO notes"