WikiDer > Категория конечномерных гильбертовых пространств
В математика, то категория FdHilb имеет все конечномерные Гильбертовы пространства за объекты и линейные преобразования между ними как морфизмы.
Характеристики
Эта категория
- является моноидальный,
- обладает конечным побочные продукты, и
- является кинжал компактный.
Согласно теореме Селинджера, категория конечномерных гильбертовых пространств полна в кинжал компактная категория.[1][2] Многие идеи из гильбертовых пространств, такие как теорема о запрете клонирования, справедливо для категорий компактных кинжалов. См. Дополнительную информацию в этой статье.
Рекомендации
- ^ П. Селинджер, Конечномерные гильбертовы пространства полны для кинжальных компактных замкнутых категорий, Труды 5-го международного семинара по языкам квантового программирования, Рейкьявик (2008).
- ^ М. Хасегава, М. Хофманн и Г. Плоткин, "Конечномерные векторные пространства полны для отслеживаемых симметричных моноидальных категорий", LNCS 4800, (2008), стр. 367–385.
Этот теория категорий-связанная статья является заглушка. Вы можете помочь Википедии расширяя это. |