Abstract:For single-sorted algebras, Fujiwara defined, through the concept of family of basic mapping-formulas, a notion of morphism which generalizes the ordinary notion of homomorphism between algebras and an equivalence relation, the conjugation, on the families of basic mapping-formulas, which corresponds to the relation of inner isomorphism for algebras. In this paper we extend the theory of Fujiwara about morphisms to the many-sorted algebras, by defining the concept of polyderivor between many-sorted signatures, which assigns to basic sorts, words and to formal operations, families of derived terms, and under which the standard signature morphisms, the basic mapping-formulas of Fujiwara, and the derivors of Goguen-Thatcher-Wagner are subsumed. Then, by means of the homomorphisms between Bénabou algebras, which are the algebraic counterpart of the finitary many-sorted algebraic theories of Bénabou, we define the composition of polyderivors from which we get a corresponding category, isomorphic to the category of Kleisli for a monad on the standard category of many-sorted signatures. Next, by defining the notion of transformation between polyderivors, we endow the category of many-sorted signatures and polyderivors with a structure of 2-category. From this we get a derived 2-category of many-sorted specifications in which we prove the equivalence of the many-sorted specifications of Hall and Bénabou, and deduce the equivalence of the categories of Hall and Bénabou algebras. Besides, by defining corresponding categories of generalized many-sorted terms, we prove that the realization of these terms in the many-sorted algebras is invariant under polyderivors and compatible with the transformations between polyderivors, and from this we get an example, among others, of the new concept of 2-institution, itself an strict generalization of that of institution by Goguen and Burstall.

Matrix product is many-sorted algebra

Matrix product states, geometry, and invariant theory

The Matrix of Linear Mappings

A general framework for product representations: bilattices and beyond

Automorphic equivalence of one-sorted algebras

Infinite Matrix Convolution Product Algebras

Strongly finitary monads and multi-sorted varieties enriched in cartesian closed concrete categories

Matrix product operator algebras II: phases of matter for 1D mixed states

On uniqueness of tensor products of irreducible categorifications

Recognizing Cartesian products of matrices and polytopes

On cluster systems of tensor product systems of Hilbert spaces

The hierarchies of identities and closed products for multiple complexes

Matricial Banach spaces

A tensor 2-product of 2-representations of $\mathfrak{sl}_{2}^{+}$

Matrix product states and projected entangled pair states: Concepts, symmetries, theorems

Many-valued complete distributivity

On $\mathrm{C}^*$-algebras associated to product systems

A "classification" of congruence primal arithmetical algebras

Compactly-aligned discrete product systems, and generalizations of O_\infty

Products in double categories, revisited

On the Morphisms and Transformations of Tsuyoshi Fujiwara (as a concretion of a bidimensional many-sorted general algebra and its application to the equivalence between many-sorted clones and algebraic theories)