プログラマのための圏論 (執筆中)
無料で読める本
Bartosz Milewski "Category Theory for Programmers" 原文: https://bartoszmilewski.com/2014/10/28/category-theory-for-programmers-the-preface/ pdf: https://github.com/hmemcpy/milewski-ctfp-pdf 原文は pdf, TeX ソース, 画像など全て CC BY-SA 4.0 ライセンスで無料公開されています.当和訳文も同ライセンスで無料公開します. https://creativecommons.org/licenses/by-sa/4.0/ この和訳プロジェクトは現在進行中です.和訳に協力してくださる方は是非ご連絡下さい.ガイドライン: https://zenn.dev/taketo1024/articles/4e27d5dfa14eb1 イイネ❤️やサポート💰を頂けるとやる気が上がり,作業スピードが上がることが期待されます.続きを早く読みたい方は是非ご支援よろしくお願いします🙏 和訳担当者: @taketo1024, @unaoya, @dshin, @ashiato45
Chapters
1. 合成の本質
1.1 関数としての射
1.2 合成の性質
1.3 合成はプログラミングの本質である
1.4 練習問題
2. 型と関数
2.1 型は誰にとって必要?
2.2 型は合成可能性が主題
2.3 型とは何か?
2.4 なぜ数学的モデルが必要か?
2.5 純粋関数と非純粋関数
2.6 型の例
2.7 練習問題
3.あらゆる大きさの圏
3.1 対象がない圏
3.2 グラフ
3.3 順序
3.4 集合としてのモノイド
3.5 圏としてのモノイド
3.6 演習問題
5. 積と余積
5.1 始対象
5.2 終対象
5.3 双対性
5.4 同型
7. 関手
7.1 プログラムにおける関手
7.2 コンテナとしての関手
7.3 関手の合成
7.4 練習問題
11. 宣言型プログラミング / 第2部への導入
12.0 極限と余極限
12.1 自然同型としての極限
12.2 極限の例
12.3 余極限
12.4 連続性
12.5 練習問題
13 自由モノイド
13.1 Haskellでの自由モノイド
13.2 自由モノイドの普遍構成
13.3 演習問題
14 表現可能関手
14.1 Hom関手
14.2 表現可能関手
14.3 演習問題/参考文献
Community
Author
Topics