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.
Codensity, profiniteness and algebras of semiring-valued measures / L. Reggio. - In: JOURNAL OF PURE AND APPLIED ALGEBRA. - ISSN 0022-4049. - 224:1(2020), pp. 181-205. [10.1016/j.jpaa.2019.05.002]
Codensity, profiniteness and algebras of semiring-valued measures
L. Reggio
2020
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.File | Dimensione | Formato | |
---|---|---|---|
Reggio - Codensity, Profiniteness and Algebras of Semiring-Valued Measures.pdf
accesso riservato
Descrizione: Article
Tipologia:
Publisher's version/PDF
Dimensione
569.12 kB
Formato
Adobe PDF
|
569.12 kB | Adobe PDF | Visualizza/Apri Richiedi una copia |
Pubblicazioni consigliate
I documenti in IRIS sono protetti da copyright e tutti i diritti sono riservati, salvo diversa indicazione.