范畴论笔记 - 第二部分

范畴论、范畴论笔记CTFP博客系列及视频笔记,第二部分[TBD]

范畴论及声明式编程

Category Theory and Declarative Programming

https://bartoszmilewski.com/2015/01/07/products-and-coproducts/

以上链接中提到的泛构造、对于多个符合模式的范畴、如何比较应该再仔细思考一下

declarative programming

limits and colimits / 端和余端

Limits and Colimits