Note on homomorphisms of direct products of algebras
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.
The purpose of this paper is to study the commutative pseudomeadows, the structure which is defined in the same way as commutative meadows, except that the existence of a multiplicative identity is not required. We extend the characterization of finite commutative meadows, given by I. Bethke, P. Rodenburg, and A. Sevenster in their paper (2015), to the case of commutative pseudomeadows with finitely many idempotents. We also extend the well-known characterization of general commutative meadows as...