各类范畴的历史
三角范畴、正合范畴、外三角范畴
代数拓扑里面有长正合列;
同调代数里面有长正合列;
共同推广出三角范畴
为了公理化导出范畴发明了三角范畴
Grothendieck & Verdier: 奠定了三角范畴的理论基础,使其成为研究导出范畴和同调代数的标准工具。
Keller: 深化了对三角范畴的理解,特别是“代数三角范畴”的性质,并将其与微分分次代数和表示论等领域紧密联系起来。
模型范畴
模型范畴一开始的名字(Quillen 发明的时候)用的是同伦代数(homotopical algebra), 后来这个名字有了其他含义. 从这里看出模型范畴的本质是对同伦论的公理化.
Quillen: 创立了模型范畴理论,将同伦理论抽象化,并为代数K理论等领域的发展提供了关键工具。
Hovey: 系统化并推广了模型范畴理论,他的著作《Model Categories》是该领域的标准参考文献。他还研究了模型结构与正合范畴、外三角范畴的联系,提出了“Hovey三元组”等重要概念。