圏論による量子計算のモデルと論理
著者
書誌事項
圏論による量子計算のモデルと論理
共立出版, 2018.8
- タイトル別名
-
Categorical quantum models and logics
圏論による量子計算のモデルと論理
- タイトル読み
-
ケンロン ニ ヨル リョウシ ケイサン ノ モデル ト ロンリ
大学図書館所蔵 全95件
  青森
  岩手
  宮城
  秋田
  山形
  福島
  茨城
  栃木
  群馬
  埼玉
  千葉
  東京
  神奈川
  新潟
  富山
  石川
  福井
  山梨
  長野
  岐阜
  静岡
  愛知
  三重
  滋賀
  京都
  大阪
  兵庫
  奈良
  和歌山
  鳥取
  島根
  岡山
  広島
  山口
  徳島
  香川
  愛媛
  高知
  福岡
  佐賀
  長崎
  熊本
  大分
  宮崎
  鹿児島
  沖縄
  韓国
  中国
  タイ
  イギリス
  ドイツ
  スイス
  フランス
  ベルギー
  オランダ
  スウェーデン
  ノルウェー
  アメリカ
この図書・雑誌をさがす
注記
原著(Amsterdam University Press , 2009)の全訳
参考文献: p223-235
内容説明・目次
目次
- 第1章 はじめに
- 第2章 テンソル積と双積(例;テンソル積とモノイド ほか)
- 第3章 ダガー圏(例;ダガー構造 ほか)
- 第4章 ダガー核論理(部分対象;直交性 ほか)
- 第5章 ボーア化(ロケールとトポス;C*環 ほか)
「BOOKデータベース」 より