圏論による量子計算のモデルと論理
著者
書誌事項
圏論による量子計算のモデルと論理
共立出版, 2018.8
- タイトル別名
-
Categorical quantum models and logics
圏論による量子計算のモデルと論理
- タイトル読み
-
ケンロン ニ ヨル リョウシ ケイサン ノ モデル ト ロンリ
大学図書館所蔵 件 / 全95件
-
該当する所蔵館はありません
- すべての絞り込み条件を解除する
この図書・雑誌をさがす
注記
原著(Amsterdam University Press , 2009)の全訳
参考文献: p223-235
内容説明・目次
目次
- 第１章 はじめに
- 第２章 テンソル積と双積（例；テンソル積とモノイド ほか）
- 第３章 ダガー圏（例；ダガー構造 ほか）
- 第４章 ダガー核論理（部分対象；直交性 ほか）
- 第５章 ボーア化（ロケールとトポス；Ｃ＊環 ほか）
「BOOKデータベース」 より