Abstract
We show that, if S is a finite semiring, then the free profinite S-semimodule on a Boolean Stone space X is isomorphic to the algebra of all S-valued measures on X, which are finitely additive maps from the Boolean algebra of clopens of X to S. These algebras naturally appear in the logic approach to formal languages as well as in idempotent analysis. Whenever S is a (pro)finite idempotent semiring, the S-valued measures are all given uniquely by continuous density functions. This generalises the classical representation of the Vietoris hyperspace of a Boolean Stone space in terms of continuous functions into the Sierpiński space.We adopt a categorical approach to profinite algebra which is based on profinite monads. The latter were first introduced by Adámek et al. as a special case of the notion of codensity monads.
Sign-in/Register to access full text options 
Talk to us
Join us for a 30 min session where you can share your feedback and ask us any queries you have
Schedule a callDisclaimer: All third-party content on this website/platform is and will remain the property of their respective owners and is provided on "as is" basis without any warranties, express or implied. Use of third-party content does not indicate any affiliation, sponsorship with or endorsement by them. Any references to third-party content is to identify the corresponding services and shall be considered fair use under The CopyrightLaw.
