专门给程序员写的一本，入门级别的范畴论介绍，不需要很高深的数学基础。

计算机科学中的范畴论.pdf 计算机科学中的范畴论.pdf

陈意云写的，书中首先介绍了代数规范的基本知识和一此泛代数的知识，然后系统地介绍了范畴论的主要内容，范畴，函子，自然变换，积与和，极限和余极限，伴随，笛卡尔封闭的范畴和素描等，并通过很多例子，介绍了范畴论在程序设计语言的语义，论域理论，演绎系统和形式规范等方面的应用

范畴论在软件工程中的应用.对于软件开发的新的研究

数理逻辑是基础工具，研究PLT必备。类型论是PLT的一个重要方面。范畴论是类型论的抽象工具。编程语言有无类型都是图灵等价的。类型只是标注，擦除掉也不影响解释执行。类型标志就像xx编程规范，可以增强可读性正确性，减少bug。但也不仅于此，类型是对编程语言的抽象，类型表达一类变量或函数的共同行为特征。