これはCategory Theory For Programmers 非公式PDF版を日本語に翻訳するプロジェクトです。
画像の出典: https://github.com/hmemcpy/milewski-ctfp-pdf
プログラマのための圏論 (Category Theory For Programmers 日本語版) のPDFファイルは下記からダウンロードできます。
まだ翻訳の修正途中であるため、変な部分が多々あると思います。
- ChatGPTを用いた全ページの機械翻訳
- サンプリングしたページにおける単語レベルの誤訳の修正
- 各ページの手動翻訳修正
- 0.0 Preface
- 1.1 Category: The Essence of Composition
- 1.2 Types and Functions
- 1.3 Categories Great and Small
- 1.4 Kleisli Categories
- 1.5 Products and Coproducts
- 1.6 Simple Algebraic Data Types
- 1.7 Functors
- 1.8 Functoriality
- 1.9 Function Types
- 1.10 Natural Transformations
- 2.1 Declarative Programming
- 2.2 Limits and Colimits
- 2.3 Free Monoids
- 2.4 Representable Functors
- 2.5 The Yoneda Lemma
- 2.6 Yoneda Embedding
- 3.1 It's All About Morphisms
- 3.2 Adjunctions
- 3.3 Free/Forgetful Adjunctions
- 3.4 Monads: Programmer's Definition
- 3.5 Monads and Effects
- 3.6 Monads Categorically
- 3.7 Comonads
- 3.8 F-Algebras
- 3.9 Algebras for Monads
- 3.10 Ends and Coends
- 3.11 Kan Extensions
- 3.12 Enriched Categories
- 3.13 Topoi
- 3.14 Lawvere Theories
- 3.15 Monads, Monoids, and Categories
- その他のページ
- Dockerイメージをビルドします。
$ docker build -t ctfp:latest .
- Dockerコンテナを起動します。以降、コンテナ内で作業をします。
$ docker run -it -v .:/doc ctfp:latest
- 組版に必要なライブラリをインストールします。
$ cd /doc
$ nix develop
- 組版を実行します。例えば、Scala版の組版をするには次のコマンドを実行します。その他のターゲットはMakefileをご確認ください。
$ make ctfp-scala
組版が成功すると、build
ディレクトリにPDFファイルが見つかるでしょう。
本書のPDFや、src/fig
と src/content
に格納されたTeXファイルや画像ファイルはCreative Commons
Attribution-ShareAlike 4.0 International Licenseライセンスに従います。
スクリプトファイル scraper.py
などはGNU General Public
License version 3ライセンスに従います。