Category Theory for Programmers
2 个页面
Category Theory for Programmers - Part 2
面向程序员的范畴论 - 第二部分
2.2 Limits and Colimits - 端和余端
2.1 Category Theory and Declarative Programming - 范畴论和声明式编程