# Isotropy and Combination Problems

@article{Parker2020IsotropyAC, title={Isotropy and Combination Problems}, author={Jason Parker}, journal={ArXiv}, year={2020}, volume={abs/2010.09821} }

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… Expand

#### References

SHOWING 1-8 OF 8 REFERENCES

An inner automorphism is only an inner automorphism, but an inner endomorphism can be something strange

- Mathematics
- 2012

Partial Horn logic and cartesian categories

- Computer Science, Mathematics
- Ann. Pure Appl. Log.
- 2007

Combining Matching Algorithms: The Regular Case

- Computer Science, Mathematics
- J. Symb. Comput.
- 1991

t(x m )) does not collapse to any of its alien subterms, as just shown

- the last equality holds because f (t(x 1 )