计算机科学中的范畴论

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