范畴生成子是一个数学术语。

范畴生成子(generator of a category)范畴的一个特殊对象.范畴0中使Homc (A，一)为忠实函子的对象A称为它的一个生成子.换句话说，对任意的留中对象X,Y，若关EHom.,-(X,Y),i=1,2,且f,并f2，则必有g Homc (A , X)使f=g，这时就称A为留的一个生成子.对偶地可定义上生成子的概念，即子中使Homc(一，A)为忠实函子(即对上述的.f .fz)，必有g E Hom. (Y, A)使0f=0对象A称为它的一个上生成子.A为留的上生成子等价于A为若的对偶范畴子的生成子.