导范畴( category)呢样概念系 Jean-LouisVerdier 喺佢1963年篇论文度,基于Grothendieck 嘅一啲谂头上提出.佢亦睇到:每一导范畴硬系有啲特别嘅"三角形",所以又定义三角范畴呢样概念,来帮佢用公理来写低呢啲三角形嘅性质.差唔多同时,A. Dold 同 D. Puppe喺佢哋篇 "Homologie nicht-additiver Funktoren" (Ann. Inst. Fourier Grenoble 11 (1961) 201-312),亦写低咗一套好似样嘅公理.
呢篇代数嘅文章系楔位文.欢迎帮维基百科扩写佢.