ゼロ対象のない圏における射の正規分解

ゼロ対象を持たない圏においても、有限極限と有限余極限の存在を仮定することで、射の正規分解を構成できる。