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.
最后建立∞-半模范畴的概念,并讨论该范畴中的几个泛性质。