计算机科学与技术学科前沿丛书 计算机科学与技术学科研究生系列教材 高级范畴论 中文版 作者:王兵山,毛晓光,刘万伟 编著出版时间: 2012年版丛编项: 计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材内容简介 范畴论是一种高度抽象的数学理论,《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材:高级范畴论(中文版)》着重介绍范畴论的基础概念和基本性质。主要内容包括6章:第1章着重介绍范畴的基本定义及其运算,第2章讨论范畴中的特殊态射与特殊对象,第3章讨论范畴中的各类极限,第4章讨论函子与自然变换,第5章讨论范畴中的“伴随”现象,第6章讨论计算机科学中的范畴。建议在阅读《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材:高级范畴论(中文版)》内容时,将第3~5章作为重点进行学习;同时,建议将第5章的内容作为难点进行学习。《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材:高级范畴论(中文版)》适合作为高等学校计算机科学或软件理论领域研究生的教材,也适合相关领域的广大科研人员参考。目录第1章 范畴及其运算1.1 集合、类与函数1.2 图、图同态与图自然变换1.3 范畴的定义1.4 范畴的例子1.5 范畴的运算第2章 特殊态射与特殊对象2.1 section、retraction与同构态射2.2 单态射、外态射与双态射2.3 初始对象、终止对象与零对象2.4 常态射、余常态射与零态射第3章 范畴中的极限3.1 等子和余等子3.2 积和余积3.3 回拉和外推3.4 核和余核3.5 极限和余极限第4章 函子与自然变换4.1 函子4.2 多元函子4.3 hom-函子4.4 函子的性质4.5 自然变换4.6 自然变换的*-积4.7 范畴的同构与等价第5章 伴随5.1 Galois对应5.2 泛映射5.3 余泛映射5.4 伴随与伴随函子5.5 伴随的存在性5.6 伴随与极限第6章 计算机科学中的范畴6.1 函数式程序设计语言构成的范畴6.2 演绎系统构成的范畴6.3 带类型λ-演算构成的范畴参考文献 上一篇: 物联网感知与应用实践教程 赵国冬,刘海波,张智勇 主编 2017年版 下一篇: 重点大学计算机专业系列教材 人机交互基础教程 第2版 [孟祥旭 主编] 2010年版