Isotropy and Combination Problems

10/19/2020
by   Jason Parker, et al.
0

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.

READ FULL TEXT

page 1

page 2

page 3

page 4

02/22/2021

Polymorphic Automorphisms and the Picard Group

We investigate the concept of definable, or inner, automorphism in the l...
04/13/2018

Morita equivalences between algebraic dependent type theories

We define a notion of equivalence between algebraic dependent type theor...
04/09/2020

Politeness for the Theory of Algebraic Datatypes

Algebraic datatypes, and among them lists and trees, have attracted a lo...
07/16/2021

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 ...
03/23/2020

Dichotomy between deterministic and probabilistic models in countably additive effectus theory

Effectus theory is a relatively new approach to categorical logic that c...
01/26/2021

Products in a Category with Only One Object

We consider certain decision problems for the free model of the theory o...
01/06/2021

Complexity Growth in Integrable and Chaotic Models

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