Completion of Semirings
classification
🧮 math.RA
keywords
semiringadjointcompletedcompletionconstructiondefinedembeddedforgetful
read the original 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 paper has not been read by Pith yet.
discussion (0)
Sign in with ORCID, Apple, or X to comment. Anyone can read and Pith papers without signing in.