《计算机科学中的范畴论》作者: 陈意云 出版年: 1993年

作者:陈意云出版社:中国科学技术大学出版社出版年:1993-2页数:271定价:6.00装帧:平装ISBN:9787312004100内容简介······范畴论是近十年来兴起的计算机科学前沿研究打向之一，前景广阔．本书作者对这一领域做了很多研究工作．80年末,在美国期间收集了最新的有关资料．在此基础上写成的本书反映了范畴论作为工具应用于计算机科学的最新情况．书中首先介绍代数规范的基本知识和一些泛代数的知识，然后系统地介绍了范畴论的主要内容：范畴、函子、自然变换、积与和、极限和余极限、伴随、笛卡儿封闭的范畴和素描等，并通过很多例子．介绍了范畴论在程序设计语言的语义、λ演算、论域理论、演绎系