Skip to main content

Category Theory for Programmers Scala Edition 中文翻译

说明​

本目录翻译 Bartosz Milewski 的 Category Theory for Programmers Scala Edition。所用底本来自 hmemcpy/milewski-ctfp-pdf 项目的 LaTeX/PDF 源文件。该项目 README 和 LICENSE 声明：PDF、.tex 文件以及 src/fig、src/content 中的相关图像与图示采用 Creative Commons Attribution-ShareAlike 4.0 International License（CC BY-SA 4.0）。

Scala 版在原书 Haskell 代码之后加入 Scala 对应代码。为了便于阅读，本译文以 Scala 版为主，正文中保留必要的原始术语，并在代码示例中使用 Scala 片段。

目录​

第 1 部分​

  1. 第 1 章：范畴：组合的本质（Category: The Essence of Composition）​

  2. 第 2 章：类型与函数（Types and Functions）​

  3. 第 3 章：大大小小的范畴（Categories Great and Small）​

  4. 第 4 章：Kleisli 范畴（Kleisli Categories）​

  5. 第 5 章：积与余积（Products and Coproducts）​

  6. 第 6 章：简单代数数据类型（Simple Algebraic Data Types）​

  7. 第 7 章：函子（Functors）​

  8. 第 8 章：函子性（Functoriality）​

  9. 第 9 章：函数类型（Function Types）​

  10. 第 10 章：自然变换（Natural Transformations）​

第 2 部分​

  1. 第 11 章：声明式编程（Declarative Programming）​

  2. 第 12 章：极限与余极限（Limits and Colimits）​

  3. 第 13 章：自由幺半群（Free Monoids）​

  4. 第 14 章：可表示函子（Representable Functors）​

  5. 第 15 章：Yoneda 引理（The Yoneda Lemma）​

  6. 第 16 章：Yoneda 嵌入（Yoneda Embedding）​

第 3 部分​

  1. 第 17 章：一切都是关于态射（It's All About Morphisms）​

  2. 第 18 章：伴随（Adjunctions）​

  3. 第 19 章：自由/遗忘伴随（Free/Forgetful Adjunctions）​

  4. 第 20 章：程序员定义的单子（Monads: Programmer's Definition）​

  5. 第 21 章：单子与效果（Monads and Effects）​

  6. 第 22 章：范畴意义下的单子（Monads Categorically）​

  7. 第 23 章：余单子（Comonads）​

  8. 第 24 章：F-代数（F-Algebras）​

  9. 第 25 章：单子的代数（Algebras for Monads）​

  10. 第 26 章：端与余端（Ends and Coends）​

  11. 第 27 章：Kan 扩张（Kan Extensions）​

  12. 第 28 章：富范畴（Enriched Categories）​

  13. 第 29 章：拓扑斯（Topoi）​

  14. 第 30 章：Lawvere 理论（Lawvere Theories）​

  15. 第 31 章：单子、幺半群与范畴（Monads, Monoids, and Categories）​

翻译进度​

  • 第 1 章：范畴：组合的本质（Category: The Essence of Composition）
  • 第 2 章：类型与函数（Types and Functions）
  • 第 3 章：大大小小的范畴（Categories Great and Small）
  • 第 4 章：Kleisli 范畴（Kleisli Categories）
  • 第 5 章：积与余积（Products and Coproducts）
  • 第 6 章：简单代数数据类型（Simple Algebraic Data Types）
  • 第 7 章：函子（Functors）
  • 第 8 章：函子性（Functoriality）
  • 第 9 章：函数类型（Function Types）
  • 第 10 章：自然变换（Natural Transformations）
  • 第 11 章：声明式编程（Declarative Programming）
  • 第 12 章：极限与余极限（Limits and Colimits）
  • 第 13 章：自由幺半群（Free Monoids）
  • 第 14 章：可表示函子（Representable Functors）
  • 第 15 章：Yoneda 引理（The Yoneda Lemma）
  • 第 16 章：Yoneda 嵌入（Yoneda Embedding）
  • 第 17 章：一切都是关于态射（It's All About Morphisms）
  • 第 18 章：伴随（Adjunctions）
  • 第 19 章：自由/遗忘伴随（Free/Forgetful Adjunctions）
  • 第 20 章：程序员定义的单子（Monads: Programmer's Definition）
  • 第 21 章：单子与效果（Monads and Effects）
  • 第 22 章：范畴意义下的单子（Monads Categorically）
  • 第 23 章：余单子（Comonads）
  • 第 24 章：F-代数（F-Algebras）
  • 第 25 章：单子的代数（Algebras for Monads）
  • 第 26 章：端与余端（Ends and Coends）
  • 第 27 章：Kan 扩张（Kan Extensions）
  • 第 28 章：富范畴（Enriched Categories）
  • 第 29 章：拓扑斯（Topoi）
  • 第 30 章：Lawvere 理论（Lawvere Theories）
  • 第 31 章：单子、幺半群与范畴（Monads, Monoids, and Categories）

许可​

原书内容及相关图像采用 CC BY-SA 4.0。本中文译文作为改编作品按同一许可发布。原作者：Bartosz Milewski；PDF/LaTeX 整理项目：hmemcpy/milewski-ctfp-pdf；Scala 代码片段来自 Typelevel 贡献者。