写给程序员的范畴论资料索引

发表于 分类于 本文字数： 247 阅读时长 ≈ 1 分钟

本文为《category-theory-for-programmers》一书对应的资料索引：

译文(Part One)

<译> 写给程序猿的范畴论 · 序

  1. <译> 范畴：复合的本质
  2. <译> 类型与函数
  3. <译> 范畴，可大可小
  4. <译> Kleisli 范畴
  5. <译> 积与余积
  6. <译> 简单的代数数据类型
  7. <译> 函子
  8. <译> 函子性
  9. <译> 函数类型
  10. <译> 自然变换

GitHub仓库

milewski-ctfp-pdf