活躍する圏論 具体例からのアプローチ

ブレンダン・フォン(著者), デヴィッド・I・スピヴァック(著者), 川辺治之(訳者)

• 販売会社／発売会社: 共立出版
• 発売年月日: 2023/02/25
• JAN: 9784320114845

商品レビュー

2026/08/23

圏論の具体例に特化した構成。

はじめに
* 第1章　生成的効果：順序とガロア接続
* 第2章　資源理論：モノイダル擬順序と豊穣化
* 第3章　データベース：圏，関手，普遍的構成
* 第4章　協調設計：プロ関手，圏化，モノイダル圏
* 第5章　信号流れ図：prop，表示，証明
* 第6章　電気回路：ハイパーグラフ圏とオペラッド
* 第7章　振る舞いの論理：層，トポス，内部言語
* 付録　練習問題の解答
* 参考文献
* 訳者あとがき
* 索引