圏論の本
圏論
の本
ベシ圏
『圏論の基礎』
『Category Theory for Programmers』
『みんなの圏論』
Category Theory for the Sciences
『圏論による論理学』
『圏論の道案内』
『層・圏・トポス』
『活躍する圏論』
『圏論的量子力学』
『せつラボ 〜圏論の基本〜』
『圏論によるトポロジー』
『グラフ表現で可視化する圏論』
CS寄りなもの
『Basic Category Theory for Computer Scientists』
『圏論入門』
様々な分野への応用例が知れるもの
『圏論の歩き方』
『現代思想 圏論の世界』
『圏論の地平線』
『Topology A Categorical Approach』
https://topology.mitpress.mit.edu/
圏論的なアプローチからの位相空間論入門
煩雑になりがちなポイントワイズな
位相空間論
の議論を避けて
代数的位相幾何学
に素早くたどり着けるよう圏論を使った位相空間論入門の教科書を作ったらしい👀PDFを無料でも読める
ref
『圏論的集合論 集合圏とトポス』
『モノイドの線型代数 モノイダル構造から行列計算へ 』
『万物の理論としての圏論』
An Introduction to Category Theory
易しめらしい
ref
のレビュー
Conceptual Mathematics
易しすぎてくどいぐらい易しいらしい
アウディの圏論
邦訳はヤバいらしいので原書を読んだほうがいいらしい
https://kazu-fgf.hatenablog.com/entry/20151121/1448054682
http://www.cs-study.com/koga/category/list_of_pictures_of_awodey_category_j.html
Category Theory (Oxford Logic Guides)
Category Theory for Computer Science
上のやつの上位互換みたいなのがあった
Introduction to Higher-Order Categorical Logic
圏論のToy Exampleとしての集合演算
https://hora-algebra.github.io/ToyExample1.pdf
2021/5
短い(56p)
CCC
,
Kan拡張
など
『圏論の技法』
『圏と表現論』
『全ての概念はKan拡張である』
本ではないが
http://alg-d.com/math/kan_extension/
計算機科学のための圏論の基礎の基礎
http://www.cs-study.com/koga/category/very_basics_of_category_theory.html
参考
圏論の入門書(2018年版) | 雑記帳
http://ywatanabevltmathscilogic.hatenablog.com/entry/2017/09/02/154648