Relational Topology

The textbook "Relational Topology" by Michael Winter offers a comprehensive introduction to new algebraic methods for working with relations, which are often viewed as Boolean matrices. These methods are applied in topology and reflect the matrices found in various fields of mathematics, numerical analysis, statistics, and engineering. The book emphasizes that the techniques used are less well-known, despite having significant applications in spatial reasoning and logic in computer science. Topologists are presented with familiar concepts in a concise and algebraically manipulable form, which facilitates understanding. Additionally, the possibility of addressing topological problems using proof assistants is demonstrated.