Many-sorted and single-sorted algebras
Anna Mućka, Anna B. Romanowska, Jonathan D. H. Smith · Algebra Universalis · 2013
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.