概念

Abel范畴

有核、余核且正合性可判的加性范畴，同调代数的一切机器都能在其中运转。

阅读路径

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

Abel范畴范畴论

01定义

Abel 范畴是「能做同调代数」的公理环境：有零对象、双积、核与余核，且每个态射的像等于余像。模范畴是原型；在此环境下一切同调机器（正合列、导出函子、蛇形引理）自动运转。

Abel 范畴的关键公理：像与余像自然同构

加性（Hom 为阿贝尔群）+ 核余核齐备 + 像余像同构——这三层结构恰使「正合性」可谈，使同调机器可运转。

阿贝尔群范畴 $\mathbf{Ab}$ 、 $R$ -模范畴、层范畴 $\operatorname{Sh}(X)$ 、概形上的拟凝聚层——代数几何与拓扑的同调都跑在这些 Abel 范畴上。

Freyd-Mitchell 嵌入定理：任何小 Abel 范畴可全忠实嵌入某模范畴——「元素级推理」在抽象 Abel 范畴中合法，极大简化证明。

\operatorname{im}f\cong\operatorname{coim}f

0\to A\to B\to C\to 0\ \text{正合}\iff B\cong A\oplus C\ ?\ (\text{未必!})

Buchsbaum 1955 年提出「正合范畴」，格罗滕迪克 1957 年 Tohoku 论文给出 Abel 范畴的现代公理并证明嵌入定理的前身——同调代数获得公理化家园。

层上同调、导出范畴、谱序列都定义在 Abel 范畴上；D-模理论（微分方程的代数化）与表示论的稳定范畴是其现代变体。

短正合列：核 = 像的加法范畴换 stage：正合性 = 每个箭头处 ker 与 im 完全重合

展示阶段0