Completeness and cocompleteness of \(_R\text{Smod}_{1N}\) (Q1840730)

Let \((R,+,\cdot)\) be an additively commutative semiring with absorbing zero and identity. A value cone \(C\) is a positive semiring with \(0\not=1\), and a map \(\|\;\|\colon R\to C\) is called a prenorm of \(R\) with values in \(C\) if \(\|0\|=0\) (and \(\|1\|=1\) if \(R\not=\{0\}\)), \(\|r+s\|\leq\|r\|+\|s\|\) and \(\|rs\|\leq\|r\|\cdot\|s\|\) for all \(r,s\in R\). Let \((R,\|\;\|)\) and \((R',\|\;\|')\) be prenormed semirings with the same value cone. A homomorphism \(f\colon R\to R'\) is said to be contractive if \(\|f(r)\|'\leq\|r\|\) for all \(r\in R\). Denote by \(_C\text{Srg}_1\) the category of all prenormed semirings with value cone \(C\) and contractive homomorphisms, and by \(_R\text{Smod}_1\) the category of all (left) \(R\)-semimodules over some prenormed semiring \(R\) with contractive homomorphisms. It is shown that both categories are complete and cocomplete. Now, with respect to an arbitrary class \(N\), some (infinite) \(N\)-summations are defined for such prenormed \(R\)-semimodules. For a fixed \(N\)-summation, denote by \(_C\text{Srg}_{1N}\) the category of all prenormed semirings with \(N\)-summation. Then \(_C\text{Srg}_{1N}\) is complete if \(C\) is conditionally complete. The same holds for the category \(_R\text{Smod}_{1N}\) which is defined analogously. A condition for the cocompleteness of this category is also given.