… of classical EQmonoids is just the obvious reduct of the variety of EQ-monoids with right zero
in which ⊳⊲ is associative on LA; we call this the variety of classical EQ-monoids with right …

… We now give an example of this form in a variety of EQ-monoids with an additional unary
operation I. All of the ideas of this section are brought together in this example. We say A is an …

… We now give an example of this form in a variety of EQ-monoids with an additional unary …
This class of interior EQ-monoids contains all EQ-monoids: define I(a) = 1 for all a; hence it is …

… EQ-monoids can be defined purely equationally as the variety of (commutative) monoids
with an additional binary operation ⊳⊲, either finitely or in terms of the following axiom scheme: …

They model partial functions under partial composition f· g, defined to be the usual composition,
but only when Im (f)⊆ Dom (g)(rather than Cod (f)= Dom (g) as in a category), with …

… laws of Definition 19 up to (43) have been called (left) Eq-monoids by the second author [63…
Eq-monoids are in turn the simplest cases of the E-structures considered in [16], where the …

… The second author has given a far more detailed investigation into Eq-monoids in [43],
including some characterisations of congruences that are useful below. For our purposes, it …

We characterize algebras of transformations on a set under the operations of composition
and the pointwise switching function defined as follows: (f,g)[h,k](x)=h(x) if f(x)=g(x), and k(x) …

In this article we establish the undecidability of representability and of finite representability
as algebras of binary relations in a wide range of signatures. In particular, representability …

We examine the problem of representing semigroups as binary relations, partial maps and
injective functions, with the constraint that certain pre-designated idempotent elements must …