mula_10，则称 formula_1 有充足投射元。若对每个对象 formula_8 都存在内射对象 formula_5 及单射 formula_14，则称 formula_1 有充足内射元。对于有充足投射元（或内射元）的阿贝尔范畴，可以考虑对象的投射分解（或内射分解）。