圏論の歩き方

数学のみならず、量子論やプログラミング言語理論、生物ネットワークなど、周辺分野との共通言語として注目が集まる「圏論」。その基礎と応用事例を若手研究者が徹底紹介！

目次

座談会　圏論と異分野協働―今出川不純集会
圏の定義―矢印でいろいろ書いてみる
タングルの圏
プログラム意味論と圏論―計算の「不変量」を圏論で捉える
モナドと計算効果
モナドのクライスリ圏―圏論による一般化とは？
表現を“表現”する話―ミクロ・マクロ双対性（１）
座談会　歩き方の使い方―今出川不純集会、ふたたび
ガロア理論と物理学―ミクロ・マクロ双対性（２）
圏論的双対性の「論理」―圏論における抽象と捨象、あるいは不条理
圏論的論理学：トポス理論を越えて
すべての人に矢印を―圏論と教育をめぐる冒険
ホモロジー代数からアーベル圏、三角圏へ
表現論と圏論化
圏論と生物のネットワーク
座談会　「数学本流」にはなりたくない―今出川不純集会、三たび
圏論のつまづき方

本の帯に関して

帯つきでの出荷はお約束しておりません。
商品ページに、帯のみに付与される特典物等の表記がある場合でも、確実に帯つきでの出荷はお約束しておりません。
また、帯は商品の一部ではなく「広告扱い」のため、帯の有無・破損による交換や返品は承っておりません。

版・表紙について

版・表紙（カバー）のご指定は承っておりません。ご注文いただくタイミングによっては、お届けする商品の版や表紙が商品ページ上のものとは異なる場合がございます。
また、初版にのみにお付けしている特典（初回特典、初回仕様特典）がある商品は、商品ページに特典の表記がされている場合でも、無くなり次第終了となります。