圏論による量子計算のモデルと論理
Author(s)
Bibliographic Information
圏論による量子計算のモデルと論理
共立出版, 2018.8
- Other Title
-
Categorical quantum models and logics
圏論による量子計算のモデルと論理
- Title Transcription
-
ケンロン ニ ヨル リョウシ ケイサン ノ モデル ト ロンリ
Available at / 95 libraries
-
No Libraries matched.
- Remove all filters.
Search this Book/Journal
Note
原著(Amsterdam University Press , 2009)の全訳
参考文献: p223-235
Description and Table of Contents
Table of Contents
- 第1章 はじめに
- 第2章 テンソル積と双積(例;テンソル積とモノイド ほか)
- 第3章 ダガー圏(例;ダガー構造 ほか)
- 第4章 ダガー核論理(部分対象;直交性 ほか)
- 第5章 ボーア化(ロケールとトポス;C*環 ほか)
by "BOOK database"