高级范畴论

本书内容包括：集合、类、函数的基本概念；范畴的定义机器运算；范畴中特殊态射与特殊对象；介绍范畴中“极限”的概念，包括集中特殊的极限形式等。介绍范畴中函子的概念及其性质，介绍自然变换、以及范畴同构与等价。介绍范畴中泛映射、余泛映射以及伴随的概念。最后，本书还将介绍范畴在计算机科学中的应用。