Finite dimensional Hilbert spaces are complete for dagger compact closed categories
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.
Main Author: | |
---|---|
Format: | Article |
Language: | English |
Published: |
Logical Methods in Computer Science e.V.
2012-08-01
|
Series: | Logical Methods in Computer Science |
Subjects: | |
Online Access: | https://lmcs.episciences.org/1086/pdf |
_version_ | 1797268690161369088 |
---|---|
author | Peter Selinger |
author_facet | Peter Selinger |
author_sort | Peter Selinger |
collection | DOAJ |
description | 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. |
first_indexed | 2024-04-25T01:36:29Z |
format | Article |
id | doaj.art-4a78749d0f8e40b7bda503be22a9d510 |
institution | Directory Open Access Journal |
issn | 1860-5974 |
language | English |
last_indexed | 2024-04-25T01:36:29Z |
publishDate | 2012-08-01 |
publisher | Logical Methods in Computer Science e.V. |
record_format | Article |
series | Logical Methods in Computer Science |
spelling | doaj.art-4a78749d0f8e40b7bda503be22a9d5102024-03-08T09:28:00ZengLogical Methods in Computer Science e.V.Logical Methods in Computer Science1860-59742012-08-01Volume 8, Issue 310.2168/LMCS-8(3:6)20121086Finite dimensional Hilbert spaces are complete for dagger compact closed categoriesPeter Selingerhttps://orcid.org/0000-0003-3161-856XWe show that an equation follows from the axioms of dagger compact closed categories if and only if it holds in finite dimensional Hilbert spaces.https://lmcs.episciences.org/1086/pdfmathematics - category theoryquantum physicsf.3.2, f.4.1 |
spellingShingle | Peter Selinger Finite dimensional Hilbert spaces are complete for dagger compact closed categories Logical Methods in Computer Science mathematics - category theory quantum physics f.3.2, f.4.1 |
title | Finite dimensional Hilbert spaces are complete for dagger compact closed categories |
title_full | Finite dimensional Hilbert spaces are complete for dagger compact closed categories |
title_fullStr | Finite dimensional Hilbert spaces are complete for dagger compact closed categories |
title_full_unstemmed | Finite dimensional Hilbert spaces are complete for dagger compact closed categories |
title_short | Finite dimensional Hilbert spaces are complete for dagger compact closed categories |
title_sort | finite dimensional hilbert spaces are complete for dagger compact closed categories |
topic | mathematics - category theory quantum physics f.3.2, f.4.1 |
url | https://lmcs.episciences.org/1086/pdf |
work_keys_str_mv | AT peterselinger finitedimensionalhilbertspacesarecompletefordaggercompactclosedcategories |