內射分解

在同調代數中 ， 一個阿貝爾範疇 中的對象 之內射分解定義爲一正合序列 或簡寫成 ， 使得其中每個 皆爲內射對象 。 固定對象 ， 則任兩個內射分解至多差一個鏈復形的同倫等價 。 若 中的每個對象都有內射分解 ， 則稱 有充足的內射元 ， 這類範疇上能以內射分解開展同調代數的研究 。 典型例子包括 ： 環 上的 - 模構成之範疇 。 取值在有充足內射元的阿貝爾範疇的層 ， 這時內射分解是層上同調的理論基石 。 與此對偶的概念是射影分解 。 N N