圏論による量子計算のモデルと論理

著者

• Heunen, Chris
• 川辺, 治之 カワベ, ハルユキ

書誌事項

圏論による量子計算のモデルと論理

Chris Heunen著 ; 川辺治之訳

共立出版, 2018.8

タイトル別名

Categorical quantum models and logics

圏論による量子計算のモデルと論理

タイトル読み

ケンロン ニ ヨル リョウシ ケイサン ノ モデル ト ロンリ

注記

原著(Amsterdam University Press , 2009)の全訳

参考文献: p223-235

内容説明・目次

目次

• 第１章　はじめに
• 第２章　テンソル積と双積（例；テンソル積とモノイド　ほか）
• 第３章　ダガー圏（例；ダガー構造　ほか）
• 第４章　ダガー核論理（部分対象；直交性　ほか）
• 第５章　ボーア化（ロケールとトポス；Ｃ＊環　ほか）

「BOOKデータベース」 より

詳細情報

• NII書誌ID(NCID): BB26635064
• ISBN:
  • 9784320124363
• 出版国コード: ja
• タイトル言語コード: jpn
• 本文言語コード: jpn
• 原本言語コード: eng
• 出版地: 東京
• ページ数/冊数: vi, 247p
• 大きさ: 22cm
• 分類:
  • NDC7 : 429.1
  • NDC8 : 421.3
  • NDC9 : 007.1
• 件名:
  • NDLSH : 量子力学
  • NDLSH : カテゴリー(数学)