高级范畴论

作者: 王兵山、毛晓光、刘万伟

出版社: 清华大学出版社

出版日期: 2012-12-01

电子书 ¥14.95 定价:23.0 纸书价格¥18.60,点此比价
  • 收藏

  • 加书架

  • 引用

简介

范畴论是一种高度抽象的数学理论,本书着重介绍范畴论的基础概念和基本性质。主要内容包括6章:第1章着重介绍范畴的基本定义及其运算,第2章讨论范畴中的特殊态射与特殊对象,第3章讨论范畴中的各类极限,第4章讨论函子与自然变换,第5章讨论范畴中的“伴随”现象,第6章讨论计算机科学中的范畴。建议在阅读本书内容时,将第3~5章作为重点进行学习;同时,建议将第5章的内容作为难点进行学习。本书适合作为高等学校计算机科学或软件理论领域研究生的教材,也适合相关领域的广大科研人员参考。

编辑推荐

《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材:高级范畴论(中文版)》特色: 《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材:高级范畴论(中文版)》系统地介绍了“范畴论”这一数学分支中的主要概念和重要定理。 《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材:高级范畴论(中文版)》做到了内容上的“自包含”,书中涉及的主要概念,都事先给出了详细的定义;绝大多数的定理,都给出了详细的证明过程。 本书的内容设置循序渐进,有利于对该领域不熟悉的科研人员学习,适合作为研究生教材使用。同时,本书涵盖了“范畴论”的主要经典结论,也可供相关研究人员参考。

更多出版物信息
  • 版权: 清华大学出版社
  • 出版: 2012-12-01
  • 作者:王兵山、毛晓光、刘万伟
  • 更新: 2023-10-13
  • 书号:9787302303428
  • 中图:O154.1
  • 学科:
    理学
    数学

作者信息

王兵山、毛晓光、刘万伟

王兵山,国防科技大学教授,1964年毕业于复旦大学数学系,获学士学位。主要从事计算机科学理论领域的教学与研究工作。获“全国优秀教师”、“国家有突出贡献的中青年专家”等荣誉称号,享受政府特殊津贴。出版《离散数学》、《形式语言》、《数理逻辑》等学术著作。   毛晓光,国防科技大学教授,1997年于国防科技大学获博士学位。主要从事形式化方法、软件工程等专业领域的科学研究与教学。获军队育才银奖,出版《离散数学》等教材。   刘万伟,国防科技大学教师,2009年毕业于国防科技大学计算机学院,获博士学位。主要从事时序逻辑、模型检验与自动机理论等专业领域的科学研究与教学工作。