書籍詳細:圏論の歩き方[改訂版]
圏論の歩き方[改訂版]
- 紙の書籍
予価:税込 4,400円(本体価格 4,000円)
紙の書籍のご購入
内容紹介
数学をはじめ、自然科学の周辺分野との共通言語として浸透してきた圏論の基礎と応用を紹介。10年間の進展を含めた待望の改訂。
目次
第1章 [座談会] 圏論と異分野協働――今出川不純集会
第2章 圏の定義――矢印でいろいろ書いてみる……蓮尾一郎
第3章 タングルの圏……鈴木咲衣+葉廣和夫
第4章 プログラム意味論と圏論――計算の「不変量」を圏論で捉える
……長谷川真人
第5章 モナドと計算効果……勝股審也
第6章 モナドのクライスリ圏――圏論による一般化とは?
……蓮尾一郎
第7章 表現を〈表現〉する話――ミクロ・マクロ双対性(1)
……小嶋泉+西郷甲矢人
第8章 [座談会] 歩き方の使い方――今出川不純集会,ふたたび
第9章 ガロア理論と物理学――ミクロ・マクロ双対性(2)
……小嶋泉+西郷甲矢人
第10章 圏論的双対性の「論理」
――圏論における抽象と捨象,あるいは不条理
……丸山善宏
第11章 圏論的論理学:トポス理論を越えて……丸山善宏
第12章 すべての人に矢印を
――圏論と教育をめぐる冒険……西郷甲矢人
第13章 ホモロジー代数からアーベル圏,三角圏へ
……阿部弘樹+中岡宏行
第14章 表現論と圏論化……土岡俊介
第15章 圏論と生物のネットワーク……春名太一
第16章 [座談会]「数学本流」にはなりたくない
――今出川不純集会,三たび
第17章 高次圏論……前原悠究
第18章 たいていの物理量は圏論的射である
――古典物理と量子物理の圏論……谷村省吾
第19章 選択の構造としてのKan拡張
――圏論とネットワークの数理モデル……春名太一
第20章 圏で圏を集める?――ファイブレーション入門
……郡 茉友子
第21章 [座談会] 今出川不純集会,十年後(仮題)
第22章 圏論のつまづき方
第2章 圏の定義――矢印でいろいろ書いてみる……蓮尾一郎
第3章 タングルの圏……鈴木咲衣+葉廣和夫
第4章 プログラム意味論と圏論――計算の「不変量」を圏論で捉える
……長谷川真人
第5章 モナドと計算効果……勝股審也
第6章 モナドのクライスリ圏――圏論による一般化とは?
……蓮尾一郎
第7章 表現を〈表現〉する話――ミクロ・マクロ双対性(1)
……小嶋泉+西郷甲矢人
第8章 [座談会] 歩き方の使い方――今出川不純集会,ふたたび
第9章 ガロア理論と物理学――ミクロ・マクロ双対性(2)
……小嶋泉+西郷甲矢人
第10章 圏論的双対性の「論理」
――圏論における抽象と捨象,あるいは不条理
……丸山善宏
第11章 圏論的論理学:トポス理論を越えて……丸山善宏
第12章 すべての人に矢印を
――圏論と教育をめぐる冒険……西郷甲矢人
第13章 ホモロジー代数からアーベル圏,三角圏へ
……阿部弘樹+中岡宏行
第14章 表現論と圏論化……土岡俊介
第15章 圏論と生物のネットワーク……春名太一
第16章 [座談会]「数学本流」にはなりたくない
――今出川不純集会,三たび
第17章 高次圏論……前原悠究
第18章 たいていの物理量は圏論的射である
――古典物理と量子物理の圏論……谷村省吾
第19章 選択の構造としてのKan拡張
――圏論とネットワークの数理モデル……春名太一
第20章 圏で圏を集める?――ファイブレーション入門
……郡 茉友子
第21章 [座談会] 今出川不純集会,十年後(仮題)
第22章 圏論のつまづき方