Category of finite-dimensional Hilbert spaces
From HandWiki
Short description: Physics with category theory
In mathematics, the category FdHilb has all finite-dimensional Hilbert spaces for objects and the linear transformations between them as morphisms.
Properties
This category
- is monoidal,
- possesses finite biproducts, and
- is dagger compact.
According to a theorem of Selinger, the category of finite-dimensional Hilbert spaces is complete in the dagger compact category.[1][2] Many ideas from Hilbert spaces, such as the no-cloning theorem, hold in general for dagger compact categories. See that article for additional details.
References
- ↑ Selinger, P. (2012). "Finite dimensional Hilbert spaces are complete for dagger compact closed categories". Logical Methods in Computer Science 8 (3). doi:10.2168/LMCS-8(3:6)2012. http://www.mscs.dal.ca/~selinger/papers.html#finhilb.
- ↑ Hasegawa, M.; Hofmann, M.; Plotkin, G. (2008). "Finite Dimensional Vector Spaces Are Complete for Traced Symmetric Monoidal Categories". in Avron, A.; Dershowitz, N.; Rabinovich, A.. Pillars of Computer Science. 4800. Lecture Notes in Computer Science: Springer. pp. 367–385. doi:10.1007/978-3-540-78127-1_20. ISBN 978-3-540-78127-1.
 |
