Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: 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)   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\'enabou algebras, which are the algebraic counterpart
of the finitary many-sorted algebraic theories of B\'enabou, 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\'enabou, and deduce the equivalence of the
categories of Hall and B\'enabou 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.

25
The categories of this paper are: patt-sol
24
The categories of this paper are: dg-ga
37
The categories of this paper are: supr-con
13
The categories of this paper are: quant-ph
8
The categories of this paper are: hep-ex
12
The categories of this paper are: nucl-th
31
The categories of this paper are: ao-sci
16
The categories of this paper are: stat
9
The categories of this paper are: nlin
3
The categories of this paper are: physics
17
The categories of this paper are: q-fin
4
The categories of this paper are: cond-mat
1
The categories of this paper are: cs
22
The categories of this paper are: chao-dyn
26
The categories of this paper are: bayes-an
35
The categories of this paper are: mtrl-th