A common generalization of permutability and 0-permutability
A factorization of quasiorder hypergroups
The contribution is devoted to the question of the interchange of the construction of a quasiorder hypergroup from a quasiordered set and the factorization.
A generalization of equivalence relations.
A Note on the Embedding Property.
A precedence theorem for semigroups.
A pseudo representation theorem for various categories of relations.
A remark on a paper of Taimanov
A survey of minimal clones.
A theorem on groups
A unifying approach to theorems on preservation and interpolation for binary relations between structures.
Adjointness between theories and strict theories
The categorical concept of a theory for algebras of a given type was foundet by Lawvere in 1963 (see [8]). Hoehnke extended this concept to partial heterogenous algebras in 1976 (see [5]). A partial theory is a dhts-category such that the object class forms a free algebra of type (2,0,0) freely generated by a nonempty set J in the variety determined by the identities ox ≈ o and xo ≈ o, where o and i are the elements selected by the 0-ary operation symbols. If the object class of a dhts-category...
Algebras with -transferable tolerances
Antiassociative groupoids
Given a groupoid , and , we say that is antiassociative if an only if for all , and are never equal. Generalizing this, is -antiassociative if and only if for all , any two distinct expressions made by putting parentheses in are never equal. We prove that for every , there exist finite groupoids that are -antiassociative. We then generalize this, investigating when other pairs of groupoid terms can be made never equal.