Many-sorted and single-sorted algebras

作者：Mucka Anna^*; Romanowska Anna B; Smith Jonathan D H

来源：Algebra Universalis, 2013, 69(2): 171-190.

DOI：10.1007/s00012-013-0224-5

• heterogeneous algebra
• many-sorted algebra
• product algebra
• diagonal algebra

This paper specifies a detailed, fully type-based general method for translating the class of all pure, many-sorted algebras of a given constant-free type into an equivalent variety of single-sorted algebras of defined, constant-free type. The complexity of the identities defining the variety is a linear function of the number of sorts and the arity of the fundamental operations.

• 出版日期2013-4