GTM005.Categories.for.the.Working.Mathematician. .Saunders.Mac.Lane .pdf

在许多领域都有用的一系列一般性的想法。从基础开始，这本书阐明了范畴，函子，自然变换和二元性的概念。然后转向伴随函子，它提供了对普遍结构的描述，通过态射集分析函子的表示，以及操纵正极限和逆极限的方法。这些范畴概念在后面的章节中有详细的说明，其中包括伴随函子基本存在定理的许多应用。代数系统的范畴是由某些类似伴随的数据构造的，并用Beck定理刻画。在考虑了各种应用之后，本书继续构建和开发Kan扩展。这第二版包括一些修订和补充，包括新的章节积极关注的主题：对称幺半流形范畴和辫状幺半流形范畴，以及它们的一致性定理，以及最近引人注目的2-范畴和高维范畴。