Jirí Adámek; Lurdes Sousa; Manuela Sobral;
Morita equivalence of many-sorted algebraic theories
Algebraic theories are called Morita equivalent provided that the corresponding varieties of algebras are equivalent. Generalizing Dukarm's result from one-sorted theories to many-sorted ones, we prove that all theories Morita equivalent to an S-sorted theory T are obtained as idempotent modifications of T. This is analogous to the classical result of Morita that all rings Morita equivalent to a ring R are obtained as idempotent modifications of matrix rings of R.
Journal of Algebra