Abstract
We prove that epimorphisms are surjective in certain categories of ordered \(\mathcal {F}\)-algebras. It then turns out that epimorphisms are also surjective in the category of all (unordered) algebras of type \(\mathcal {F}\).
Similar content being viewed by others
References
Bloom, S.L.: Varieties of ordered algebras. J. Comput. Syst. Sci. 13, 200–212 (1976)
Burris, S., Sankappanavar, H.P.: A Course in Universal Algebra. Springer, New York (1981)
Czédli, G., Lenkehegyi, A.: On classes of ordered algebras and quasiorder distributivity. Acta Sci. Math. 46, 41–54 (1983)
Fuchs, L.: Partially Ordered Algebraic Structures. Pergamon Press, New York (1963)
Isbell, J.R.: Epimorphisms and dominions. In: Eilenberg, S., Harrison, D.K., MacLane, S., Rohrl, H. (eds.) Proceedings of the Conference on Categorical Algebra, pp. 232–246. Springer, Berlin, Heidelberg (1966)
Laan, V., Sohail, N., Tart, L.: On congruence extension properties for ordered algebras. Period. Math. Hung. 71(1), 92–111 (2015)
Laan, V., Sohail, N., Tart, L.: Hamiltonian ordered algebras and congruence extension. Math. Slovaca 67(4), 819–830 (2017)
Laan, V., Sohail, N.: On mono- and epimorphisms in varieties of ordered algebras. Commun. Algebra 43, 2802–2818 (2015)
Sohail, N., Tart, L.: Dominions, zigzags and epimorphisms for partially ordered semigroups. Acta Comment. Univ. Tartu. Math. 18(1), 81–91 (2014)
Mac Lane, S.: Categories for the Working Mathematician. Springer, New York (1998)
Acknowledgements
The authors would like to thank the editor Dr. Ross Willard whose comments and suggestions significantly improved the quality of the paper.
Author information
Authors and Affiliations
Corresponding author
Additional information
Publisher's Note
Springer Nature remains neutral with regard to jurisdictional claims in published maps and institutional affiliations.
Rights and permissions
About this article
Cite this article
Sohail, N., Tasić, B. On epimorphisms of ordered algebras. Algebra Univers. 81, 29 (2020). https://doi.org/10.1007/s00012-020-00652-y
Received:
Accepted:
Published:
DOI: https://doi.org/10.1007/s00012-020-00652-y