子是浓化范畴之间的浓化函子。例如，设formula_19分别为环formula_20派生的单对象预加法范畴，则formula_21的加法函子对应于formula_22的环同态。设formula_16为范畴，且formula_24为预加法范畴，则函子范畴formula_25也构成预可加范畴，原因在于自然变换能自然地相加。若formula_26也是预加法范畴，则其间的加法函子范畴formula_27也是预可加范畴。后者导向模的推广：设formula_26为预可加范畴，则formula_29称为for