Abstract
This paper specifies a detailed, fully type-based general method for translating the class of all pure, many-sorted algebras of a given constant-free type into an equivalent variety of single-sorted algebras of defined, constant-free type. The complexity of the identities defining the variety is a linear function of the number of sorts and the arity of the fundamental operations.
Article PDF
Similar content being viewed by others
Avoid common mistakes on your manuscript.
References
Adámek, J., Rosický, J., Vitale, E.E.: Algebraic Theories: A Categorical Introduction to General Algebra. Cambridge University Press, Cambridge (2011)
Barr M.: The point of the empty set. Cah. Topol. Géom. Différ. Catég. 13, 357–368 (1972)
Birkhoff G., Lipson J.D.: Heterogeneous algebras. J. Combinatorial Theory 8, 115–133 (1970)
Climent Vidal J., Soliveres Tur J.: On many-sorted algebraic closure operators. Math. Nachr. 266, 81–84 (2004)
Climent Vidal J., Soliveres Tur J.: On the completeness theorem of many-sorted equational logic and the equivalence between Hall algebras and Bénabou theories. Rep. Math. Logic 40, 127–158 (2006)
Delić D.: A finitely axiomatizable undecidable equational theory with recursively solvable word problems. Trans. Amer. Math. Soc. 352, 3065–3101 (2000)
Goguen J.A., Meseguer J.: Completeness of many-sorted equational logic. Houston J. Math. 11, 307–334 (1985)
Gvaramiya, A.A.: Category of quasigroups with homotopies. C. R. Acad. Bulgare Sci. 38, 663–666 (1985) (Russian)
Gvaramiya, A.A., Plotkin, B.I.: The homotopies of quasigroups and universal algebras. In: Romanowska, A.B., Smith, J.D.H. (eds.) Universal Algebra and Quasigroup Theory, pp. 89–94. Heldermann, Berlin (1992)
Higgins P.J.: Algebras with a scheme of operators. Math. Nachr. 27, 115–132 (1963)
Lugowski, H.: Grundzüge der Universellen Algebra. Teubner, Leipzig (1976)
McKenzie R., Valeriote M.: The Structure of Decidable Locally Finite Varieties. Birkhäuser, Boston (1989)
Mućka A.: The lattice of varieties of fibered automata. Discuss. Math. Gen. Algebra Appl. 27, 87–107 (2007)
Mućka A.: The graphs of fibered automata. Demonstratio Math. 41, 23–32 (2008)
Mućka A.: Subdirectly irreducible fibered automata, part 1. Demonstratio Math. 43, 739–753 (2010)
Mućka A.: Subdirectly irreducible fibered automata, part 2. Demonstratio Math. 45, 1–15 (2011)
Płonka J.: Diagonal algebras. Fund. Math. 58, 300–321 (1966)
Płonka J.: Remarks on diagonal and generalized diagonal algebras. Colloq. Math. 15, 19–23 (1966)
Pöschel, R., Reichel, M.: Projection algebras and rectangular algberas. In: Denecke, K., Vogel, H.-J. (eds.) General Algebra and Applications, pp. 160–194. Heldermann, Berlin (1993)
Romanowska A.B., Smith J.D.H.: Modes. World Scientific, Singapore (2002)
Smith J.D.H.: Continued fractions, fibered automata, and a theorem of Rosenberg. Mult.-Valued Log. 8, 503–515 (2002)
Smith J.D.H.: Quasigroup homotopies, semisymmetrization, and reversible automata. Internat. J. Algebra Comput. 18, 1203–1221 (2008)
Smith, J.D.H.: Conformal algebras, vertex algebras, and the logic of locality (2011, preprint)
Smith J.D.H., Romanowska A.B.: Post-Modern Algebra. Wiley, New York (1999)
Author information
Authors and Affiliations
Corresponding author
Additional information
Presented by J. Adamek.
This research was supported by theWarsaw University of Technology under grant number 504G/1120/0087/000. Part of the work on this paper was conducted during visits of the second author to Iowa State University, Ames, Iowa, in Summer 2010 and Winter 2011.
Rights and permissions
Open Access This article is distributed under the terms of the Creative Commons Attribution License which permits any use, distribution, and reproduction in any medium, provided the original author(s) and the source are credited.
About this article
Cite this article
Mućka, A., Romanowska, A.B. & Smith, J.D.H. Many-sorted and single-sorted algebras. Algebra Univers. 69, 171–190 (2013). https://doi.org/10.1007/s00012-013-0224-5
Received:
Accepted:
Published:
Issue Date:
DOI: https://doi.org/10.1007/s00012-013-0224-5