それは線型代数学の（V≅ker⁡T⊕imT{\displaystyleV\cong\kerT\oplus\operatorname{im}\,T}の形での）階数・退化次数の定理の圏論的一般化である。
这是线性代数中秩-零化度定理（V≈ker⁡T⊕imT{\displaystyleV\approx\kerT\oplus\operatorname{im}\,T}的形式）的一个范畴推广。