概念

范畴与函子

恒等、复合、结合律定义范畴，协变/反变函子保持（或反转）态射方向，许多数学结构本身就是函子之间的对象。

阅读路径

参考可汗学院 Get ready 机制：先修概念 → 当前概念 → 进阶概念，✓ 表示已读。

已是本主题的起点

范畴与函子范畴论

01定义

范畴 = 对象 + 态射 + 可结合的复合 + 恒等态射：它剥离对象内部细节，只保留「谁能映射到谁」的结构关系。函子在范畴之间搬运结构（保持复合与恒等），自然变换则在函子之间比较。

范畴 𝒞 中对象由态射相连；函子 F 将其结构搬到 𝒟

$\mathbf{Set}$ （集合与函数）、 $\mathbf{Grp}$ （群与同态）、 $\mathbf{Top}$ （拓扑空间与连续映射）——每个数学分支自带一个范畴；偏序集也是范畴（态射至多一个）。

协变函子保持态射方向，反变函子反转方向（如对偶空间 $V\mapsto V^*$ ）；「结构保持」从此有了统一的定义。

函子之间的态射：一族逐对象的映射且与一切态射相容。「自然」被精确定义——艾伦伯格-麦克莱恩称之为范畴论的发明动机。

F(g\circ f)=F(g)\circ F(f),\quad F(\operatorname{id}_A)=\operatorname{id}_{F(A)}

艾伦伯格与麦克莱恩 1945 年为澄清代数拓扑中的「自然性」创立范畴论；最初被视为「泛泛的胡话（general abstract nonsense）」，后逐步成为数学的元语言。

函数式编程的范畴语义（Haskell 的 Functor/Monad）、数据库模式的迁移（Functor 即数据迁移）、类型论的语义模型都以范畴论为地基。

函子 F：对象与态射的映射F(g∘f) = Fg∘Ff：态射复合结构被保持

高亮态射0