Категория конечномерных гильбертовых пространств - Category of finite-dimensional Hilbert spaces

В математика, то категория FdHilb имеет все конечномерные Гильбертовы пространства за объекты и линейные преобразования между ними как морфизмы.

Характеристики

Эта категория

Согласно теореме Селинджера, категория конечномерных гильбертовых пространств полна в кинжал компактная категория.[1][2] Многие идеи из гильбертовых пространств, такие как теорема о запрете клонирования, справедливо для категорий компактных кинжалов. См. Дополнительную информацию в этой статье.

Рекомендации

  1. ^ П. Селинджер, Конечномерные гильбертовы пространства полны для кинжальных компактных замкнутых категорий, Труды 5-го международного семинара по языкам квантового программирования, Рейкьявик (2008).
  2. ^ М. Хасегава, М. Хофманн и Г. Плоткин, "Конечномерные векторные пространства полны для отслеживаемых симметричных моноидальных категорий", LNCS 4800, (2008), стр. 367–385.