Morita equivalence of many-sorted algebraic theories (Q2491817)

Two algebraic theories \(T\) and \(T'\) are called Morita equivalent provided that the categories \({\mathcal A}lg\, T\) and \({\mathcal A}lg\, T'\) (the categories of algebras of \(T\) and \(T'\)) are categorically equivalent. The paper is concerned with an extention of \textit{K.~Morita}'s characterization of equivalence of categories of modules to the case of many-sorted algebraic theories. In the setting of Morita's characterization, two rings \(R\) and \(Q\) are called Morita equivalent if the corresponding categories \(R\)-\({\mathcal M}od\) and \(Q\)-\({\mathcal M}od\) of left \(R\)- and \(Q\)-modules are categorically equivalent. This received a generalization to one-sorted algebraic theories due to \textit{J. J. Dukarm} [Colloq. Math. 55, 11--17 (1988; Zbl 0669.18005)]. The present paper adds many-sortedness to Dukarm's analysis.