• 本

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

出版社名 共立出版
出版年月 2018年8月
ISBNコード 978-4-320-12436-3
4-320-12436-7
税込価格 5,184円
頁数・縦 247P 22cm

商品内容

目次

第1章 はじめに
第2章 テンソル積と双積(例
テンソル積とモノイド ほか)
第3章 ダガー圏(例
ダガー構造 ほか)
第4章 ダガー核論理(部分対象
直交性 ほか)
第5章 ボーア化(ロケールとトポス
C*環 ほか)

著者紹介

川辺 治之 (カワベ ハルユキ)  
1985年東京大学理学部卒業。現在、日本ユニシス(株)総合技術研究所上席研究員(本データはこの書籍が刊行された当時に掲載されていたものです)