Completion of Semirings
Abstract
Description
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.
This is an English summary of my 1985 (unpublished) diploma thesis
This is an English summary of my 1985 (unpublished) diploma thesis