计算机科学中的范畴论

出版时间：1993-2  出版社：中国科学技术大学出版社  作者：陈意云  
Tag标签：无  

内容概要

范畴论是近十年来兴起的计算机科学前沿研究打向之一，前景广阔．本
书作者对这一领域做了很多研究工作．80年末,在美国期间收集了最新的有
关资料．在此基础上写成的本书反映了范畴论作为工具应用于计算机科学的
最新情况．
书中首先介绍代数规范的基本知识和一些泛代数的知识，然后系统地介
绍了范畴论的主要内容：范畴、函子、自然变换、积与和、极限和余极限、伴随、
笛卡儿封闭的范畴和素描等，并通过很多例子．介绍了范畴论在程序设计语
言的语义、λ演算、论域理论、演绎系统和形式规范等方面的应用．各章节岳
面附有习题．
本书可作为计算机专业的高年级本科生、研究生的教材．亦可供从事计
算机科学研究和开发的科技人员参考．