半环的完备化
Completion of Semirings
摘要：
一个半环可以是"完备的“（即，嵌入到一个半环中，其中所有的无限和都被定义并满足一些合理的性质）当且仅当这个半环可以是自然偏序的。这个构造是“自然的”（一个遗忘函子的左伴随），并且非常简单。
英文摘要：
A semiring can be ``completed'' (i.e., embedded into a semiring in which all infinite sums are defined and satisfy some reasonable properties) iff this semiring can be naturally partially ordered. This construction is ``natural'' (a left adjoint to the forgetful functor), and quite straightforward.
机构、总结、中文摘要均由AI分析而来，可能存在错误，请以论文正文为准。
