Completion of Semirings

From MaRDI portal
Publication:6472052




Abstract: 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 page was built for publication: Completion of Semirings

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6472052)