圏論の本 - mrsekut-p

圏論の本

圏論の本

『圏論の基礎』

『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