はじめに
本サイトは、圏論初心者が圏論について学びながら作成した、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章 極限と余極限
- 付録
免責事項
ドキュメントの章構成は基本的に原文に則っていますが、省略している箇所もあります。非公式な翻訳であり、個人的な解釈を含む表現も含まれますので、その点に留意してお読みください。
内容や表現が間違っている箇所、修正した方が良い箇所、修正すればよりわかりやすくなる箇所等ありましたら、プルリクエストにてご提案いただけると助かります。
ライセンス
本サイトは、Category Theory for Programmers - Scala Edition のライセンスを継承し、Creative Commons Attribution-ShareAlike 4.0 International License の下公開しています。