拟核族的一个性质

本文讨论拟核族的构造。我们引进自匹满半函子并证明拟核族是它的一个不变量。从而,文献[1]的一条主要定理,定理3.8,被推广到带终对象的范畴而得定理A.定义1设为一范畴,函数ψ称为上的自匹满半函子,若