Categories
12 个页面
Translation of Category Theory for Programmers
2.2 Limits and Colimits - 端和余端
2.1 Category Theory and Declarative Programming - 范畴论和声明式编程
1.10 Natural Transformations - 自然变换
1.9 Function Type - 函数类型
1.8 Functoriality - 函子性
1.7 Functors - 函子
1.6 Simple Algebraic Data Types - 简单代数类型
1.5 Products and Coproducts - 积与余积
1.4 Kleisli Categories - Kleisli范畴
1.3 Categories Great and Small - 范畴可大可小
1
2