Monoids of ND-Full Hypersubstitutions
An nd-full hypersubstitution maps any operation symbols to the set of full terms of type τn. Nd-full hypersubstitutions can be extended to mappings which map sets of full terms to sets of full terms. The aims of this paper are to show that the extension of an nd-full hypersubstitution is an endomorp...
| Main Author: | |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2019-12-01
|
| Series: | Discussiones Mathematicae - General Algebra and Applications |
| Subjects: | |
| Online Access: | https://doi.org/10.7151/dmgaa.1314 |