圏論の学習
動機wint.icon
Haskellなどの応用には（直ちには）不要だが、モナドなどの数学的背景が知りたいときに圏論を勉強したい
あとデータベース（スキーマ）の圏が興味深い
データベースにおける圏論
モナド
＝自己関手の圏におけるモノイド対象
モナドは単なる自己関手の圏におけるモノイド対象だよ。何か問題でも？
なにか問題でも？
Guides
圏論のオススメ勉強法（プログラマ向け）
手元の圏論の本をそっと閉じる
Bartosz Milewski 先生の動画を見る
iPad Pro と Apple Pencil で絵を描く
これだなwint.icon
圏論を勉強しよう(Let's Study Category Theory)
圏論に最短で入門する - 俺の Colimit を越えてゆけ
圏論の入門書（2018年版） | 雑記帳
個人用メモ プログラミングのための圏論参考資料集 - euphonictechnologies’s diary
圏論を勉強しよう(Let's Study Category Theory)
圏論 | Topos Theory
Category Theory for Programmers
ja: プログラマーのための圏論
Category Theory for Programmers: The Preface | Bartosz Milewski's Programming Cafe
下に動画などあり 圏論の学習#5cffc18a5dcf91000039170a
PDF: GitHub - hmemcpy/milewski-ctfp-pdf: Bartosz Milewski's 'Category Theory for Programmers' unofficial PDF and LaTeX source
Scalaプログラマが圏論を学ぶためのオススメ文献 - 3選 - cats cats cats
copy: Scalaプログラマが圏論を学ぶためのオススメ文献 - 3選 #関数型プログラミング - Qiita
上の記事も紹介されてる
日本語訳が ある。
プログラマのための圏論 (執筆中)
前提知識
数学の領域
集合論
位相空間論
群論
これらの諸領域の例は圏の具体例として役立つが、前提知識ではない。
ただ知らないと abstruct nonsense に感じられる だろう。wint.icon
計算機科学ルートなら、上記3つのうち後半2は要らない
さすがに集合論は要る？wint.icon
やった結果、数学やってれば集合論までは要らない気がしてきた。集合くらいは知ってたほうが良いけどwint.icon
詰まってから立ち戻るのでもいいらしい by N.Y.
圏論から初めて詰まってから深堀してもいい
圏論 | 壱大整域
壱大整域
初心者向けだという… by N.Y.
資料
Web
圏論以前の準備運動
Haskellで学ぶ
https://qiita.com/norkron/items/f90d851daf05a2efa567
圏論以前の準備運動―対象と射―
https://qiita.com/norkron/items/f0de364cc980171b1db7
Functor は箱のイメージが強い場合には
https://qiita.com/norkron/items/1cc1b593e04184f0fe98
https://qiita.com/norkron/items/aff3ce925edc6be74923
wiki
https://ncatlab.org/nlab/show/HomePage
nLab
詳細で専門的な wiki だが、専門的すぎて理解できないwint.icon
Wikipedia
https://ja.wikipedia.org/wiki/圏論
https://ja.wikibooks.org/wiki/Haskell/圏論
ニコニコ大百科
圏論とは (ケンロンとは) 単語記事 - ニコニコ大百科
意外なほどに詳細に書かれている
pages
圏論とはなんなのか - TakuLabo
書籍
『圏論の道案内』
圏論の道案内 | 技術評論社
圏論の道案内 サポートページ | 技術評論社
これで入門したwint.icon
『圏論の歩き方』
https://www.nippyo.co.jp/shop/book/6936.html
入門書ではない
アンソロジーだが順序はある
Category Theory for Programmers
by Bartosz Milewski
https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/
https://github.com/hmemcpy/milewski-ctfp-pdf
リフローで読みたい
https://github.com/Wintus/milewski-ctfp-pdf
フォークした（だけ）wint.icon
https://twitter.com/bartoszmilewski
https://www.youtube.com/watch?v=JH_Ou17_zyU
Basic Category Theory for Computer Scientists
https://motemen.hatenablog.com/entry/2016/01/category-theory-books
Category Theory for Computing Science
http://www.math.mcgill.ca/triples/Barr-Wells-ctcs.pdf
動画
Category Theory for Programmers#5ed22f6b5dcf910000bbdb74
by David I. Spivak
https://www.youtube.com/playlist?list=PLFTBfi-r3xj2jEpzoKl2koVLg1UrE9YL-
https://www.youtube.com/watch?v=IBeceQHz2x8
texts
『圏と論理へのいざない』
http://www.math.mi.i.nagoya-u.ac.jp/~kihara/pdf/teach/LectureNotes-category-theory.pdf
リンク切れ
from 木原 貴行 | 名古屋大学 | 大学院情報学研究科 | 数理情報学専攻
私的ゼミ /categorytheory で使った。
計算機科学に近い領域。数理論理学が近い。
発展的なトピック
F-代数
帰納/余帰納を理解するための単語の整理（圏論）
始代数による帰納的計算に親しむ - なぜ自然数は0を含むか（圏論）