Page 1

Displaying 1 – 7 of 7

Showing per page

Ternary semigroups of morphisms of objects in categories

Antoni Chronowski, Miroslav Novotný (1995)

Archivum Mathematicum

In this paper the notion of a ternary semigroup of morphisms of objects in a category is introduced. The connection between an isomorphism of categories and an isomorphism of ternary semigroups of morphisms of suitable objects in these categories is considered. Finally, the results obtained for general categories are applied to the categories 𝐑𝐄𝐋 n + 1 and 𝐀𝐋𝐆 n which were studied in [5].

The Słupecki criterion by duality

Eszter K. Horváth (2001)

Discussiones Mathematicae - General Algebra and Applications

A method is presented for proving primality and functional completeness theorems, which makes use of the operation-relation duality. By the result of Sierpiński, we have to investigate relations generated by the two-element subsets of A k only. We show how the method applies for proving Słupecki’s classical theorem by generating diagonal relations from each pair of k-tuples.

T-Varieties and Clones of T-terms

Klaus Denecke, Prakit Jampachon (2005)

Discussiones Mathematicae - General Algebra and Applications

The aim of this paper is to describe how varieties of algebras of type τ can be classified by using the form of the terms which build the (defining) identities of the variety. There are several possibilities to do so. In [3], [19], [15] normal identities were considered, i.e. identities which have the form x ≈ x or s ≈ t, where s and t contain at least one operation symbol. This was generalized in [14] to k-normal identities and in [4] to P-compatible identities. More generally, we select a subset...

Currently displaying 1 – 7 of 7

Page 1