Kategorie konečně-dimenzionálních Hilbertových prostorů - Category of finite-dimensional Hilbert spaces
v matematika, kategorie FdHilb má vše konečně-dimenzionální Hilbertovy prostory pro předměty a lineární transformace mezi nimi jako morfismy.
Vlastnosti
Tato kategorie
- je monoidální,
- má konečný biprodukty, a
- je dýka kompaktní.
Podle Selingerovy věty je kategorie konečně-dimenzionálních Hilbertových prostorů úplná v dýka kompaktní kategorie.[1][2] Mnoho nápadů z Hilbertových prostorů, například věta o klonování, obecně platí pro dýka kompaktní kategorie. V tomto článku najdete další podrobnosti.
Reference
- ^ P. Selinger, Konečně dimenzionální Hilbertovy prostory jsou kompletní pro dýkové kompaktní uzavřené kategorie, Proceedings of the 5th International Workshop on Quantum Programming Languages, Reykjavik (2008).
- ^ M. Hasegawa, M. Hofmann a G. Plotkin, „Konečné dimenzionální vektorové prostory jsou úplné pro sledované symetrické monoidní kategorie“, LNCS 4800, (2008), s. 367–385.
Tento teorie kategorií související článek je a pahýl. Wikipedii můžete pomoci pomocí rozšiřovat to. |