《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材(中文版):高级範畴论》着重介绍範畴论的基础概念和基本性质。主要内容包括6章：第1章着重介绍範畴的基本定义及其运算，第2章讨论範畴中的特殊态射与特殊对象，第3章讨论範畴中的各类极限，第4章讨论函子与自然变换，第5章讨论範畴中的“伴随”现象，第6章讨论计算机科学中的範畴。建议在阅读《计算机科学与技术学科前沿丛书·计算机科学与技术学科研究生系列教材(中文版):高级範畴论》内容时，将第3～5章作为重点进行学习；同时，建议将第5章的内容作为难点进行学习。

第1章範畴及其运算1

11集合、类与函式1

12图、图同态与图自然变换6

13範畴的定义10

14範畴的例子14

15範畴的运算17

第2章特殊态射与特殊对象21

21section、retraction与同构态射21

22单态射、外态射与双态射23

23初始对象、终止对象与零对象26

24常态射、余常态射与零态射29

第3章範畴中的极限33

31等子和余等子33

32积和余积39

33回拉和外推46

34核和余核51

35极限和余极限56

第4章函子与自然变换75

41函子75

42多元函子77

43hom-函子80

44函子的性质87

45自然变换91

46自然变换的*-积98

47範畴的同构与等价103

第5章伴随115

51Galois对应115

VIII高级範畴论

52泛映射117

53余泛映射125

54伴随与伴随函子130

55伴随的存在性139

56伴随与极限140

第6章计算机科学中的範畴145

61函式式程式设计语言构成的範畴145

62演绎系统构成的範畴146

63带类型λ-演算构成的範畴151

参考文献154