Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Multi-Hypersubstitutions and Colored Solid Varieties   Hypersubstitutions are mappings which map operation symbols to terms. Terms
can be visualized by trees. Hypersubstitutions can be extended to mappings
defined on sets of trees. The nodes of the trees, describing terms, are
labelled by operation symbols and by colors, i.e. certain positive integers. We
are interested in mappings which map differently colored operation symbols to
different terms. In this paper we extend the theory of hypersubstitutions and
solid varieties to multi-hypersubstitutions and colored solid varieties. We
develop the interconnections between such colored terms and
multi-hypersubstitutions and the equational theory of Universal Algebra. The
collection of all varieties of a given type forms a complete lattice which is
very complex and difficult to study; multi-hypersubstitutions and colored solid
varieties offer a new method to study complete sublattices of this lattice.

36
The categories of this paper are: cmp-lg
11
The categories of this paper are: hep-lat
35
The categories of this paper are: mtrl-th
10
The categories of this paper are: q-bio
12
The categories of this paper are: nucl-th
6
The categories of this paper are: astro-ph
3
The categories of this paper are: physics
30
The categories of this paper are: q-alg
20
The categories of this paper are: acc-phys
5
The categories of this paper are: gr-qc
8
The categories of this paper are: hep-ex
33
The categories of this paper are: plasm-ph
24
The categories of this paper are: dg-ga
14
The categories of this paper are: math-ph
13
The categories of this paper are: quant-ph
16
The categories of this paper are: stat