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.

Eilenberg theorems for many-sorted formations

A-infinity Structures Related to Bi-Koszul Algebras

Laws of the Lattices of $$\sigma $$-Local Formations of Finite Groups

The Ehrenfeucht conjecture: a compactness claim for finitely generated free monoids

On the enumeration of finite $L$-algebras

On Language Varieties Without Boolean Operations

A monadicity theorem for higher algebraic structures

The Atiyah-Sutcliffe conjecture and $E_n$-algebras

ON LOCALLY DEFINED FORMATIONS OF SOLUBLE LIE AND LEIBNIZ ALGEBRAS

Congruence modules and the Wiles-Lenstra-Diamond numerical criterion in higher codimensions

Itô's theorem and metabelian Leibniz algebras

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)

Free algebras of topologically enriched multi-sorted equational theories

Finitely based congruence varieties

Formality of $\mathbb{E}_n$-algebras and cochains on spheres

On Congruences on Ultraproducts of Algebraic Structures

Structurable equivalence relations and $\mathcal{L}_{ω_1ω}$ interpretations

Combinatorial and algebraic structure in Orlik-Solomon algebras

Congruences of Eisenstein series of level $Γ_1(N)$ via Dieudonné theory of formal groups

The algebra of the monoid of order-preserving functions on an $n$-set and other reduced $E$-Fountain semigroups

$A_{\infty}$-structures on an elliptic curve