英文维基 | 中文维基 | 日文维基 | 草榴社区
在同調代數中,內射對象與投射對象是內射模與投射模在阿貝爾範疇中的推廣,二者的定義相對偶。以下固定一個阿貝爾範疇 C {\displaystyle {\mathcal {C}}} 。
若對每個對象 X {\displaystyle X} 都存在投射對象 P {\displaystyle P} 及滿射 P → X {\displaystyle P\to X} ,則稱 C {\displaystyle {\mathcal {C}}} 有充足投射元。若對每個對象 X {\displaystyle X} 都存在內射對象 I {\displaystyle I} 及單射 X → I {\displaystyle X\to I} ,則稱 C {\displaystyle {\mathcal {C}}} 有充足內射元。對於有充足投射元(或內射元)的阿貝爾範疇,可以考慮對象的投射分解(或內射分解)。