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

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

范畴论是从数学各个领域中概括出来的一种高度抽象的数学系统。例如，集合论研究的集合与函数，群论研究的群与群同态，拓扑学研究的拓扑空间与连续函数，等等。 范畴论的迅速发展，也影响到许多数学分支，例如代数学、代数几何学、拓扑学、微分几何学、函数论等。 20世纪 80年代以后,又发展起纤维范畴论和拓扑范畴论的理论。 计算机科学家对范畴论的浓厚兴趣多半是由于函数式程序设计语言的程序设计很像是一个范畴。事实上，计算机科学中常见的演绎系统本身就是一个范畴，由此产生并发展起来了计算机范畴论。 本书着重介绍范畴论的基本概念和基本性质。本书主要由 6章内容构成： 第 1章着重介绍范畴的基本定义及其相关运算。本章从集合、类以及函数的基本定义开始讲起，逐步引入范畴的数学定义，并介绍范畴的 5种基本运算：子范畴、商范畴、积范畴、和范畴以及对偶范畴。在本章中，还会穿插介绍由若干经典数学结构构成范畴的例子。 第 2章讨论范畴中的特殊态射与特殊对象，主要内容包括： section、retraction、同构态射，单态射、外态射、双态射，初始对象、终止对象、零对象，以及常态射、余常态射、零态射等概念。 第 3章讨论范畴中的各类极限。首先，将讨论 4类特殊的极限：等子 /余等子，积/余积，回拉 /外推，核 /余核。而后给出范畴极限 /余极限的一般形式定义，并给出极限 /余极限存在的一个判定定理。 第 4章着重介绍函子及自然变换，主要内容包括：协变 /反变一元函子及多元函子的定义， hom-函子的定义，函子的分类及性质，自然变换及其 *-积，最后引入通过等价函子介绍范畴的等价与同构的概念。 第 5章...