圏論の文献
本
『Categories for the Working Mathematician』CWM
. 1971.
『Category Theory for Computing Science』
. 1998.
『圏論の基礎』
. 2012.
『圏論の歩き方』
. 2015.
『ベーシック圏論』
. 2017.
『圏と加群』
. 2018.
『圏論入門 Haskellで計算する具体例から』
. 2020.
『みんなの圏論: 演習中心アプローチ』
. 2021.
『圏論の地平線』
. 2022.
『活躍する圏論: 具体例からのアプローチ』
. 2023.
『Starting Category Theory』
. 2024.
『グラフ表現で可視化する圏論』
. 2024.
Web
★
圏論 | 壱大整域
学習教材作成の試み
『計算機科学のための 圏論の基礎の基礎』
とりあえずの圏論の導入ー圏・関手・自然変換ー（前編）圏 - YouTube
プログラマのための圏論 (執筆中)
1.1 関数としての射｜プログラマのための圏論 (執筆中)
もう諦めない圏論入門 - Qiita
もう諦めない圏論入門―対象と射― - Qiita
もう諦めない圏論入門―圏と関手― - Qiita
もう諦めない圏論入門―関手と自然変換― #数学 - Qiita
檜山正幸のキマイラ飼育記 (はてなBlog)
★
はじめての圏論 その第1歩：しりとりの圏 - 檜山正幸のキマイラ飼育記 (はてなBlog)
はじめての圏論 - しりとりの圏 - ボクノス
はじめての圏論 その第2歩：行列の圏 - 檜山正幸のキマイラ飼育記 (はてなBlog)
認知科学者が圏論を始めるための参照情報： 圏論にまつわる Q & A，圏論の認知科学における効用， 文献情報
プログラマであるあなたが圏論を学んで得られる事、得られない事 - Creatable a => a -> IO b
圏論とモナド解説
圏と関手 【 圏論とモナド #1 / 数学 解説 】 - YouTube
『高次元圏入門』
category in nLab
『圏と関手』
『圏と関手入門』
『Notes on Category Theory with examples from basic mathematics』
僕用勉強ノート 「圏論」の巻 - TakuLabo
Chapter 4 (0011): Categories—The Stacks project
『Category Theory in Context』
. 2014.
『演習形式で学ぶ圏論の基礎の基礎』
圏論の演習問題 (Ver. 1.1)
動画
alg-d - YouTube
再生リスト
圏論(初心者向け) - YouTube
圏論 - YouTube
Koga Akihiko
再生リスト
圏論の基礎と関連する諸知識のお勉強 - YouTube
『計算機科学のための 圏論の基礎の基礎』
『 【計算機科学向け 圏論の基礎 】 命題論理とその解釈のための代数系の基礎知識 』
#文献まとめ
#特定の文献リスト
#文献