Linear algebra
それは線型代数学の（formula_6 の形での）階数・退化次数の定理の圏論的一般化である。