Corpus ID: 224803975

Isotropy and Combination Problems

@article{Parker2020IsotropyAC,
  title={Isotropy and Combination Problems},
  author={Jason Parker},
  journal={ArXiv},
  year={2020},
  volume={abs/2010.09821}
}
  • Jason Parker
  • Published 2020
  • Mathematics, Computer Science
  • ArXiv
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
Isotropy of Algebraic Theories
ISOTROPY AND CROSSED TOPOSES
Partial Horn logic and cartesian categories
Combining Matching Algorithms: The Regular Case
  • T. Nipkow
  • Computer Science, Mathematics
  • J. Symb. Comput.
  • 1991
Term rewriting and all that
Isotropy Groups of Quasi-Equational Theories
t(x m )) does not collapse to any of its alien subterms, as just shown
  • the last equality holds because f (t(x 1 )