Idempotent Elements of Weak Projection Generalized Hypersubstitutions
A generalized hypersubstitution of type τ = (ni)i∈I is a mapping σ which maps every operation symbol fi to the term σ (fi) and may not preserve arity. It is the main tool to study strong hyperidentities that are used to classify varieties into collections called strong hypervarieties. Each generaliz...
| Main Authors: | , |
|---|---|
| Format: | Article |
| Language: | English |
| Published: |
Sciendo
2018-06-01
|
| Series: | Discussiones Mathematicae - General Algebra and Applications |
| Subjects: | |
| Online Access: | https://doi.org/10.7151/dmgaa.1281 |