常用概念和基本结论

约 262 个字 预计阅读时间 1 分钟

玫瑰，你噢，在古代 / 是雍容华贵 / 又斟满了苦酒的圣杯 / 然而在我们眼中 / 你就是完满的事物，数不尽的花瓣 / 无穷尽的对象 （Rainer Maria Rilke, Les Roses）

读者在上一节中应该了解了范畴框架的基本旨趣。本节所专注的是对“无穷尽的对象”做一个划分，被分类的东西从直观上看是主要态射和函子，实际上则同时分类了范畴和范畴中的对象。此外，我们还要对一些性质做描绘。有些性质是等价的，有些性质则有包含关系。尝试对这些东西做出描述，并且尝试应用到对代数模型的讨论当中，这是本节的主旨。

待完成

单态射、满态射、同构、函子的满性、忠实性、稠密性、可表函子、Yoneda 引理 伴随、单子，Frobenius 对偶的范畴描述，补充更多例子 Kan 延拓（可能往后移？）