Displaying similar documents to “Exponentiation of relational systems with respect to strong homomorphisms.”

On exponentiation on n-ary hyperalgebras

František Bednařík, Josef Šlapal (2001)

Discussiones Mathematicae - General Algebra and Applications

Similarity:

For n-ary hyperalgebras we study a binary operation of exponentiation which to a given pair of n-ary hyperalgebras assigns their power, i.e., an n-ary hyperalgebra carried by the corresponding set of homomorphisms. We give sufficient conditions for the existence of such a power and for a decent behaviour of the exponentiation. As a consequence of our investigations we discover a cartesian closed subcategory of the category of n-ary hyperalgebras and homomorphisms between them. ...

Homomorphisms of heterogeneous algebras

Miroslav Novotný (2002)

Czechoslovak Mathematical Journal

Similarity:

A construction of all homomorphisms of a heterogeneous algebra into an algebra of the same type is presented. A relational structure is assigned to any heterogeneous algebra, and homomorphisms between these relational structures make it possible to construct homomorphisms between heterogeneous algebras. Homomorphisms of relational structures can be constructed using homomorphisms of algebras that are described in [11].

Homomorphisms of algebras

Miroslav Novotný (2002)

Czechoslovak Mathematical Journal

Similarity:

A construction of all homomorphisms of an algebra with a finite number of operations into an algebra of the same type is presented that consists in replacing algebras by suitable mono-unary algebras (possibly with some nullary operations) and their homomorphisms by suitable homomorphisms of the corresponding mono-unary algebras. Since a construction of all homomorphisms between two mono-unary algebras is known (see, e.g., [6], [7], [8]), a construction of all homomorphisms of an arbitrary...