A note on categories of partial algebras
The clone of a topological space is known to have a strictly more expressive first-order language than that of the monoid of continuous self-maps. The current paper studies coclones of topological spaces (i.e. clones in the category dual to that of topological spaces and continuous maps) and proves that, in contrast to clones, the first-order properties of coclones cannot express anything more than those of the monoid, except for the case of discrete and indiscrete spaces.
0. Introduction. Besides being of intrinsic interest, cylindric (semi-) lattices arise naturally from the study of dependencies in relational databases; the polynomials on a cylindric semilattice are closely related to the queries obtainable from project-join mappings on a relational database (cf. [D] for references). This note is intended to initiate the study of these structures, and only a few, rather basic results will be given. Some problems at the end will hopefully stimulate further research....
The paper contains two remarks on finite sets of groupoid terms closed under subterms and the application of unifying pairs.
The idempotent modification of a group is always a subdirectly irreducible algebra.
A variety is called normal if no laws of the form are valid in it where is a variable and is not a variable. Let denote the lattice of all varieties of monounary algebras and let be a non-trivial non-normal element of . Then is of the form with some . It is shown that the smallest normal variety containing is contained in for every where denotes the operator of forming choice algebras. Moreover, it is proved that the sublattice of consisting of all normal elements of...