semiadditive category是什么意思

用法例句

Finally,it was proved that FAR-smod was an semiadditive category.

本文从范畴角度研究模糊半环上的模糊半模,首先给出了半环上的半模范畴(即R-smod)及模糊半环上的模糊半模范畴(即FRA-smod)的定义,然后通过反变函子s及共变函子t建立R-smod与FAR-smod之间的关系,最后证明了FAR-smod是一个半加法范畴。

In the end,the paper introduces the category of ∞-semimodules and discusses some properties of it.

最后建立∞-半模范畴的概念,并讨论该范畴中的几个泛性质。