Status, Abstract

Gunther Schmidt

A point-free relation-algebraic approach to general topology

.pdf .bib

Relational and Algebraic Methods in Computer Science -- 14th International Conference, RAMICS 2014

April 28--May 1, 2014, Kloster Marienstatt Westerwald, Germany

Proceedings appeared as Lect. Notes in Comput. Sci. 8428 (226--241)

Fakultät für Informatik
Universität der Bundeswehr München
85577 Neubiberg, Germany

April 2014
In advanced functional programming, researchers have investigated the existential image, the power transpose, and the power relator, e.g. It will be shown how the existential image is of use when studying continuous mappings between different topologies relationally. Normally, structures are compared using homomorphisms and sometimes isomorphisms. This applies to group homomorphisms, to graph homomorphisms and many more. The technique of comparison for topological structures will be shown to be quite different. Having in mind the cryptomorphic versions of neighborhood topology, open kernel topology, open sets topology, etc., this seems important. Lifting concepts to a relational and, thus, algebraically manipulable and shorthand form, shows that existential and inverse images must here be used for structure comparison. Applying the relational language TituRel to such topological concepts allows to study and also visualize them.