证明了以Karoubian范畴中的极限为对象,极限态射为态射构成的极限范畴也是Karoubian范畴.作为应用,得到了Karoubian范畴的推出范畴也是Karoubian范畴.
For a Karoubian category l, proves the limit category whose objects are the limits of l and morphisms are the limit morphisms on l, is also Karoubian. As an application, it gets the corresponding result of pushout category.