Abstract
It is proved that the category of extended multisets is dually equivalent to the category of compact Hausdorff MV-algebras with continuous homomorphisms, which is in turn equivalent to the category of complete and completely distributive MV-algebras with homomorphisms that reflect principal maximal ideals. Urysohn–Strauss’s Lemma, Gleason’s Theorem, and projective objects are also investigated for topological MV-algebras. Among other things, it is proved that the only MV-algebras in which Urysohn–Strauss’s Lemma holds are Boolean algebras and that the projective objects in the category of compact Hausdorff MV-algebras are precisely the ones having the 2-element Boolean algebras as factor.
This is a preview of subscription content, log in via an institution to check access.
Similar content being viewed by others
References
Balbes, R.: Projective and injective distributive lattices. Pac. J. Math. 21, 405–420 (1967)
Balbes, R., Horn, A.: Projective and injective distributive lattices. Pac. J. Math. 33, 273–279 (1970)
Bezhanishvili, G., Harding, J.: On the proof that compact Hausdorff boolean algebras are powersets. Order 33, 263–268 (2016)
Blizard, W.D.: Multiset theory. Notre Dame J. Form. Log. 30, 36–66 (1989)
Chang, C.C.: Algebraic analysis of many-valued logics. Trans. AMS 88, 467–490 (1958)
Cignoli, R., D’Ottaviano, I., Mundici, D.: Algebraic Foundations of Many-Valued Reasoning. Kluwer, Dordrecht (2000)
Cignoli, R., Dubuc, E.J., Mundici, D.: Extending stone duality to multisets and locally finite MV-algebras. J. Pure Appl. Algebra 189, 37–59 (2004)
Cignoli, R., Marra, V.: Stone duality for real-valued multisets. Forum Math. 24, 1317–1331 (2012)
De Vries, H.: Compact spaces and compactifications. An algebraic approach. PhD Thesis, University of Amsterdam (1962)
Di Nola, A., Grigolia, R.: Projective MV-algebras and their automorphism groups. J. Multivalued Log. Soft Comput. 9, 291–317 (2003)
Di Nola, A., Grigolia, R., Lettieri, A.: Projective MV-algebras. Int. J. Approx. Reason. 47, 323–332 (2008)
Gleason, A.: Projective topological spaces. Ill. J. Math. 2, 482–489 (1958)
Hoo, C.S.: Topological MV-algebras. Topol. Appl. 81, 103–121 (1997)
Hickman, J.L.: A note on the concept of multiset. Bull. Aust. Math. Soc. 22, 211–217 (1980)
Johnstone, P.T.: Stone Spaces. Cambridge University Press, Cambridge (1982)
Monro, G.P.: The concept of multiset. Z. Math. Logik Grund. Math. 33, 171–178 (1987)
Mundici, D.: Representation of \(\sigma \)-complete MV-algebras and their associated Dedekind \(\sigma \)-complete \(\ell \)-groups. In: Algebra and Its Applications, Contemporary Mathematics, vol. 419, American Mathematical Society, Providence, RI, pp. 219–230 (2006)
Nganou, J.B.: Profinite MV-algebras and multisets. Order 32, 449–459 (2015)
Nganou, J.B.: Stone MV-algebras and strongly complete MV-algebras. Algebra Univ. 77, 147–161 (2017)
Weber, H.: On topological MV-algebras and topological \(\ell \)-groups. Topol. Appl. 159, 3392–3395 (2012)
Acknowledgements
The author wishes to gratefully acknowledge the referee whose careful reading and comments improved the quality of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Communicated by Jorge Picado.
Rights and permissions
About this article
Cite this article
Nganou, J.B. Categorical Properties of Compact Hausdorff MV-Algebras. Appl Categor Struct 27, 145–158 (2019). https://doi.org/10.1007/s10485-018-9547-x
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s10485-018-9547-x