『活躍する圏論』

https://gyazo.com/38322f02b87b839d2fa332a36e9a5c18

2023/2/21

はじめに

1.1　全体は部分の和よりも多い

1.3　交わりと結び

1.4　ガロア接続

1.5　この章のまとめと関連する文献

2.1　aからbへの移動

2.5　表示をもつV圏の行列乗法による計算

2.6　この章のまとめと関連する文献

第3章　データベース：圏，関手，普遍的構成

3.1　データベースとは

3.2　圏

3.3　関手，自然変換，データベース

3.4　随伴とデータ移行

3.5　おまけ：極限と余極限

3.6　この章のまとめと関連する文献

4.1　大規模システムの構築

4.6　この章のまとめと関連する文献

第5章　信号流れ図：prop，表示，証明

5.1　相互作用する信号処理器として系を比較する

5.2　propと表示

5.3　単純化された信号流れ図

5.4　図式による線形代数

5.5　この章のまとめと関連する文献

第6章　電気回路：ハイパーグラフ圏とオペラッド

6.1　遍在するネットワーク言語

6.5　オペラッドとその代数

6.6　この章のまとめと関連する文献

第7章　振る舞いの論理：層，トポス，内部言語

7.1　機械の安全性を証明する方法

7.2　典型的なトポスとしての圏Set

7.5　振る舞い型のトポス

7.6　この章のまとめと関連する文献

付録　練習問題の解答

参考文献

訳者あとがき

索引