Category Theory Translation of Category Theory for Programmers 1.10 Natural Transformations - 自然变换 1.10 Natural Transformations - 自然变换
Category Theory Translation of Category Theory for Programmers 1.9 Function Type - 函数类型 1.9 Function Type - 函数类型
Category Theory Translation of Category Theory for Programmers 1.8 Functoriality - 函子性 1.8 Functoriality - 函子性
Category Theory Translation of Category Theory for Programmers 1.6 Simple Algebraic Data Types - 简单代数类型 1.6 Simple Algebraic Data Types - 简单代数类型
Category Theory Translation of Category Theory for Programmers 1.5 Products and Coproducts - 积与余积 1.5 Products and Coproducts - 积与余积