The algebra of mode homomorphisms. (Q2248122): Difference between revisions

A \textit{mode} is an algebra in which every singleton is a subalgebra and every operation is a homomorphism (all operations \textit{commute}). Both properties can be formulated as satisfying some identities in an algebra. In this paper, algebras of mode homomorphisms are introduced and studied in detail. They are constructed as follows: for modes in a prevariety \(K\) of modes of given (plural) type \(\tau\colon\Omega\to\mathbb Z_+\), one considers the set of all homomorphisms from subalgebras of one mode to subalgebras of another with operations from \(\Omega\) defined in a special but natural way to obtain again an algebra in \(K\).