计算机科学中的范畴论

【文件属性】：
文件名称：计算机科学中的范畴论
文件大小：8.96MB
文件格式：PDF
更新时间：2017-02-12 04:44:35
.mobio文件 陈意云写的，书中首先介绍了代数规范的基本知识和一此泛代数的知识，然后系统地介绍了范畴论的主要内容，范畴，函子，自然变换，积与和，极限和余极限，伴随，笛卡尔封闭的范畴和素描等，并通过很多例子，介绍了范畴论在程序设计语言的语义，论域理论，演绎系统和形式规范等方面的应用