Categorical quantum mechanics
From MaRDI portal
Publication:2851800
zbMath1273.81014arXiv0808.1023MaRDI QIDQ2851800
Publication date: 4 October 2013
Full work available at URL: https://arxiv.org/abs/0808.1023
Logical foundations of quantum mechanics; quantum logic (quantum-theoretic aspects) (81P10) Special categories (18B99) Quantum information, communication, networks (quantum-theoretic aspects) (81P45)
Related Items
Teleportation-based quantum computation, extended Temperley-Lieb diagrammatical approach and Yang-Baxter equation, Charged Rényi entropies in CFTs with Einstein-Gauss-Bonnet holographic duals, The expectation monad in quantum foundations, String Diagram Rewrite Theory I: Rewriting with Frobenius Structure, The logic of empirical theories revisited, Tangle Machines, Involutive categories and monoids, with a GNS-correspondence, Complementarity in categorical quantum mechanics, Infinite-dimensional Categorical Quantum Mechanics, Mermin Non-Locality in Abstract Process Theories, A Bestiary of Sets and Relations, Categorical Probabilistic Theories, DisCoPy: Monoidal Categories in Python, Foundations for the Working Mathematician, and for Their Computer, Discrete quantum structures. II: Examples, The groupoidal picture of quantum mechanics, Promonads and String Diagrams for Effectful Categories, Unnamed Item, Quantum Suplattices, Covariant quantum combinatorics with applications to zero-error communication, Discrete quantum structures. I: Quantum predicate logic, A groupoidification of the fermion algebra, Deriving the correctness of quantum protocols in the probabilistic logic for quantum programs, Category theory and physical structuralism, On classical cloning and no-cloning, Probabilistic systems coalgebraically: a survey, Unnamed Item, Unnamed Item, Unnamed Item, Unnamed Item, Categorical perspective on quantization of Poisson algebra, Finite products are biproducts in a compact closed category, Categories of quantum and classical channels, Dynamics in the decompositions approach to quantum mechanics, Shaded tangles for the design and verification of quantum circuits, Braiding, Majorana fermions, Fibonacci particles and topological quantum computing, A diagrammatic approach to the categorical coherent state, Abstract Tensor Systems as Monoidal Categories, A Programming Language for Spatial Distribution of Net Systems, Diagrammatic Reasoning for Delay-Insensitive Asynchronous Circuits, Probabilities, distribution monads, and convex categories, Props in Network Theory, Generalised Mermin-type non-locality arguments, Biunitary constructions in quantum information, Elliptic complexes over \(C^\ast\)-algebras of compact operators, Topology and Quantum Computing, Whither semantics?, Unnamed Item, Graphical Conjunctive Queries., Von Neumann categories, A channel-based perspective on conjugate priors, Exploring a Quantum Theory with Graph Rewriting and Computer Algebra, Phase Groups and the Origin of Non-locality for Qubits, Categorical Properties of The Complex Numbers, On the complexity of equational decision problems for finite height complemented and orthocomplemented modular lattices, Concurrent Quantum Strategies, Disintegration and Bayesian inversion via string diagrams, Quantum Mathematics in Artificial Intelligence, Dominant strategies in two-qubit quantum computations, A complete graphical calculus for Spekkens' toy bit theory
