Isotropy and Combination Problems

by   Jason Parker, et al.

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 𝕋_1 and 𝕋_2 are (disjoint) equational theories satisfying minimal assumptions, then any free, finitely generated model of the disjoint union theory 𝕋_1 + 𝕋_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 (𝕋_1 + 𝕋_2)𝗆𝗈𝖽, i.e. the group of invertible elements of the centre of this category, is the trivial group.


page 1

page 2

page 3

page 4


Polymorphic Automorphisms and the Picard Group

We investigate the concept of definable, or inner, automorphism in the l...

Morita equivalences between algebraic dependent type theories

We define a notion of equivalence between algebraic dependent type theor...

Politeness for the Theory of Algebraic Datatypes

Algebraic datatypes, and among them lists and trees, have attracted a lo...

Almost linear Boolean functions on S_n are almost unions of cosets

We show that if f S_n →{0,1} is ϵ-close to linear in L_2 and 𝔼[f] ≤ 1/2 ...

Dichotomy between deterministic and probabilistic models in countably additive effectus theory

Effectus theory is a relatively new approach to categorical logic that c...

Products in a Category with Only One Object

We consider certain decision problems for the free model of the theory o...

Complexity Growth in Integrable and Chaotic Models

We use the SYK family of models with N Majorana fermions to study the co...