各类范畴的历史

Huang Ruizhi
September 22, 2025

三角范畴、正合范畴、外三角范畴

代数拓扑里面有长正合列;

同调代数里面有长正合列;

共同推广出三角范畴

为了公理化导出范畴发明了三角范畴

​​Grothendieck & Verdier​​: 奠定了​​三角范畴​​的理论基础,使其成为研究导出范畴和同调代数的标准工具。

Keller​​: 深化了对​​三角范畴​​的理解,特别是“代数三角范畴”的性质,并将其与微分分次代数和表示论等领域紧密联系起来。

模型范畴

模型范畴一开始的名字(Quillen 发明的时候)用的是同伦代数(homotopical algebra), 后来这个名字有了其他含义. 从这里看出模型范畴的本质是对同伦论的公理化.

Quillen​​: 创立了​​模型范畴​​理论,将同伦理论抽象化,并为代数K理论等领域的发展提供了关键工具。

​Hovey​​: 系统化并推广了​​模型范畴​​理论,他的著作《Model Categories》是该领域的标准参考文献。他还研究了模型结构与正合范畴、外三角范畴的联系,提出了“Hovey三元组”等重要概念。

联系