Relational topology (Q1704472)

This booklet explains algebraic methods to work with relations, usually conceived as Boolean matrices. Although such matrices appear throughout mathematical and related sciences, the discussed techniques used to deal with them are not well known. The main goal of the text is to base reasoning not simply on first-order predicate logic, but on point-free relation algebra that avoids quantifiers. \par One stimulus for the authors was the intention to unify concepts. They apply their methods to several basic questions in topology. In particular proximity, nearness, apartness, contact, closure, frames, and finally orientability of simplicial complexes are treated in some detail. They believe that the presented theory has now reached a status from which it is possible to classify what can be achieved relationally and what cannot. \par The approach offers the possibility of dealing with topological problems by using proof assistants. One stimulus for this kind of research is the idea to solve mathematical problems computationally. \par While at present this reviewer does not recommend this booklet to lecturers as a base for a first course in classical topology (for this is was clearly not intended!), nevertheless professional topologists may want to take notice of these interesting new developments in their own field of expertise.