これはCategory Theory For Programmers 非公式PDF版を日本語に翻訳するプロジェクトです。

画像の出典: https://github.com/hmemcpy/milewski-ctfp-pdf

プログラマのための圏論 (Category Theory For Programmers 日本語版) のPDFファイルは下記からダウンロードできます。
まだ翻訳の修正途中であるため、変な部分が多々あると思います。

• 閲覧用

  • Standard Edition
  • Scala Edition
  • OCaml Edition

• 印刷用

  • Standard Edition
  • Scala Edition
  • OCaml Edition

• 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
  • その他のページ

1. Dockerイメージをビルドします。

$ docker build -t ctfp:latest .

2. Dockerコンテナを起動します。以降、コンテナ内で作業をします。

$ docker run -it -v .:/doc ctfp:latest

3. 組版に必要なライブラリをインストールします。

$ cd /doc
$ nix develop

4. 組版を実行します。例えば、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ライセンスに従います。