Categories of locally diagonal partial algebras.
There exists a natural extension of the notion of preorder from binary relations onto relations whose arities are arbitrary ordinals. In the article we find a condition under which extended preorders coincide with preorders if viewed categorically.
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.
Page 1