『圏論の歩き方』

https://gyazo.com/b08c008866366332f30871d31ba1dc3f

2015/9/9

「良い本である」が故に、である

「読んでもわからない前提で、雰囲気だけ知りたい」とかならあり

その時は何もわからなくても読みすすめる強い意志が必要なので、ある意味辛い

「インフォーマルな考え方」を教えてくれる

暗黙の知

伝達する時に意識することすらないくらい自分の中で前提になっている知識

2章

3章

quantum topology

例

4章

プログラム意味論

プログラムはただの記号列、そこに規則を付けて意味を持たす

良い感じに構造を保つ関手に基づいて表示的意味論を与えることができれば、その表示的意味論は合成的になる

こういう対応ができる？

table:対応

表示的意味論の話 タングルの話

参考文献

5章 モナドと計算効果

例に挙がっているのは以下のような関数

code:c

int starts(int n) {

for(; n>0; --n)

printf("*");

return 0

}

パラメータ付きモナド

第6章　モナドのクライスリ圏──圏論による一般化とは？

第7章　表現を〈表現〉する話──ミクロ・マクロ双対性(1)

第8章　座談会 歩き方の使い方──今出川不純集会，ふたたび

第9章　ガロア理論と物理学──ミクロ・マクロ双対性(2)

第10章　圏論的双対性の「論理」──圏論における抽象と捨象，あるいは不条理

第11章　圏論的論理学：トポス理論を越えて

第12章　すべての人に矢印を──圏論と教育をめぐる冒険

第13章　ホモロジー代数からアーベル圏，三角圏へ

第14章　表現論と圏論化

第15章　圏論と生物のネットワーク

第17章　圏論のつまづき方