Category Theory for Programmers
10 个页面
Category Theory for Programmers - Part 1
面向程序员的范畴论 - 第一部分
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 Types and Functions - 类型与函数
1.1 Category: The Essence of Composition - 范畴：复合的本质