Abstract

We show that an equation follows from the axioms of dagger compact closed categories if and only if it holds in finite dimensional Hilbert spaces.

Full Text

Published Version
Open DOI Link

Topics from this Paper

  • Finite Dimensional Hilbert Spaces
  • Dagger Compact Categories
  • Compact Closed Categories
  • Finite Hilbert Spaces
  • Compact Categories
    • + Show 5 more

Create a personalized feed of these topics

Get Started

Get access to 115M+ research papers

Discover from 40M+ Open access, 2M+ Pre-prints, 9.5M Topics and 32K+ Journals.

Sign Up Now! It's FREE

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call

Similar Papers

Finite linear spaces, plane geometries, Hilbert spaces and finite phase space
  • Quantum Studies: Mathematics and Foundations
  • Jan 23, 2016
Relevant
Not Relevant
Quantifying Quantumness and the Quest for Queens of Quantum
  • arXiv: Quantum Physics
  • Feb 10, 2010
Relevant
Not Relevant
Fock representations of Zamolodchikov algebras and R-matrices
  • arXiv: Mathematical Physics
  • Sep 29, 2019
Relevant
Not Relevant
Three ways to look at mutually unbiased bases
  • arXiv: Quantum Physics
  • Oct 25, 2006
Relevant
Not Relevant
Large N matrices from a nonlocal spin system
  • arXiv: High Energy Physics - Theory
  • Dec 2, 2014
Relevant
Not Relevant
Quantum statistical properties of multiphoton hypergeometric coherent states and the discrete circle representation
  • arXiv: Mathematical Physics
  • Oct 17, 2019
Relevant
Not Relevant
Spin Path Integrals and Generations
  • arXiv: General Physics
  • Jun 16, 2010
Relevant
Not Relevant
Notes on the Qubit Phase Space and Discrete Symplectic Structures
  • arXiv: Quantum Physics
  • Jun 24, 2009
Relevant
Not Relevant
Entanglement and the factorization-approximation
  • arXiv: Quantum Physics
  • Sep 27, 2001
Relevant
Not Relevant
Can Quantum de Sitter Space Have Finite Entropy
  • arXiv: High Energy Physics - Theory
  • Jan 31, 2006
Relevant
Not Relevant
Minimum Uncertainty and Entanglement
  • arXiv: Quantum Physics
  • Jul 29, 2011
Relevant
Not Relevant
Computation of antieigenvalues of bounded linear operators via centre of mass
  • arXiv: Functional Analysis
  • Jul 26, 2010
Relevant
Not Relevant
Quantum mechanics in finite dimensional Hilbert space
  • arXiv: Quantum Physics
  • May 24, 2002
Relevant
Not Relevant
Metric and classical fidelity uncertainty relations for random unitary matrices
  • Journal of Physics A
  • Feb 2, 2017
Relevant
Not Relevant
On the control by electromagnetic fields of quantum systems with infinite dimensional Hilbert space
  • arXiv: Optimization and Control
  • Dec 12, 2014
Relevant
Not Relevant
READ MORE FROM

arXiv: Category Theory

Health Inequalities in Scotland: trends in deaths, health and wellbeing, health behaviours, and health services since 2000
Open Access
  • arXiv: Category Theory
  • Nov 2, 2022
Relevant
Not Relevant
2-Dimensional Categories
  • arXiv: Category Theory
  • Jan 31, 2021
Relevant
Not Relevant
A diagrammatic approach to symmetric lenses
  • arXiv: Category Theory
  • Jan 26, 2021
Relevant
Not Relevant
Symmetric Monoidal Categories with Attributes
  • arXiv: Category Theory
  • Jan 26, 2021
Relevant
Not Relevant
The more legs the merrier: A new composition for symmetric (multi-)lenses
  • arXiv: Category Theory
  • Jan 26, 2021
Relevant
Not Relevant
Categorical semantics of a simple differential programming language
  • arXiv: Category Theory
  • Jan 26, 2021
Relevant
Not Relevant
Operations on Metric Thickenings
  • arXiv: Category Theory
  • Jan 26, 2021
Relevant
Not Relevant
Interfacing biology, category theory and mathematical statistics
  • arXiv: Category Theory
  • Sep 15, 2020
Relevant
Not Relevant
Cartesian closed bicategories: type theory and coherence
  • arXiv: Category Theory
  • Jul 15, 2020
Relevant
Not Relevant
Duality Pairs Induced by One-Sided Gorenstein Subcategories
  • arXiv: Category Theory
  • Jun 22, 2020
Relevant
Not Relevant