1 research outputs found
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.Comment: This is an English summary of my 1985 (unpublished) diploma thesi