CONSTRUCTIVE SEMIGROUPS WITH APARTNESS: A COMPREHENSIBLE SURVEY FOR EXPERTS AND NON-EXPERTS
Keywords:
Set with apartness, semigroup with apartness, co-quasiorder, co-equivalence, co-congruenceAbstract
In our own time, algebra has become the most rarefied and demanding of all mental disciplines, whose objects are abstractions of abstractions of abstractions, yet whose results have a power and beauty that are all too little known outside the world of professional mathematicians. Most amazing, most mysterious of all, these ethereal mental objects seem to contain, within their nested abstractions, the deepest, most fundamental secrets of the physical world. (J. Derbyshire, [14])