## 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

Sign-in/Register to access full text options

### Topics from this Paper

- Finite Dimensional Hilbert Spaces
- Finite Dimensional Spaces
- Finite Spaces
- Dimensional Spaces
- Dimensional Hilbert Spaces + Show 1 more

Create a personalized feed of these topics

Get Started#### 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

Finite dimensional Hilbert spaces are complete for dagger compact closed categories

- arXiv: Category Theory
- Jul 30, 2012

Relevant

Not Relevant

Transition probabilities for non self-adjoint Hamiltonians in infinite dimensional Hilbert spaces

- Annals of Physics
- Nov 1, 2015

Relevant

Not Relevant

Multiparameter System of Operators with Two Parameters in Finite Dimensional Spaces

- Pure and Applied Mathematics Journal
- May 12, 2015

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

Norm-parallelism in the geometry of Hilbert C∗-modules

- Indagationes Mathematicae
- Jan 1, 2016

Relevant

Not Relevant

Existence, uniqueness and global behavior of the solutions to some nonlinear vector equations in a finite dimensional Hilbert space

- Nonlinear Analysis
- Sep 1, 2017

Relevant

Not Relevant

Quantifying Quantumness and the Quest for Queens of Quantum

- arXiv: Quantum Physics
- Feb 10, 2010

Relevant

Not Relevant

A variational quantum algorithm for approximating convex roofs

- Quantum Information and Computation
- Sep 1, 2022

Relevant

Not Relevant

Computation of antieigenvalues of bounded linear operators via centre of mass

- arXiv: Functional Analysis
- Jul 26, 2010

Relevant

Not Relevant

Essential commutants of semicrossed products

- arXiv: Operator Algebras
- Apr 15, 2014

Relevant

Not Relevant

Quantum mechanics in finite dimensional Hilbert space

- arXiv: Quantum Physics
- May 24, 2002

Relevant

Not Relevant

Entanglement and the factorization-approximation

- arXiv: Quantum Physics
- Sep 27, 2001

Relevant

Not Relevant

Some inequalities for quantum Tsallis entropy related to the strong subadditivity

- arXiv: Mathematical Physics
- Mar 27, 2014

Relevant

Not Relevant

READ MORE FROM

### Logical Methods in Computer Science

Fine-Grained Complexity of Regular Path Queries

Open Access

Just Published

- Logical Methods in Computer Science
- Nov 27, 2023

Relevant

Not Relevant

FTMPST: Fault-Tolerant Multiparty Session Types

Open Access

Just Published

- Logical Methods in Computer Science
- Nov 27, 2023

Relevant

Not Relevant

A model of actors and grey failures

Open Access

- Logical Methods in Computer Science
- Nov 22, 2023

Relevant

Not Relevant

Aperiodicity, Star-freeness, and First-order Logic Definability of Operator Precedence Languages

Open Access

- Logical Methods in Computer Science
- Nov 22, 2023

Relevant

Not Relevant

Making first order linear logic a generating grammar

Open Access

- Logical Methods in Computer Science
- Nov 17, 2023

Relevant

Not Relevant

A categorical characterization of relative entropy on standard Borel spaces

Open Access

- Logical Methods in Computer Science
- Nov 9, 2023

Relevant

Not Relevant

Token Games and History-Deterministic Quantitative-Automata

Open Access

- Logical Methods in Computer Science
- Nov 3, 2023

Relevant

Not Relevant

The Power-Set Construction for Tree Algebras

Open Access

- Logical Methods in Computer Science
- Nov 3, 2023

Relevant

Not Relevant

Subgame-perfect Equilibria in Mean-payoff Games (journal version)

Open Access

- Logical Methods in Computer Science
- Oct 25, 2023

Relevant

Not Relevant