计算机科学中的范畴论

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

 属性            大小     日期    时间   名称
----------- ---------  ---------- -----  ----
     文件     9400144  2018-10-18 15:15  _10955128.pdf