はじめに
本サイトは、圏論初心者が圏論について学びながら作成した、Scala プログラマのための入門書です。教科書は Bartosz Milewski 氏著の Category Theory for Programmers の Scala Edition で、構成も原則これに沿っています。
Scala をやっていて、圏論について知りたい・学ぶ土台を作りたいという方の参考になれば幸いです。
目次
- はじめに（ここ）
- 第1部
- 1章 圏とは
- 2章 型と関数の圏
- 3章 いろいろな圏
- 4章 Kleisli圏
- 5, 6章 積と余積
- 7章 関手
- 8章 関手性
- （工事中）9章 関数型
- 10章 自然変換
- 第2部
- （工事中）11章 宣言型プログラミング
- 12章 極限と余極限
- 付録
免責事項
ドキュメントの章構成は基本的に原文に則っていますが、省略している箇所もあります。なお、まだ作成途中であり、個人的な解釈を含む表現があるため、閲覧の際はそれらの点に留意してお読みください。
内容や表現が間違っている箇所、修正した方が良い箇所、修正すればよりわかりやすくなる箇所等ありましたら、プルリクエストにてご提案いただけると助かります。
本資料および圏論勉強用ライブラリ Hamcat は Category Theory for Programmers のコピーレフトに基づき、GPL-3.0 のライセンスの下公開しています。