Instruct: Identify the main and secondary category of Arxiv papers based on the titles and abstracts
Query: Isotropy and Combination Problems   In a previous paper, the author and his collaborators studied the phenomenon
of isotropy in the context of single-sorted equational theories, and showed
that the isotropy group of the category of models of any such theory encodes a
notion of inner automorphism for the theory.
  Using results from the treatment of combination problems in term rewriting
theory, we show in this article that if $\mathbb{T}_1$ and $\mathbb{T}_2$ are
(disjoint) equational theories satisfying minimal assumptions, then any free,
finitely generated model of the disjoint union theory $\mathbb{T}_1 +
\mathbb{T}_2$ has trivial isotropy group, and hence the only inner
automorphisms of such models, i.e. the only automorphisms of such models that
are coherently extendible, are the identity automorphisms.
  As a corollary, we show that the global isotropy group of the category of
models $(\mathbb{T}_1 + \mathbb{T}_2)\mathsf{mod}$, i.e. the group of
invertible elements of the centre of this category, is the trivial group.

21
The categories of this paper are: adap-org
31
The categories of this paper are: ao-sci
18
The categories of this paper are: econ
11
The categories of this paper are: hep-lat
29
The categories of this paper are: funct-an
19
The categories of this paper are: eess
33
The categories of this paper are: plasm-ph
23
The categories of this paper are: solv-int
7
The categories of this paper are: hep-th
24
The categories of this paper are: dg-ga
32
The categories of this paper are: atom-ph
26
The categories of this paper are: bayes-an
3
The categories of this paper are: physics
37
The categories of this paper are: supr-con
8
The categories of this paper are: hep-ex
0
The categories of this paper are: hep-ph