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. © P. Selinger.
Author supplied keywords
Cite
CITATION STYLE
APA
Selinger, P. (2012). Finite dimensional Hilbert spaces are complete for dagger compact closed categories. Logical Methods in Computer Science, 8(3), 7. https://doi.org/10.2168/lmcs-8(3:6)2012
Register to see more suggestions
Mendeley helps you to discover research relevant for your work.
Already have an account? Sign in
Sign up for free