第 1章范畴及其运算 1 

11集合、类与函数 1 

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

13范畴的定义 10 

14范畴的例子 14 

15范畴的运算 17

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

21 section、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 

43 hom-函子  80 

44函子的性质 87 

45自然变换  91 

46自然变换的 *-积 98 

47范畴的同构与等价  103

第 5章伴随  115 

51 Galois对应  115 

VIII 高级范畴论 

52泛映射  117 

53余泛映射  125 

54伴随与伴随函子  130 

55伴随的存在性  139 

56伴随与极限  140

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

61函数式程序设计语言构成的范畴  145 

62演绎系统构成的范畴  146 

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

参考文献  154