generated at
圏論の本
圏論の本

ベシ圏
『圏論の基礎』
『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