计算机科学中的范畴论

作者简介

范畴论是近十年来兴起的计算机科学前沿研究打向之一，前景广阔．本

书作者对这一领域做了很多研究工作．80年末,在美国期间收集了最新的有

关资料．在此基础上写成的本书反映了范畴论作为工具应用于计算机科学的

最新情况．

书中首先介绍代数规范的基本知识和一些泛代数的知识，然后系统地介

绍了范畴论的主要内容：范畴、函子、自然变换、积与和、极限和余极限、伴随、

笛卡儿封闭的范畴和素描等，并通过很多例子．介绍了范畴论在程序设计语

言的语义、λ演算、论域理论、演绎系统和形式规范等方面的应用．各章节岳

面附有习题．

本书可作为计算机专业的高年级本科生、研究生的教材．亦可供从事计

算机科学研究和开发的科技人员参考．

 计算机科学中的范畴论下载