Dieses Buch führt neue algebraische Methoden ein und entwickelt sie weiter, um mit Relationen zu arbeiten, die oft als Boolesche Matrizen aufgefasst werden, und wendet sie auf die Topologie an. Obwohl diese Objekte die Matrizen widerspiegeln, die in der gesamten Mathematik, Numerik, Statistik, Ingenieurwissenschaften und anderswo vorkommen, sind die Methoden, die zu ihrer Bearbeitung verwendet werden, viel weniger bekannt. Neben ihren rein topologischen Anwendungen beschreibt der Band auch, wie die Techniken erfolgreich auf räumliches Denken und auf Logiken der Informatik angewendet werden können. Topologen werden mehrere vertraute Konzepte in einer prägnanten und algebraisch manipulierbaren Form finden, die viel kompakter ist als üblich, aber durch dargestellte Relationen visualisiert und somit leicht verständlich ist. Dieser Ansatz bietet auch die Möglichkeit, topologische Probleme mit Hilfe von Beweisassistenten zu bearbeiten.